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

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