公开(公告)号：CN103019669A

公开(公告)日：2013-04-03

申请号：CN201210357186.7

申请日：2012-09-21

Applicant: 通用汽车环球科技运作有限责任公司

Inventor： P.M.佩拉南达姆 ,  A.A.嘉德卡里 ,  R.赛瑟

IPC: G06F9/44 ,  G06F11/36

CPC classification number: G06F11/3684

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

公开(公告)号：CN103019669B

公开(公告)日：2016-01-20

申请号：CN201210357186.7

申请日：2012-09-21

Applicant: 通用汽车环球科技运作有限责任公司

Inventor： P.M.佩拉南达姆 ,  A.A.嘉德卡里 ,  R.赛瑟

IPC: G06F9/44 ,  G06F11/36

CPC classification number: G06F11/3684

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