[发明专利]一种基于扩展的数据流模型来生成测试用例的方法与装置

权利要求书

1.一种基于扩展的数据流模型来生成测试用例的装置，其特征在于：该装置包括有数据的收集和预处理模块、扩展数据流模型的构建模块、基于扩展数据流模型的影响分析模块、基于扩展数据流模型的测试用例扩增模块；

数据的收集和预处理模块：

通过收集程序的静态信息和程序运行时的动态消息，并对这些数据进行预处理，得到预处理后的数据；

扩展数据流模型的构建模块：

扩展数据流模型的构建模块是该装置当中将预处理的数据构建为扩展数据流模型的部分；由获取变量状态的依赖关系和获取变量状态的转移关系和构建扩展数据流模型组成；获取变量状态的依赖关系是通过分析数据，找到程序执行过程中变量状态之间的依赖关系；获取变量状态的转移关系则是通过分析数据，找到程序执行过程中变量状态之间的转移关系；在获取到变量状态的依赖关系和变量状态的转移关系的基础上，构建出扩展数据流模型；

基于扩展数据流模型的影响分析模块：

通过分析程序修改前后所受到影响的语句集合，分析出因为代码修改带来的程序语句的变化情况；

基于扩展数据流模型的测试用例扩增模块：

测试用例扩增模块利用已有的测试用例，来修改这些测试用例的输入并且执行程序，收集程序执行过程中所经过的语句集合；如果该语句集合与此前影响分析模块获得的语句集合有交集，则扩增此测试用例。

2.根据权利要求1所述的基于扩展的数据流模型来生成测试用例的装置，其特征在于：在测试用例扩增模块中首先需要记录测试用例在执行时所经过的语句轨迹，对于修改后的新版本，需要知道那些被执行到的语句的信息，就知道哪些测试用例覆盖到了与故障相关的扩展数据流模型信息，而对于那些丝毫没有执行到与故障相关的扩展数据流模型信息的测试用例，将不会被扩增。

3.应用根据权利要求1所述的一种基于扩展的数据流模型来生成测试用例的装置来生成测试用例的方法，其特征在于：首先需要收集程序修改前后执行的动态信息以及程序修改前后的静态信息；接下来需要分析出程序变量状态之间的动态依赖关系和程序变量状态之间的动态转移关系，有这两部分信息之后，利用构建程序的扩展数据流模型算法来构建出程序修改前后的扩展数据流模型；根据程序修改前后的扩展数据流模型进行影响分析，得到程序修改前后受影响的语句集，即故障修复前受影响的语句集So与故障修复后受影响的语句集Sp；如果|So|<|Sp|，则不需要扩增测试用例，如果|So|>|Sp|，则程序修改前后受到影响的语句集合为So-Sp；接下来改变已有测试用例的输入且执行程序，看执行的语句集合与So-Sp是否有交集，如果存在交集，则扩增此测试用例。