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

摘要

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

主权项

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