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) |
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 |