计算机技术与发展
計算機技術與髮展
계산궤기술여발전
COMPUTER TECHNOLOGY AND DEVELOPMENT
2013年
5期
1-5
,共5页
郁莲%李军龙%白晓颖%刘鑫%吴中海
鬱蓮%李軍龍%白曉穎%劉鑫%吳中海
욱련%리군룡%백효영%류흠%오중해
嵌入式系统%列车通信网络%接口自动机
嵌入式繫統%列車通信網絡%接口自動機
감입식계통%열차통신망락%접구자동궤
embedded systems%train communication network%interface automata
列车通信设备是一种嵌入式系统.有效地测试这类设备是列车运行系统质量保证的重要手段.嵌入式系统测试的重要任务之一是有效地生成测试用例.文中提出基于接口自动机(Interface Automata)技术自动生成列车通信设备的测试用例.现有的接口自动机技术只支持同步消息的发送与接收,而列车通信设备还需要处理异步消息的发送与接收.为此,文中对接口自动机理论进行了扩展,以便支持列车通信设备异步消息通信的需求.依据列车通信网络的规范,文中使用扩展了的接口自动机对列车通信模块及通信模块的组合作了形式化建模,依据测试覆盖准则,自动生成测试序列,并利用模型驱动技术自动生成测试脚本.文中比较了手工生成测试用例方法及所提出的自动生成测试用例技术,展示后者从测试覆盖、时间节约方面的有效性.
列車通信設備是一種嵌入式繫統.有效地測試這類設備是列車運行繫統質量保證的重要手段.嵌入式繫統測試的重要任務之一是有效地生成測試用例.文中提齣基于接口自動機(Interface Automata)技術自動生成列車通信設備的測試用例.現有的接口自動機技術隻支持同步消息的髮送與接收,而列車通信設備還需要處理異步消息的髮送與接收.為此,文中對接口自動機理論進行瞭擴展,以便支持列車通信設備異步消息通信的需求.依據列車通信網絡的規範,文中使用擴展瞭的接口自動機對列車通信模塊及通信模塊的組閤作瞭形式化建模,依據測試覆蓋準則,自動生成測試序列,併利用模型驅動技術自動生成測試腳本.文中比較瞭手工生成測試用例方法及所提齣的自動生成測試用例技術,展示後者從測試覆蓋、時間節約方麵的有效性.
열차통신설비시일충감입식계통.유효지측시저류설비시열차운행계통질량보증적중요수단.감입식계통측시적중요임무지일시유효지생성측시용례.문중제출기우접구자동궤(Interface Automata)기술자동생성열차통신설비적측시용례.현유적접구자동궤기술지지지동보소식적발송여접수,이열차통신설비환수요처리이보소식적발송여접수.위차,문중대접구자동궤이론진행료확전,이편지지열차통신설비이보소식통신적수구.의거열차통신망락적규범,문중사용확전료적접구자동궤대열차통신모괴급통신모괴적조합작료형식화건모,의거측시복개준칙,자동생성측시서렬,병이용모형구동기술자동생성측시각본.문중비교료수공생성측시용례방법급소제출적자동생성측시용례기술,전시후자종측시복개、시간절약방면적유효성.
@@@@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.