基于接口自动机的列车通信设备测试用例生成 |
| |
引用本文: | 郁莲,李军龙,白晓颖,刘鑫,吴中海.基于接口自动机的列车通信设备测试用例生成[J].微机发展,2013(5):1-5. |
| |
作者姓名: | 郁莲 李军龙 白晓颖 刘鑫 吴中海 |
| |
作者单位: | 北京大学软件与微电子学院;清华大学计算机学院 |
| |
基金项目: | 国家自然科学基金资助项目(60973001);2012年“AutoTest软件系统测试”项目 |
| |
摘 要: | 列车通信设备是一种嵌入式系统。有效地测试这类设备是列车运行系统质量保证的重要手段。嵌入式系统测试的重要任务之一是有效地生成测试用例。文中提出基于接口自动机(Interface Automata)技术自动生成列车通信设备的测试用例。现有的接口自动机技术只支持同步消息的发送与接收,而列车通信设备还需要处理异步消息的发送与接收。为此,文中对接口自动机理论进行了扩展,以便支持列车通信设备异步消息通信的需求。依据列车通信网络的规范,文中使用扩展了的接口自动机对列车通信模块及通信模块的组合作了形式化建模,依据测试覆盖准则,自动生成测试序列,并利用模型驱动技术自动生成测试脚本。文中比较了手工生成测试用例方法及所提出的自动生成测试用例技术,展示后者从测试覆盖、时间节约方面的有效性。
|
关 键 词: | 嵌入式系统 列车通信网络 接口自动机 |
本文献已被 CNKI 等数据库收录! |
|