[发明专利]来自局部设计模型的软件测试案例生成

权利要求书

1.一种用于关于局部设计模型（PDM）的测试中软件（SUT）的测试方法，该PDM具有不同于SUT边界的边界，该方法包括：

记录一组输入信息，包括SUT、PDM、限定了需要数目的测试案例的覆盖标准；

经由主机识别SUT中对应于PDM的边界信号的一组变量；和

使用SUT、PDM和该组变量提取满足覆盖标准的一组测试案例。

2.如权利要求1所述的方法，其中提取一组测试案例包括：

从SUT产生初始的一组测试案例；和

测量初始的该组测试案例在PDM上的覆盖。

3.如权利要求2所述的方法，其还包括：

在PDM水平上产生附加的一组测试案例；

使用传播技术和启发导向技术中的一种利用相应的约束函数将附加的该组测试案例映射至SUT的边界；和

使用所述主机求解所述相应的约束函数。

4.如权利要求1所述的方法，其还包括：

在对于预定数量的迭代利用随机输入模拟SUT的同时登录PDM的输入和输出（I/O)值；和

使用登录的输入模拟PDM；和

将PDM的输出和一组期望输出进行比较。

5.一种用于关于局部设计模型（PDM）的测试中软件（SUT）的测试系统，该PDM具有不同于SUT边界的边界，该系统包括：

主机，其接收和记录输入组，该输入组包括SUT、PDM和限定了需要数目的测试案例的覆盖标准；和

有形/非易失性存储器，其上记录有测试生成工具和用于测试所述SUT的一组处理指令；

其中所述主机配置为执行所述处理指令，以由此识别SUT中的一组变量，该组变量对应于PDM的边界信号，且使用SUT、PDM和该组变量提取满足覆盖标准的一组测试案例。

6.如权利要求5所述的系统，其中所述主机配置为：

从所述SUT产生该组测试案例的初始版本；和

测量该组测试案例的初始版本在PDM上的覆盖。

7.如权利要求5所述的系统，其中所述主机执行正向传播技术或反向传播技术中的一种以将来自PDM的测试案例的至少一些自动映射至SUT。

8.如权利要求5所述的系统，其中所述主机配置为通过下列方式提取该组测试案例：

从SUT产生初始的一组测试案例；和

测量初始的该组测试案例在PDM上的覆盖。

9.如权利要求5所述的系统，其中所述主机被配置为：

在所述PDM的水平上产生附加的一组测试案例；

使用正向传播技术、反向传播技术和启发导向技术中的一种利用相应的约束函数将附加的该组测试案例映射至SUT的边界；和

使用所述主机求解所述相应的约束函数。

10.如权利要求5所述的系统，其中所述主机被配置为：

将对所述SUT的一组输入信号映射至PDM中相应的值。