Safety Critical System의 비정상 행위를 테스트하기 위한테스트 케이스 생성 기법
Test Case Generation to Verify Abnormal Behaviors forSafety Critical Systems
0
조회
0
다운로드
2
인용
0
참고문헌
키워드
초록
Safety Critical 시스템은 고장의 발생으로 인하여 심각한 인적 물적 손실을 유발할 수 있는 시스템을 말한다. 따라서 이러한 시스템의 안전성(Safety)을 보장하기 위하여 시스템의 모든 동작에서 비정상적인 행위를 보일 때, 이에 대한 적절한 대처가 가능하도록 강건한 소프트웨어 개발이 요구된다. 그러나 강건한(Robust) 소프트웨어의 개발을 위해서는 많은 비용이 요구되기도 하지만, 개발자가 모든 비정상적인 행위를 예측하여 소프트웨어를 개발하기는 매우 힘들다. 본 논문에서는 안전성이 중요한 소프트웨어의 비정상적인 행위를 테스트하기 위한 테스트 케이스를 개발하기 위한 기법을 제안한다. 즉, 정상적인 동작을 수행하는 경우에 대해서는 배제하고, 단지 비정상적인 경우에 해당되는 테스트 케이스만을 생성한다. 제안한 방법에 의거하여 생성된 테스트 케이스는 Safety Critical System의 운영 과정에서 발생할 수 있는 비정상적인 행위를 사전에 찾아낼 수 있을 것이다.
Abstract
Safety critical system is a system where human safety and property damage are dependent upon the correct operation of the system. Therefore, in order to develop robust and safe software, it is required to prepare the appropriate countermeasure to cope with abnormal behaviors of the system. However the development of robust software requires high cost, and also it is difficult to predict all possible cases of abnormal behaviors in the development. This paper suggests a technique to generate test case for the purpose of safety test when system behaves abnormally. Specially, our paper focuses on just abnormal cases with exclusion of normal cases. The test case generated by our technique can find the abnormal behaviors possible in field operation of safety critical system during the software development.
참고문헌 (19)
- Farooq, Usman, "Model Based Test Suite Minimization Using Metaheuristics", 석사, pp.2011
- 박현우, "항공기 통합 전자전장비의 운용효과도 측정을 위한 시뮬레이터 개발", 한국차세대컴퓨팅학회 논문지, 8(2), pp.73~86 (2012), 한국차세대컴퓨팅학회[DOI]
- Maier T., "FMEA and FTA to Support Safety Design of Embedded Software in Safety- Critical Systems", Proceedings of CSR 12th Annual Workshop on Safety and Reliability of Software Based Systems, pp.351~367 (1997)
- 권병규, "에러 처리 방식의 변환을 위한 확장된 C++ RTTI 연산자: exception_cast", 한국차세대컴퓨팅학회 논문지, 8(2), pp.25~36 (2012), 한국차세대컴퓨팅학회
- Steffen Helke, "Automating test case generation from Z specifications with Isabelle", The Z Formal Specification Notation, LNCS, 1212, pp.52~71 (1997)
- ChangSup Keum, "Generating Test Cases for Web Services Using Extended Finite State Machine", Testing of Communicating Systems, LNCS, 3964, pp.103~117 (2006)
- Desel, J., "Validation of information system models: Petri nets and test case generation", IEEE International Conference on Systems, Man, and Cybernetics (1997)
- 박기웅, "DEVS-Based Evaluation for a Proper Selection of Compression and Encryption in Ubiquitous Computing Environment", 한국차세대컴퓨팅학회 논문지, 4(2), pp.16~22 (2008), 한국차세대컴퓨팅학회
- Xuede Zhan, "A Formal Testing Framework for UML Statecharts", Eighth ACIS International Conference on SNPD, 3, pp.882~887 (2007)
- Chevalley, P., "Automated Generation of Statistical Test Cases from UML State Diagrams", 25th Annual International COMPSAC 200, 205(214), pp.205~214 (2001)
- Kim, Y. G., "Test cases generation from UML state diagrams", IEE Proceedings Software, 146(4), pp.187~192 (1999)
- Supaporn Kansomkeat, "Automated generating test case using UML statechart diagrams", Proceedings of the SAICSIT '03, pp.296~300 (2003)
- Tsai, W. T., "Scenario-based test case generation for state-based embedded systems", IEEE Performance, Computing, and Communications Conference 2003, pp.335~342 (2003)
- Farchi, E, "Using a model-based test generator to test for standard conformance", IBM Systems Journal (2002)
- R. Swain, "Automatic Test case Generation From UML State Chart Diagram", International Journal of Computer Applications, 42(7), pp.26~36 (2012)
- P. V.R. Murthy, "Test ready UML statechart models", Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools, pp.75~82 (2006)
- Designing state-based behavior:Statecharts, "Andrei Borshchev", AnyLogic, ~ (2010)
- G. Booch, "The Unified Modeling Language User Guide" (1999), Addison Wesley
- Alan Dennis, "Systems Analysis and Design with UML Version 2.0" (2004), WILEY John Wiley & Sons, Inc