embedded systems; object-oriented programming; program testing; OESSTSL; embedded software simulation testing; formal description; object-based embedded software; script engine; simulation test script language; automated testing; embedded software; object technique; script language; simulation;
机译:安全关键嵌入式软件的软件测试技术
机译:使用测试自动化工具对嵌入式软件进行黑盒测试的案例研究科学出版物
机译:推进测试自动化技术以应对基于模型的软件测试的挑战-客座编辑介绍了第三届IEEE国际软件测试自动化研讨会(AST 2008)的特殊部分
机译:论嵌入式软件仿真测试的测试脚本技术面向自动化
机译:基于规范的测试用例生成机制,用于面向服务的软件测试。
机译:使用模糊逻辑技术确定基于断言的软件测试指标
机译:将面向对象的软件测试技术扩展到代理面向代理的软件测试。
机译:嵌入式通信软件集成测试自动化