-
公开(公告)号：CN102033543A
公开(公告)日：2011-04-27
申请号：CN201010501669.0
申请日：2010-09-30
Applicant: 通用汽车环球科技运作公司
IPC: G05B23/02
CPC classification number: G06F11/3684
Abstract: 一种用于分布式嵌入系统的自动测试用例生成的方法及系统。该系统在所述车载分布式嵌入系统的系统集成层面生成用于验证测试规范的测试用例，该测试规范是关于定时约束、故障容限、分布式死锁和同步的。自动测试用例生成系统包括用于集成功能模型和平台规范的模型变换器。功能模型涉及至少一个控制器的抽象模型，平台规范涉及平台部件的具体细节。测试规范变换器集成平台规范、实时需求和结构化覆盖准则，以生成测试分布式系统的增强测试规范。需求变换器集成分布式系统的实时需求和功能需求。自动测试用例生成器生成作为模型变换器、测试规范变换器和需求变换器的输出的函数、用来验证分布式系统的测试规范的一组测试用例。
-
公开(公告)号：CN102033543B
公开(公告)日：2013-11-13
申请号：CN201010501669.0
申请日：2010-09-30
Applicant: 通用汽车环球科技运作公司
IPC: G05B23/02
CPC classification number: G06F11/3684
Abstract: 一种用于分布式嵌入系统的自动测试用例生成的方法及系统。该系统在所述车载分布式嵌入系统的系统集成层面生成用于验证测试规范的测试用例，该测试规范是关于定时约束、故障容限、分布式死锁和同步的。自动测试用例生成系统包括用于集成功能模型和平台规范的模型变换器。功能模型涉及至少一个控制器的抽象模型，平台规范涉及平台部件的具体细节。测试规范变换器集成平台规范、实时需求和结构化覆盖准则，以生成测试分布式系统的增强测试规范。需求变换器集成分布式系统的实时需求和功能需求。自动测试用例生成器生成作为模型变换器、测试规范变换器和需求变换器的输出的函数、用来验证分布式系统的测试规范的一组测试用例。
-
Search Results
2
records
(took 0.029 seconds)
