一种来自局部设计模型的软件测试案例生成的方法及系统

摘要

一种方法，其允许关于具有不同于SUT边界的边界的局部设计模型（PDM）测试测试中软件（SUT）。该方法包括记录输入信息，包括SUT、PDM、限定了需要数目的测试案例的覆盖标准。对应于PDM的边界信号的SUT中的变量被识别出。提取满足覆盖标准的测试案例。该方法还包括在PDM水平上产生附加的测试案例，且继而使用正向/反向传播或基于启发的导向技术将具有相应的约束函数的附加案例映射至SUT编码的边界。用于测试SUT的系统包括主机和存储器。该主机执行来自存储器的处理指令，以识别SUT中对应于PDM的边界信号的变量，且提取满足覆盖标准的测试案例。