用于分布式嵌入系统的自动测试用例生成的方法及系统技术方案

一种用于分布式嵌入系统的自动测试用例生成的方法及系统。该系统在所述车载分布式嵌入系统的系统集成层面生成用于验证测试规范的测试用例，该测试规范是关于定时约束、故障容限、分布式死锁和同步的。自动测试用例生成系统包括用于集成功能模型和平台规范的模型变换器。功能模型涉及至少一个控制器的抽象模型，平台规范涉及平台部件的具体细节。测试规范变换器集成平台规范、实时需求和结构化覆盖准则，以生成测试分布式系统的增强测试规范。需求变换器集成分布式系统的实时需求和功能需求。自动测试用例生成器生成作为模型变换器、测试规范变换器和需求变换器的输出的函数、用来验证分布式系统的测试规范的一组测试用例。

【技术实现步骤摘要】
用于分布式嵌入系统的自动测试用例生成的方法及系统
实施例总体上涉及对车载分布式嵌入系统进行测试。技术背景在汽车中，一些车辆特征功能是通过电子器件及控制软件应用来进行处理的。这 样的系统是分布式实时嵌入软件系统，其需要高度完整性的开发及检验过程。在跨越各个 设计步骤的过程中确保模型的一致性和正确性在开发方法中是关键性的。汽车软件通常作 为控制器的初始抽象模型而产生，然后使用物理测试或形式检验来对其进行验证，并且被 重复地改进。所产生的用于测试软件的测试序列是一系列的命令或指令，这些命令或指令 被应用到在接受测试的装置、子系统或系统。物理测试通常需要使用测试或验证所需实际 架构的实际车辆中的物理部件或者测试台的搭建。而且，对物理装置或软件的人工检查、监 测、以及改变是劳动密集的、耗时且费用高昂的。
技术实现思路
实施例的优点是对车辆特征的端到端实施进行测试所用的自动测试用例生成，其 中该车辆特征包括一个或多个在实时需求下使用了嵌入式软件的电子控制单元。实施例设想了一种用于车载分布式嵌入系统的自动测试用例生成系统。该自动测 试用例生成系统在分布式系统的系统集成层面生成用于确认测试规范有效的测试用例，该 测试规范关于定时(timing)约束、故障容限、分布式死锁和同步。该自动测试用例生成系 统包括模型变换器，用于集成功能模型和平台规范。功能模型涉及至少一个控制器的抽象 模型。平台规范则对应于车载分布式嵌入系统的分布式架构以及软件部件到该分布式架构 的映射。测试规范变换器集成平台规范、实时需求以及结构化覆盖准则，用于生成对车载分 布式嵌入系统进行测试所用的增强的测试规范。需求变换器集成车载分布式嵌入系统的实 时需求和功能需求。自动测试用例生成器生成一组验证车载分布式嵌入系统的增强的测试 规范的测试用例。这些测试用例作为模型变换器、测试规范变换器和需求变换器的输出的 函数而被生成。实施例设想了一种用于生成车载分布式嵌入系统所用的自动测试用例的方法。自 动测试用例在分布式系统的系统集成层面生成用于确认与定时约束、故障容限、分布式死 锁以及同步有关的测试规范有效。该方法包括将平台规范与涉及至少一个控制器的抽象模 型的功能模型集成在一起。该平台规范对应于车载分布式嵌入系统的分布式架构以及软件 部件到该分布式架构的映射。集成平台规范、实时需求以及结构化覆盖准则，以便生成对车 载分布式嵌入系统进行测试所用的增强的测试规范。集成实时需求和功能需求，用于车载 分布式嵌入系统。自动生成一组测试用例，这些测试用例用于确认车载分布式嵌入系统的 增强的测试规范有效。这些测试用例作为模型变换器、测试规范变换器和需求变换器的输 出的函数而被生成。本专利技术还涉及以下技术方案方案1. 一种用于车载分布式嵌入系统的自动测试用例生成系统，所述自动测试 用例生成系统在所述车载分布式嵌入系统的系统集成层面生成用于验证测试规范的测试 用例，所述测试规范关于定时约束、故障容限、分布式死锁和同步，所述自动测试用例生成 系统包括模型变换器，用于集成功能模型和平台规范，所述功能模型涉及至少一个控制器 的抽象模型，所述平台规范对应于所述车载分布式嵌入系统的分布式架构和软件部件到所 述分布式架构的映射；测试规范变换器，用于集成所述平台规范、实时需求和结构化覆盖准则，以便生成 用于对所述车载分布式嵌入系统进行测试的增强的测试规范；需求变换器，用于集成所述车载分布式嵌入系统的实时需求和功能需求；以及自动测试用例生成器，用于生成对所述车载分布式嵌入系统的增强的测试规范进 行验证的一组测试用例，所述测试用例作为所述模型变换器、所述测试规范变换器、以及所 述需求变换器的输出的函数而被生成。方案2.如方案1所述的系统，其中，从所述自动测试用例生成器输出的所述组测 试用例包括用于对所述车载分布式嵌入系统内的控制器之间的通信进行测试的测试用例。方案3.如方案1所述的系统，其中，从所述自动测试用例生成器输出的所述组测 试用例包括用于对所述车载分布式嵌入系统内的控制器的响应进行测试的测试用例。方案4.如方案1所述的系统，其中，所述平台规范对应于通信总线的参数。方案5.如方案1所述的系统，其中，所述平台规范对应于涉及所述控制器上任务 调度的参数。如方案1所述的系统，其中，所述平台规范对应于中间件部件的参数。 如方案ι所述的系统，其中，所述功能模型是Simulink/Stateflow模型。 如方案1所述的系统，其中，所述模型变换器利用了由所述控制器在分布 式平台上的实施所导致的定时效果。方案9.如方案1所述的系统，其中，由所述模型变换器产生的所述集成的功能和 平台模型包括任务和消息的定时信息，其中，所述集成的功能和平台模型捕获用于任务执 行以及所述车载分布式嵌入系统的通信装置之间消息传输的持续时间。方案10.如方案1所述的系统，其中，所述集成的功能和平台模型是带附注的 Simulink/Statef low 模型。方案11.如方案1所述的系统，其中，使用时变系统来表示所述集成的功能和平台 模型。方案12. —种用于为车载分布式嵌入系统自动生成测试用例的方法，所述测试用 例在所述车载分布式嵌入系统的系统集成层面生成用于验证测试规范，所述测试规范关于 定时约束、故障容限、分布式死锁和同步，所述方法包括下述步骤集成功能模型和平台规范，所述功能模型涉及至少一个控制器的抽象模型，所述 平台规范对应于所述车载分布式嵌入系统的分布式架构和软件部件到所述分布式架构的 映射；集成所述平台规范、实时需求和结构化覆盖准则，以便生成用于对所述车载分布 式嵌入系统进行测试的增强的测试规范；方案6.方案7.方案8.集成所述车载分布式嵌入系统的实时需求和功能需求；以及自动生成对所述车载分布式嵌入系统的增强的测试规范进行验证的一组测试用 例，所述测试用例作为所述模型变换器、所述测试规范变换器、以及所述需求变换器的输出 的函数而被生成。方案13.如方案12所述的方法，其中，所述测试用例是来自自动测试用例生成器 的输出，用于对所述车载分布式嵌入系统内的控制器之间的通信进行测试。方案14.如方案12所述的方法，其中，所述测试用例是来自自动测试用例生成器 的输出，用于对所述车载分布式嵌入系统内的控制器的响应进行测试。方案15.如方案12所述的方法，其中，定时延迟被用来捕获用于任务执行以及所 述车载分布式嵌入系统的通信装置之间消息传输的持续时间。方案16.如方案15所述的方法，其中，由于任务和消息所致的所述定时延迟被包 含在所述集成的功能和平台模型中。方案17.如方案12所述的方法，其中，使用时变系统来模型化所述集成的功能和 实时需求。方案18.如方案12所述的方法，其中，所述测试用例在子系统层面被生成，以便提 供输入信号和输出信号的序列，用于对个体控制器进行测试。方案19.如方案12所述的方法，其中，所述测试用例在系统集成层面被生成，以便 提供输入信号和输出信号的序列，用于所述车载分布式嵌入系统。方案20.如方案12所述的方法，其中，所述输入信号和输出信号的序列以固定的 定时步长被测试。方案21.如方案12所述的方法，其中，所述输入信号和输出信号的序列以可变的 定时步长被测试。方案22.如方案12所述的方法，其中本文档来自技高网...

【技术保护点】
一种用于车载分布式嵌入系统的自动测试用例生成系统，所述自动测试用例生成系统在所述车载分布式嵌入系统的系统集成层面生成用于验证测试规范的测试用例，所述测试规范关于定时约束、故障容限、分布式死锁和同步，所述自动测试用例生成系统包括：模型变换器，用于集成功能模型和平台规范，所述功能模型涉及至少一个控制器的抽象模型，所述平台规范对应于所述车载分布式嵌入系统的分布式架构和软件部件到所述分布式架构的映射；测试规范变换器，用于集成所述平台规范、实时需求和结构化覆盖准则，以便生成用于对所述车载分布式嵌入系统进行测试的增强的测试规范；需求变换器，用于集成所述车载分布式嵌入系统的实时需求和功能需求；以及自动测试用例生成器，用于生成对所述车载分布式嵌入系统的增强的测试规范进行验证的一组测试用例，所述测试用例作为所述模型变换器、所述测试规范变换器、以及所述需求变换器的输出的函数而被生成。

【技术特征摘要】
...

【专利技术属性】
技术研发人员：MG迪克西特，AA加德卡里，R艾斯，R塞图，SH南杜古迪，
申请(专利权)人：通用汽车环球科技运作公司，
类型：发明
国别省市：US[美国]