教育部科学技术研究重点项目(105018)
- 作品数：3 被引量：15H指数：3
- 相关作者：赵瑞莲李立健王雪莲程勇何德琳更多>>
- 相关机构：北京化工大学中国科学院自动化研究所更多>>
- 发文基金：教育部科学技术研究重点项目国家自然科学基金中国科学院软件研究所计算机科学国家重点实验室开放课题基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 利用蚁群算法实现基于程序结构的主变元分析
- 本文提出了一种利用蚁群算法实现程序主变元分析与确定的方法,使用属性约简模型,将输入/输出变量间的相互关联关系作为启发式信息引入蚁群算法来分析程序主变元。实验结果表明,本方法是行之有效的,可以更为准确地确定程序主变元。
- 张悦尤枫赵瑞莲
- 关键词：属性约简蚁群算法
- 文献传递
- 贝叶斯网络评分准则对MMHC算法学习效果的影响被引量：5
- 2008年
- 贝叶斯网络是研究不确定环境下知识表示和因果推理的有效工具之一。MMHC算法是一种较新的贝叶斯网络结构学习算法。在MMHC算法的基础上,对几种广泛使用的贝叶斯网络评分准则如MIT、K2Score、MDL、BDeu评分准则等进行了研究,实验结果表明K2评分准则在MMHC学习算法上具有最好的学习效果,MIT评分和BDeu评分次之,MDL评分效果最差。
- 何德琳程勇
- 关键词：贝叶斯网络网络结构学习
- 一种用于测试数据生成的动态程序切片算法被引量：7
- 2005年
- 介绍了程序切片技术的基本概念,提出了一种基于前向分析的动态程序切片算法,探讨了程序切片在软件测试数据生成中的应用,结果表明可以有效地提高基于路径的测试数据生成效率。
- 王雪莲赵瑞莲李立健
- 关键词：程序切片测试数据生成
- 一种有效的边界测试点选取策略被引量：3
- 2007年
- 借鉴组合逻辑电路固定型故障的诊断原理,提出一种软件边界测试点选取策略.根据RSDIMU容错软件需求规范开发出52个测试用例,同时采用边界值分析、健壮性测试等边界值测试方法设计了2组测试用例,对34个版本的RSDIMU程序和429个变异体进行了测试.实验结果表明:该方法是一种有效的边界测试点选取策略,可以克服测试的盲目性,降低测试成本,明显地提高故障覆盖程度.
- 赵瑞莲董红霞
- 关键词：测试数据生成变异体
- 基于UML状态图的MM路径形式化表示及生成
- MM路径是方法／消息路径的缩写,它体现了面向对象系统中方法之间的动态交互情况。本文首先结合面向对象系统的特点,讨论了MM路径在产生原因、作用域范围和组成结构三方面的分类情况,然后从UML状态图出发,考虑状态在消息的响应方...
- 林羚卢江赵瑞莲
- 关键词：UML状态图
- 文献传递
- 基于领域的程序切片准则的依赖性分析
- 概念关联可以从程序中提取具有领域知识和语义内聚度的概念片段。把概念片段用于程序切片准则可以生成具有领域概念的切片,但切片准则增大的同时可能会引发切片尺寸的急剧增大,从而导致无法在实际中应用。本文重新定义了适用于概念切片的...
- 李征赵瑞莲
- 关键词：程序切片
- 文献传递
