Browse > Article
http://dx.doi.org/10.5370/KIEEP.2015.64.3.138

MSC-based Test-case Generation Module for Railway Signaling Software Testing  

Hwang, Jong-Gyu (Railroad Safety Certification Center, Korea Railroad Research Institute)
Baek, Jong-Hyun (Metropolitan Transportation Research Center, Korea Railroad Research Institute)
Publication Information
The Transactions of the Korean Institute of Electrical Engineers P / v.64, no.3, 2015 , pp. 138-142 More about this Journal
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.
Keywords
MSC; TTCN-3; Railway signaling system; Software testing;
Citations & Related Records
Times Cited By KSCI : 2  (Citation Analysis)
연도 인용수 순위
1 Korea Railroad Research Institute, "Development of safety assessment technology for railway signaling system", MOCT R&D research report, June 2011.
2 Korea Railroad Research Institute, "Development of technology for safety and efficiency improvement of train operation", KRRI research report, Dec. 2014.
3 LDRA, http://www.ldra.com/
4 CodeScroll InspectorTM, http://www.surecofttech.com
5 J.G.Hwang, H.J.Jeong and B.H.Kim, "Results of Coding Rules Testing of Train Control System Software", International Journal of Software Engineering and Its Applications, Vol.7, No.3, pp.249-257, 2013.   DOI
6 J.G. Hwang, J.H.Baek, and H.J.Jo, "Interoperability test methodology for train control system using interface channels", CMEM 2015 international conference proceeding, May. 1015.
7 J.G. Hwang, et al, "Architecture of software testing tool for railway signaling through actual use interface channel", The Journal of Korea Information and Communication Society, Vol.39A, No.9, pp.880-886, 2014.
8 John Wiley & Sons, Ltd., "An introduction to TTCN-3"
9 Colin Willcock, "An introduction to TTCN-3, 2nd Edition", Wiley, 2011
10 http://www.ttcn-3.org/index.php/downloads/standards
11 B. K. Song and S. H. Lee, "The development of interoperability tester for the IEC 61850 based on TTCN-3", Jouranl of IKEEE, Vol. 14, No. 3, 2010.
12 H. S. Kim, H. S. Bae, and et al, "Development of a testing environment for parallel programs based on MSC specifications", KIISE Transactions on Computing Practices, Vol.6, No. 2,pp. 135-149, 2000.
13 E. Rudolph, J. Grabowski, and P. Graubmann, "Tutorial on Message Sequence Charts(MSC'96)", Tutorial of FORTE/PSTV'96 conference proceedings, Oct. 1996.
14 ITU-T, "Recommendation X.120 : Message Sequence Chart(MSC)", Setp. 1994.
15 J. Graowski, D. Hogrefe, I. Nussbaumer, and A. Spichiger, "Test case specifications based on MSCs and ASN.a," Proc. of the Seventh SDL Forum 1995, pp.307-322, 1995.
16 Telelogic Tau, http://www.telecogic.com
17 ObjectGEODE, http://www.csverilog.org
18 H.S Bae and Y. R.Kwon, "Validation of timing anf communication constraints in real-time parallel programs", Phd. Dissertation in Computer Science, KAIST, 1999.
19 N. H. Lee and et al, "MSCTest : an automated testing tool for embedded software", Journal of Korea Information Science Society Computing Practice, Vol. 6, No. 2, pp.187-195, April 2000