您的当前位置：首页用于分布式嵌入系统的自动测试用例生成的方法及系统[发明专利]

用于分布式嵌入系统的自动测试用例生成的方法及系统[发明专利]

来源：钮旅网

专利内容由知识产权出版社提供

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

系统

专利类型：发明专利

发明人：M·G·迪克西特,A·A·加德卡里,R·艾斯,R·塞图,S·H·南

杜古迪

申请号：CN201010501669.0申请日：20100930公开号：CN1020333A公开日：20110427

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

申请人：通用汽车环球科技运作公司

地址：美国密执安州

国籍：US

代理机构：中国专利代理()有限公司

代理人：张群峰

更多信息请下载全文后查看

因篇幅问题不能全部显示，请点此查看更多更全内容

查看全文