来自局部设计模型的软件测试案例生成制造技术

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

【技术实现步骤摘要】

本公开涉及关于局部设计模型的用于软件代码的测试的测试案例的自动生成。
技术介绍
存在有用于测试实现了开发中的软件的套件的编程代码的多种自动化方式。基于模型的测试(MBT)是ー种特别有用的“黑匣子”软件测试方式。MBT涉及使用高层次状态机或其他实施代码的合适模型的测试案例的自动生成。输入信号被施加至模型的边界，且模型的响应被紧密地观察。等同的代码被测试以确定该代码是否提供和模型相同的输入/输出序列。输入域的相对宽的覆盖可通过使用传统的MBT技术实现，而不需要大量的测试案例的手动生成。对于传统的MBT方法，模型的输入/输出(I/O)边界必须匹配正在测试的软件代码的I/O边界。但是，在实践中，高层次模型趋向于为局部的或甚至不存在，因此使得传统的MBT方法不够最优。该模型边界不一致的原因可以是不同的。例如，软件可随时间经过而累积地开发出，其中一些编程团队创建软件代码的不同部分。在另ー些情形中，软件编程员可能直接开始写代码，而没有首先对软件建摸。因此，仅总体代码中的一部分可能具有相应的模型。在汽车エ业和具有大型、分散的使用不同软件的主机的制造设备的其他行业中，软件的不同部分可能由不同的供应商本文档来自技高网...

【技术保护点】
一种用于关于局部设计模型（PDM）的测试中软件（SUT）的测试方法，该PDM具有不同于SUT边界的边界，该方法包括：记录一组输入信息，包括SUT、PDM、限定了需要数目的测试案例的覆盖标准；经由主机识别SUT中对应于PDM的边界信号的一组变量；和使用SUT、PDM和该组变量提取满足覆盖标准的一组测试案例。

【技术特征摘要】
2011.09.21 US 13/238,1101.一种用于关于局部设计模型(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边界的边界，该系统包括主机，其接收和记录输入...

【专利技术属性】
技术研发人员：PM佩拉南达姆，AA嘉德卡里，R赛瑟，
申请(专利权)人：通用汽车环球科技运作有限责任公司，
类型：发明
国别省市：