|
论文《基于接口自动机的列车通信设备测试用例生成》发表于全国第十届嵌入式系统学术会议暨技术论坛(ESTC2012)。该文提出一种利用接口自动机模型生成测试用例的方法，用于提高列车通信设备的测试效率和覆盖率。通过形式化建模，确保测试用例的正确性和完整性，为嵌入式系统的可靠测试提供理论支持和技术手段。 文档为pdf格式，0.6MB，总共7页。
- 文件大小:
- 614.4 KB
- 下载次数:
- 60
- 基于接口自动机的列车通信设备测试用例生成 - 全国第十届嵌入式系统学术会议暨技术论坛(ESTC2012).pdf ...
-
高速下载
| 
