[1]郁莲,李军龙,白晓颖,等.基于接口自动机的列车通信设备测试用例生成[J].计算机技术与发展,2013,(05):1-5.
　YU Lian,LI Jun-long,BAI Xiao-ying,et al.Test Case Generation for Train Communication Devices Based on Interface Automata[J].,2013,(05):1-5.
点击复制

基于接口自动机的列车通信设备测试用例生成()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
期数:
2013年05期
页码:
1-5
栏目:
智能、算法、系统工程
出版日期:
1900-01-01

文章信息/Info

Title:
Test Case Generation for Train Communication Devices Based on Interface Automata
文章编号:
1673-629X（2013）05-0001-05
作者:
郁莲1; 李军龙1; 白晓颖2; 刘鑫1; 吴中海1
[1]北京大学 软件与微电子学院;[2]清华大学 计算机学院
Author(s):
YU Lian; LI Jun-long; BAI Xiao-ying; LIU Xin; WU Zhong-hai
关键词:
嵌入式系统; 列车通信网络; 接口自动机
Keywords:
embedded systems; train communication network; interface automata
文献标志码:
A
摘要:
列车通信设备是一种嵌入式系统.有效地测试这类设备是列车运行系统质量保证的重要手段.嵌入式系统测试的重要任务之一是有效地生成测试用例.文中提出基于接口自动机(Interface Automata)技术自动生成列车通信设备的测试用例.现有的接口自动机技术只支持同步消息的发送与接收,而列车通信设备还需要处理异步消息的发送与接收.为此,文中对接口自动机理论进行了扩展,以便支持列车通信设备异步消息通信的需求.依据列车通信网络的规范,文中使用扩展了的接口自动机对列车通信模块及通信模块的组合作了形式化建模,依据测试覆盖准则,自动生成测试序列,并利用模型驱动技术自动生成测试脚本.文中比较了手工生成测试用例方法及所提出的自动生成测试用例技术,展示后者从测试覆盖、时间节约方面的有效性
Abstract:
Train communication network device is a kind of embedded systems. Software testing has been still an effective way to assure the quality of train communication network device. One of the most critical tasks for embedded system testing is how to generate test cases effectively. Present a test-case generation approach that is based on interface automata. Currently,interface automata simply supports sending and receiving of messages synchronously,which is incompatible with the mode of message handling of train communication net-work. Therefore,propose a way to extend interface automata to support the demand of asychronous message communication for train com-munication device;model the communication components of the train communication network and their interactions;with this model,gen-erate test sequences according to test coverage criteria,and produce test scripts automatically. Finally,compare the approach proposed with manual test-case generation,and show the efficiency and the effectiveness in test coverage

相似文献/References:

[1]侯战胜 姚放吾.基于i.MX21的AdHoc网络终端的设计与实现[J].计算机技术与发展,2010,(01):4.
　HOU Zhan-sheng,YAO Fang-wu.Design and Realization of AdHoc Network Terminal Based on i.MX21[J].,2010,(05):4.
[2]宋亮 原亮 满梦华.军用嵌入式系统中PCB设计与测试规范研究[J].计算机技术与发展,2010,(01):232.
　SONG Liang,YUAN Liang,MAN Meng-hua.Study of PCB Design and Testing Standards in Embedded Systems for Military Usage[J].,2010,(05):232.
[3]张军 尚敏 卢宁 吴晓阳.嵌入式机电设备典型系统平台研究[J].计算机技术与发展,2010,(04):228.
　ZHANG Jun,SHANG Min,LU Ning,et al.Research of Electro- Mechanical Equipment Typical System Platform Based on Embedded Technology[J].,2010,(05):228.
[4]杨杰 刘锋 张义超 王天生.基于工程化流程的一种嵌入式系统开发方法[J].计算机技术与发展,2009,(12):105.
　YANG J ie,LIU Feng,ZHANG Yi-chao,et al.Embedded System Development Method Based on Engineering Conception[J].,2009,(05):105.
[5]何振兴 熊健民 刘幺和 宋庭新.基于WSN的实时监控系统的研究[J].计算机技术与发展,2009,(12):229.
　HE Zhen-xing,XIONG Jian-min,LIU Yao-he,et al.Research of Remote Real - Time Monitoring System Based on WSN[J].,2009,(05):229.
[6]刘军 马文丽 姚文娟 郑文岭.基于嵌入式Web服务器病人监护系统设计[J].计算机技术与发展,2009,(01):187.
　LIU Jun,MA Wen-li,YAO Wen-juan,et al.Design of Remote Care System Based on Embedded Web Server[J].,2009,(05):187.
[7]刘金祥 王京仁.μCLinux在实时监控系统中的应用研究[J].计算机技术与发展,2009,(03):220.
　LIU Jin-xiang,WANG Jing-ren.Research on μCLinux Applied in Real Time Monitoring System[J].,2009,(05):220.
[8]张炯 吕紫旭 刘栋 金惠华.实时操作系统ThreadX剖析[J].计算机技术与发展,2008,(01):22.
　ZHANG Jiong,LU Zi-xu,LIU Dong,et al.Analysis of Real Time Operating System： ThreadX[J].,2008,(05):22.
[9]鲁艳 马旭东 问治国 黄艳.基于Linux—MiniGUI嵌入式系统监控管理软件开发[J].计算机技术与发展,2008,(06):179.
　LU Yan,MA Xu-dong,WEN Zhi-guo,et al.Development of Embedded System Management Software Based on Linux- MiniGUI[J].,2008,(05):179.
[10]王恒 李勇 王泉 赵双.基于IEEE 802．11b和CDMA网的多路监控系统的设计与实现[J].计算机技术与发展,2008,(06):192.
　WANG Heng,LI Yong,WANG Quan,et al.Design and Implementation of a Multi- Channel Monitoring System Based on IEEE 802. 11b and CDMA Networks[J].,2008,(05):192.

更新日期/Last Update: 1900-01-01