基于接口自动机的列车通信设备测试用例生成 | |
郁莲 ; 李军龙 ; 白晓颖 ; 刘鑫 ; 吴中海 | |
2012 | |
关键词 | 嵌入式系统 列车通信网络 接口自动机 |
英文摘要 | 列车通信设备是一种嵌入式系统。有效地测试这类设备是列车运行系统质量保证的重要手段。嵌入式系统测试的重要任务之一是有效地生成测试用例。本文提出基于接口自动机(Interface Automata)自动生成测试用例技术。现有的接口自动机技术只支持同步消息的发送与接收,而列车通信设备还需要处理异步消息的发送与接收。为此,本文对接口自动机理论进行了扩展,以便支持列车通信设备异步消息通信的需求。依据列车通信网络的规范,本文使用扩展了的接口自动机对列车通信模块及通信模块的组合作了形式化建模,依据测试覆盖准则,自动生成测试序列,并利用模型驱动技术自动生成测试脚本。本文讨论了手工测试用例生成及所提出的自动生成测试用例技术,展示后者从测试覆盖、时间节约方面的有效性。; 0 |
语种 | 中文 |
内容类型 | 其他 |
源URL | [http://ir.pku.edu.cn/handle/20.500.11897/281388] ![]() |
专题 | 软件与微电子学院 |
推荐引用方式 GB/T 7714 | 郁莲,李军龙,白晓颖,等. 基于接口自动机的列车通信设备测试用例生成. 2012-01-01. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论