| Title |
MSC-based Test-case Generation Module for Railway Signaling Software Testing |
| Authors |
황종규(Hwang, Jong-Gyu) ; 백종현(Baek, Jong-Hyun) |
| DOI |
https://doi.org/10.5370/KIEEP.2015.64.3.138 |
| Keywords |
MSC ; TTCN-3 ; Railway signaling system ; Software testing |
| Abstract |
Most of the existing studies on functional safety testing for the railway signaling system software have focused on verifying the functional safety through the monitoring of internal memory embedded railway signaling system. However, the railway signaling system is one of the typical embedded control system in the railway sector, and the embedded software has a characteristic of generating an appropriate outputs through the combination of internal processing in consideration of the current internal status and external input. Therefore, the test approach of using the interface communication channel can be effective way for the functional testing for railway signaling system software in consideration of these characteristic. Since a communication interface specification of the railway signal system has a the properties of the sequence input and output signals, test-case for software testing is the most effective methodology by MSC (Message Sequence Chart) language, one of the graphic language. The MSC-based test-case generating methodology for signaling system software was proposed in this paper. |