基于规范和程序输入域分析的软件测试数据生成方法研究
批准号：
60473032
项目类别：
面上项目
资助金额：
23.0 万元
负责人：
赵瑞莲
依托单位：
学科分类：
计算机科学的基础理论
结题年份：
2007
批准年份：
2004
项目状态：
已结题
项目参与者：
李立健、尹志刚、高敬阳、史晟辉、李征、王雪莲、董红霞、李翠翠
项目摘要
结项摘要
项目成果
赵瑞莲的其他基金
相似基金
相关文献
中文摘要
本申请旨在研究一种基于规范和程序输入域分析的测试数据生成方法，并探讨一种程序运行域自动确定方法。程序运行域确定的关键是如何识别特殊情形下输入变量的奇异值，我们拟采用程序切片技术，构造基于特殊表达式的可执行模块，通过动态模拟，识别其输入变量的奇异值，进而确定其输入变量的取值范围，并据此设计输入域边界测试用例，对程序运行域边界附近的处理进行检测。同时，对源程序进行数据流及相关性分析，探讨定义-使用路径和MM路径的自动生成方法，为数据流测试和基于路径的集成测试提供有力的支持。通过分析功能域和运行域的重合性，检测其规范说明与程序实现之间的差异，并根据分析结果设计测试用例，以克服测试的盲目性，提高测试效率。针对程序的非法计算故障，探讨测试数据的自动生成方法，以降低软件测试的成本，提高测试的自动化程度。
英文摘要
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
登录
查看更多内容
DOI：
--
发表时间：
--
期刊：
《北京化工大学学报》，第34卷 增刊I， 2007：89-92.
影响因子：
--
作者：
[黄玉麟, 赵瑞莲]
通讯作者：
赵瑞莲
DOI：
--
发表时间：
--
期刊：
《微电子学》，Vol.37，No.2，2007，301-304.
影响因子：
--
作者：
[何苏勤, 吴飞]
通讯作者：
吴飞
DOI：
--
发表时间：
--
期刊：
《南京大学学报.自然科学版》，Vol.41，2005：704-711.
影响因子：
--
作者：
[董红霞, 赵瑞莲]
通讯作者：
赵瑞莲
DOI：
--
发表时间：
--
期刊：
《计算机辅助设计与图形学报》，录用带发表.
影响因子：
--
作者：
[赵瑞莲]
通讯作者：
赵瑞莲
DOI：
--
发表时间：
--
期刊：
《计算机工程》，Vol.33，No.16，2007，29-32.
影响因子：
--
作者：
[张志伟, 马鸿, 李立健, 王东琳]
通讯作者：
王东琳
共 19 条
Web应用软件安全测试用例集Memetic演化生成方法研究
-
批准号：61672085
-
项目类别：面上项目
-
资助金额：62.0万元
-
批准年份：2016
-
负责人：赵瑞莲
-
依托单位：
含复杂数据和过程调用的EFSM模型测试生成研究及生成效率关键因素分析
-
批准号：61073035
-
项目类别：面上项目
-
资助金额：33.0万元
-
批准年份：2010
-
负责人：赵瑞莲
-
依托单位：
国内基金
海外基金