embedded sofware; model-based testing; software testing; testing tool;
机译:用于汽车嵌入式软件测试的模型自动测试用例
机译:航空电子嵌入式软件基于模型的鲁棒性测试
机译:使用测试自动化工具对嵌入式软件进行黑盒测试的案例研究科学出版物
机译:嵌入式软件的基于模型的测试工具
机译:用于基于模型的嵌入式实时软件设计和分析的技术和工具。
机译:SOFI仿真工具:用于仿真和测试超分辨率光学波动成像的软件包
机译:TestmL-基于模型的嵌入式软件测试的测试交换语言
机译:基于模型的嵌入式系统软件工程图和语言:UmL和aaDL。