전기학회논문지P (The Transactions of the Korean Institute of Electrical Engineers P)

  • 제64권3호
  • /
  • Pages.138-142
  • /
  • 2015
  • /
  • 1229-800X(pISSN)
  • /
  • 2586-7792(eISSN)
대한전기학회 (The Korean Institute of Electrical Engineers)
권호 표지
DOI QR코드

DOI QR Code

철도신호 소프트웨어 테스팅을 위한 MSC 기반 테스트케이스 생성 모듈

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)
  • 투고 : 2015.07.24
  • 심사 : 2015.08.16
  • 발행 : 2015.09.01
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

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.

키워드

참고문헌

  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. https://doi.org/10.14257/ijseia.2013.7.6.21
  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