论文部分内容阅读
列车通信设备是一种嵌入式系统。有效地测试这类设备是列车运行系统质量保证的重要手段。嵌入式系统测试的重要任务之一是有效地生成测试用例。本文提出基于接口自动机(Interface Automata)自动生成测试用例技术。现有的接口自动机技术只支持同步消息的发送与接收，而列车通信设备还需要处理异步消息的发送与接收。为此，本文对接口自动机理论进行了扩展，以便支持列车通信设备异步消息通信的需求。依据列车通信网络的规范，本文使用扩展了的接口自动机对列车通信模块及通信模块的组合作了形式化建模，依据测试覆盖准则，自动生成测试序列，并利用模型驱动技术自动生成测试脚本。本文讨论了手工测试用例生成及所提出的自动生成测试用例技术，展示后者从测试覆盖、时间节约方面的有效性。