Browse > Article
http://dx.doi.org/10.5762/KAIS.2010.11.11.4460

Analysis of S/W Test Coverage Automated Tool & Standard in Railway System  

Jo, Hyun-Jeong (Division of Train Control & Communication Research, Korea Railroad Research Institute)
Hwang, Jong-Gyu (Division of Train Control & Communication Research, Korea Railroad Research Institute)
Shin, Seung-Kwon (Division of Ultra High Speed Rail, Korea Railroad Research Institute)
Oh, Suk-Mun (Office of Policy & Strategy, Korea Railroad Research Institute)
Publication Information
Journal of the Korea Academia-Industrial cooperation Society / v.11, no.11, 2010 , pp. 4460-4467 More about this Journal
Abstract
Recent advances in computer technology have brought more dependence on software to railway systems and changed to computer systems. Hence, the reliability and safety assurance of the vital software running on the embedded railway system is going to tend toward very critical task. Accordingly, various software test and validation activities are highly recommended in the international standards related railway software. In this paper, we presented an automated analysis tool and standard for software testing coverage in railway system, and presented its result of implementation. We developed the control flow analysis tool estimating test coverage as an important quantitative item for software safety verification in railway software. Also, we proposed judgement standards due to railway S/W Safety Integrity Level(SWSIL) based on analysis of standards in any other field for utilizing developed tool widely at real railway industrial sites. This tool has more advantage of effective measuring various test coverages than other countries, so we can expect railway S/W development and testing technology of real railway industrial sites in Korea.
Keywords
Railway systems; Software testing; Test coverage; Safety integrity level(SIL);
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
1 황종규, 조현정, 김형신, "열차제어시스템 소프트웨어 안전성 평가도구의 설계", 한국철도학회 논문집, 제11권 제2호, pp. 139-144, 2008. 4.   과학기술학회마을
2 IEEE Std. 1008-1997, "Software Unit Testing", 1997.
3 IEEE Std. 829-1998, "Software Test Documentation", 1998.
4 IEEE Std. 1012-2004, "Software Verification and Validation", 2004.
5 IEC std. 60880-2006, "Software aspects for computer-based systems performing category A functions", 2006.
6 RTCA/DO-178B, "Software considerations in airborne systems and equipment certification", 1992.
7 Arnaud Dupuy and Nancy Leveson, "An Empirical Evaluation of the MC/DC Coverage Criterion on the HETE-2 Satellite Software", Proceedings of DASC (Digital Aviation Systems Conference), Phildelphia, 2000. 10.
8 Peter G Bishop, "MC/DC based estimation and detection of residual faults in PLC logic networks", 14th IEEE International Symposium on Software Reliability Engineering(ISSRE), Denver, Colorado, 2003. 11.
9 박무혁. "항공용 S/W 개발 및 인증 기술동향", 항공우주산업기술동향 5권1호, pp. 15-24, 2007.   과학기술학회마을
10 IEC 61508, "Railway Applications - The specification and demonstration of RAMS", 1998.
11 IEC 62279, "Railway Applications - Software for railway control and protection systems", 2002.
12 철도안전법[법률 8852호], 일부개정 2008. 02.
13 M. Fewstar, D. Graham, "Software Testing Automation: Effective use of test execution tools", ACM Press, Addison Wesley, 1999.
14 J.D. Lawrence, "Software qualification in safety applications", Reliability Engineering & System Safety, Vol. 70, No. 2., pp. 167-184, 2000.   DOI