Test Case Generation for Train Communication Devices Based on Interface Automata

YU Lian,LI Jun-long,BAI Xiao-ying,LIU Xin,WU Zhong-hai
DOI: https://doi.org/10.3969/j.issn.1673-629X.2013.05.001
2013-01-01
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 network.Therefore,propose a way to extend interface automata to support the demand of asychronous message communication for train communication device;model the communication components of the train communication network and their interactions;with this model,generate 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.
What problem does this paper attempt to address?