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

说明书

技术领域

本公开涉及关于局部设计模型的用于软件代码的测试的测试案例的自动生成。

背景技术

存在有用于测试实现了开发中的软件的套件的编程代码的多种自动化方式。基于模型的测试（MBT）是一种特别有用的“黑匣子”软件测试方式。MBT涉及使用高层次状态机或其他实施代码的合适模型的测试案例的自动生成。输入信号被施加至模型的边界，且模型的响应被紧密地观察。等同的代码被测试以确定该代码是否提供和模型相同的输入/输出序列。输入域的相对宽的覆盖可通过使用传统的MBT技术实现，而不需要大量的测试案例的手动生成。

对于传统的MBT方法，模型的输入/输出（I/O）边界必须匹配正在测试的软件代码的I/O边界。但是，在实践中，高层次模型趋向于为局部的或甚至不存在，因此使得传统的MBT方法不够最优。该模型边界不一致的原因可以是不同的。例如，软件可随时间经过而累积地开发出，其中一些编程团队创建软件代码的不同部分。在另一些情形中，软件编程员可能直接开始写代码，而没有首先对软件建模。因此，仅总体代码中的一部分可能具有相应的模型。在汽车工业和具有大型、分散的使用不同软件的主机的制造设备的其他行业中，软件的不同部分可能由不同的供应商提供。全部这些原因可能结合，以使得传统的MBT方法除了最理论化的应用之外的全部应用受挫。

发明内容

因此，本文公开了一种方法，用于关于局部设计模型的用于软件实施代码的测试的测试案例的自动生成。实施软件的边界上的输入-输出（I/O)信号可不同于局部模型边界处的I/O信号。传统的MBT技术不能在这样的情形中有效地使用。信息被如本文所述地从软件和局部模型（一个或多个）两者中获取，用于产生需要的测试案例。产生的测试案例确保了基于局部模型的结构的一定质量的覆盖指标。以这样的方式，可使用此处公开的方法和系统来确定产生的测试套件的质量。

特别地，本文中公开一种方法，用于关于具有不同于SUT代码的边界的边界的局部设计模型（PDM）的测试中软件（SUT代码）的测试。该方法包括记录一组输入信息，包括SUT代码、PDM和限定了需要数目的测试案例的覆盖标准。该方法还包括经由主机识别SUT中对应于PDM的I/O边界信号的一组变量。继而使用SUT、PDM和该组变量提取满足覆盖标准的一组测试案例。可使用主机来使用提取的该组测试案例来测试SUT代码。

提取一组测试案例可包括从SUT代码产生初始的一组测试案例，且继而测量初始的该组测试案例在PDM上的覆盖。该方法还可包括在PDM水平上产生附加的一组测试案例，且继而使用正向/反向传播或基于启发的导向技术将具有相应的约束函数的附加的该组测试案例映射至SUT代码的边界。可随后使用主机来求解相应的约束函数，以产生测试案例的其他部分，且获得关于SUT的完整或匹配测试案例。

用于关于PDM测试SUT的系统包括主机和存储器。该主机接收和记录输入组，包括SUT、PDM和限定了需要数目的测试案例的覆盖标准。存储器记录用于测试SUT的处理指令。主机配置为执行该处理指令以识别对应于PDM的I/O边界信号的SUT中的变量，并提取测试案例。该测试案例使用SUT、PDM或该组变量满足覆盖标准。

当结合附图时，上述特征和优势从下文中用于实施本发明的最佳模式的详尽描述中是轻易地明显的。

附图说明

图1是用于产生用于关于局部设计模型或模块的软件实施代码的测试的测试案例的系统的示意图。

图2是软件实施代码和局部模型或模块的输入/输出（I/O）信号和边界的示意性流程图。

图3是描述本方法的实施例的流程图。

具体实施方式

参见附图，其中相同的附图标记在若干幅附图中指示相同或相似的构件，系统10在图1中示意地示出。本系统10配置为自动产生用于软件实施代码（即测试中的软件（SUT）15）关于下文中所述的局部设计模型（PDM）的测试的测试案例。在被完全测试和验证后，SUT 15可被最终加载到相应的装置20的存储器中。

该装置20可为任意机械、电、或电动机械系统，例如车辆用刹车系统或将运行软件作为其操作的一部分的任意其他的车辆/非车辆系统或装置。装置20因此包括适于执行该处理指令、或至少和提供该功能的分立装置通信的处理器30。可包括线路、通信端口、端子、和/或其他合适的数据采集点的数据端口25存在于装置20中，且配置为按需要输出一组输出信号23。