【摘 要】
：
因第三方构件通常由不同的组织开发完成,相应的需求开发文档及源代码无法获取,传统的软件安全测试方法无法应用.通过分析构件接口信息,借鉴软件数据挖掘技术可以获取构件相应
【基金项目】
：
国家自然科学基金(61202110,61502205),中国博士后科学基金(2015M571687,2015M581739)资助.
论文部分内容阅读
因第三方构件通常由不同的组织开发完成,相应的需求开发文档及源代码无法获取,传统的软件安全测试方法无法应用.通过分析构件接口信息,借鉴软件数据挖掘技术可以获取构件相应的接口方法运行序列及需求规约等信息,进而也能对测试日志信息进行分析和处理.针对第三方构件安全性难以测试的问题,本文提出了一种采用数据挖掘技术的测试模型及其测试框架.提出的方法首先形式化定义了测试模型的基本元素,然后基于此模型设计了一个测试框架,并采用单子技术对测试流程和数据挖掘算法进行了形式化描述.为了实现该测试框架,论文实现了数据挖掘相关算法
其他文献
本刊讯为庆祝中国人民解放军建军90周年，迎接党的十九大胜利召开，由陕西省文化厅、贵州省文化厅、河北省文化厅共同主办的大型主题文艺晚会《只为人民谋幸福》8月2日晚在西安易
树类中，柳，是深受人们青睐的。因为它的体态婀娜多姿，情意绵绵，那纤纤垂丝，妩媚动人，在春风的吹拂下，最早在大自然的舞台上轻歌曼舞，给人们传达春归大地的美好讯语。“春江一曲柳千条
11月1日晚，为庆祝改革开放40年创作的38集“三农”主题电视剧《黄土高天》在央视一套黄金档首播。据中国广视索福瑞媒介研究机构统计，当晚的《黄土高天》实时直播关注度达1．18％，市
１９９６年５月份全国疾病监测点３５种法定传染病疫情动态简介中国预防医学科学院流研所疾病监测组１９９６年５月份全国疾病监测点３５种法定传染病疫情动态简介$中国预防医学科学院流研所疾病监测组...
计划免疫后松花江地区麻疹流行病学分析许世光１计国强２杨云建２麻疹是ＷＨＯ扩大免疫规划重点控制和消除的急性传染病之一。为掌握实行计划免疫后麻疹的流行特征，本文对松花江地区１９８３～１９９５年麻疹
为了解北京市２～１４岁健康儿童ＴＷＡＲ既往感染的状况及肺炎患儿ＴＷＡＲ急性感染的发病率，自１９９４年１１月，我们应用微量免疫荧光试验（ＭＩＦ），对北京市城区５０８名，郊区４５０名２～１４岁健康儿童进行血清流行病学调查，在同期对住院的９７例２～１４岁
平邑县恙虫病暴发流行病学调查报告山东省平邑县卫生防疫站（２７３３００）王如德山东省平邑县平邑镇医院怀燕平邑县自１９５８年有疫情记载来未发生过恙虫病。此起暴发范围大、病例多，在我县疫情史上
Ｂ超检测１６４８人宫内节育器浅析张青莲１王翠莲２吉宝珍２随着计划生育的开展，宫内置节育器已成为计划生育工作中稳定措施之一。由于其避孕效果可靠，被大多数育龄妇女接受。而定期复环能及时
党的十九大报告对文化工作作出了明确部署,广大文艺工作者为之振奋、深受激励。我们要始终坚持以人民为中心的创作导向,更加尊重和遵循文艺创作规律,提升理论觉悟和工作水准,
１９９６年６月份全国疾病监测点３５种法定传染病疫情动态分析截止到７月１１日上午１１时，共收到疫情报告１３９份，迟报５份。这５个监测点是辽宁大连沙河口区，山东烟台芝罘区，广西凌云县，西藏拉萨城关区和新疆乌苏