基于规范和程序输入域分析的软件测试数据生成方法研究-东篱科研大数据发现系统（DRDS）

位置：立项数据库 > 立项详情页

基于规范和程序输入域分析的软件测试数据生成方法研究

项目名称：基于规范和程序输入域分析的软件测试数据生成方法研究
项目类别：面上项目
批准号：60473032
申请代码：F020105
项目来源：国家自然科学基金
研究期限：2005-01-01-2007-12-31

项目负责人：赵瑞莲
负责人职称：教授
依托单位：北京化工大学
批准年度：2004

中文摘要：

本申请旨在研究一种基于规范和程序输入域分析的测试数据生成方法，并探讨一种程序运行域自动确定方法。程序运行域确定的关键是如何识别特殊情形下输入变量的奇异值，我们拟采用程序切片技术，构造基于特殊表达式的可执行模块，通过动态模拟，识别其输入变量的奇异值，进而确定其输入变量的取值范围，并据此设计输入域边界测试用例，对程序运行域边界附近的处理进行检测。同时，对源程序进行数据流及相关性分析，探讨定义-使用路径和MM路径的自动生成方法，为数据流测试和基于路径的集成测试提供有力的支持。通过分析功能域和运行域的重合性，检测其规范说明与程序实现之间的差异，并根据分析结果设计测试用例，以克服测试的盲目性，提高测试效率。针对程序的非法计算故障，探讨测试数据的自动生成方法，以降低软件测试的成本，提高测试的自动化程度。

中文主题词：软件测试数据生成;域分析;奇异值;非法计算故障;路径生成

英文摘要：

software test data genration;