【摘 要】
:
因第三方构件通常由不同的组织开发完成,相应的需求开发文档及源代码无法获取,传统的软件安全测试方法无法应用。通过分析构件接口信息,借鉴软件数据挖掘技术可以获取构件相
【机 构】
:
江苏大学计算机科学与通信工程学院;
【基金项目】
:
国家自然科学基金(No.61202110; 61502205)和中国博士后科学基金(No.2015M571687; 2015M581739)
论文部分内容阅读
因第三方构件通常由不同的组织开发完成,相应的需求开发文档及源代码无法获取,传统的软件安全测试方法无法应用。通过分析构件接口信息,借鉴软件数据挖掘技术可以获取构件相应的接口方法运行序列及需求规约等信息,进而也能对测试日志信息进行分析和处理。针对第三方构件安全性难以测试的问题,本文提出了一种采用数据挖掘技术的测试模型及其测试框架。提出的方法首先形式化定义了测试模型的基本元素,然后基于此模型设计了一个测试框架,并采用单子技术对测试流程和数据挖掘算法进行了形式化描述。为了实现该测试框架,论文实现了数据挖掘相关算法并研发了一个测试第三方构件安全性的测试系统(Component Security Testing System based on Data Mining,CSTS-DM),最后对测试模型及CSTS-DM进行了案例分析及实验验证,并通过对商业构件和模拟构件的分析测试,验证了CSTS-DM原型测试系统的效果和效率,也分析了提出的测试框架及测试模型的有效性及可行性。
其他文献
本文通过对文献资料法、逻辑分析法对竞技健美操发展的特点进行分析和研究,针对竞技健美操设计特点、技术特点、音乐特点、编排特点、选材特点、集群性特点几个方面进行分析
在单光瞳图像处理系统中,扫描系统与非相干成像系统具有等价性,在此基础上设计了图像处理系统中的双光瞳处理系统,并推导了该系统在聚焦和离焦时的光学传递函数,提出了离焦时
如今,我国资产托管行业已初具规模,截至2017年底,我国银行业资产托管存量规模达到141.5万亿元,存托比呈现逐年上升态势,2017年底已达83.6%。托管机制在塑造行业信任、提高交
在美术课程教学的过程中,通过借鉴先进的美术教育理论、理论的学习、多样化材料的引进、实践课堂的应用,尝试突破美术课较单一素材使用的现状,开展沙画教学的研究,让学生围绕
<正>发布时间:2018年7月资产托管业务伴随资管业务以及特殊交易活动而生,随着资管业务的发展而发展,与其有着密不可分的关系,大资管时代资管业务的快速发展为托管行业提供了
目的:观察火针膏肓穴对慢性疲劳综合征(CFS)大鼠血清抗氧化指标超氧化物歧化酶(SOD)、谷胱甘肽过氧化物酶(GSH-Px)活力及丙二醛(MDA)水平的影响,探讨火针治疗CFS的作用机制。
随着社会不断的发展,科学技术的不断进步,使得人工智能技术有了突破性的成就,并且被广泛运用于人们的学习、生活以及工作中。当然,人工智能技术也被应用于会计行业当中。在会
国务院《信访条例》(2005年)第七条规定:“各级人民政府应当建立健全信访工作责任制,对信访工作中的失职、渎职行为……追究有关责任人员的责任,并在一定范围内予以通报;各级人民政
思想政治教育作为一项培养人、完善人、发展人的教育实践活动,与人文关怀有着内在的一致性。人文关怀的有效实施有助于思想政治教育实效性的提高,而思想政治教育实效性的提高
介绍王寅以针灸调理脾胃为主治疗疑难杂症的临床经验与施术特色。王寅根据中医基础理论结合金针王乐亭的"老十针"提出了调理脾胃针法。该法采用三才取穴法,以针刺任脉、足太