SAT를 이용한 MC/DC 블랙박스 테스트 케이스 자동 생성
Automated Black-Box Test Case Generation for MC/DC with SAT
0
조회
0
다운로드
1
인용
0
참고문헌
키워드
초록
항공 소프트웨어가 FAA(미국연방항공청)에 승인받기 위해서는 DO-178B 표준에 따라야 한다. DO-178B에서는 안전 필수 소프트웨어의 단위 테스트가 MC/DC 기준을 만족하기를 요구하고 있다. MC/DC에 따른 테스트는 안전성과 관련된 오류를 효과적으로 찾을 수 있는 수단으로 알려져 있지만 MC/DC를 만족하는 테스트 케이스를 생성하는 작업이 용이하지 않는 것도 사실이다. 이 논문에서는 MD-SAT이라고 명명한 SAT(SATisfiability) 기술을 사용하여 MC/DC를 만족하는 테스트 케이스를 자동으로 생성하는 도구에 대해 소개한다. 이 도구는 결정표 기반 테스트, 인과 그래핑 및 상태 전이 테스트 방법을 구현한 도구에서 보다 다양한 테스트 케이스 생성을 위해 사용될 수 있다.
Abstract
Airbone software must comply the DO-178B standard in order to be certified by the FAA. The standard requires the unit testing of safety-critical software to meet the coverage criterion called MC/DC(Modified Condition/Decision Coverage). Although MC/DC is known to be effective in finding errors related to safety, it is also true that generating test cases which satisfy the MC/DC criterion is not easy. This paper presents a tool named MD-SAT which generates MC/DC test cases with SAT(SATisfiability) technology. It can be employed for generating diverse test cases in tools implementing various testing techniques including decision table based test, cause-effect graphing, and state-based test.
참고문헌 (22)
- "RTCA", DO-178B, Software Considerations in Airborne Systems and Equipment Certification, RTCA, 1972
- K. J. Hayhurst, "A Practical Approach to Modified Condition", Decision Coverage, 2001, 1B2[DOI]
- A. Dupuy, "An Empirical Evaluation of the MC", DC Coverage Criterion on the HETE-2 Satellite Software, 2000, ~
- K. Kapoor, "Experimental Evaluation of the Variation in Effectiveness for DC, FPC and MC", DC Test Criteria, 2003, 185~194
- 김형태, "소프트웨어 테스트 커버리지 요건 및 규제방향", NUPIC 2009 제1회 원전계측제어 심포지움 (2009), 충무 마리나리조트
- M. W. Moskewicz, "Chaff: Engineering an Efficient SAT solver", Proc. 38th Design Automation Conference(DAC), pp.530~535 (2001)
- E. Goldgerg, "BerkMin: A Fast and Robust SAT solver", DATE, pp.142~149 (2002)
- J. P. Marques-Silva, "GRASP: A Search Algorithm for Propositional Satisfiability", IEEE Trans.. on Computers, 48, pp.506~521 (1999)
- A. P. Mathur, "Foundations of Software Testing, 1st ED" (2008), Addison-Wesley
- An Investigation of Three Forms of the Modified Condition Decision Coverage(MCDC) Criterion, "J. J. Chilenski", US Depart. of Transportation, ~, pp.Technical Report DOT (2001), FAA[DOI]
- 정인상, "SAT에 기반한 포인터가 있는 프로그램을 위한목적 지향 테스트 데이터 생성", 인터넷정보학회논문지, 9(2), pp.89~105 (2008), 한국인터넷정보학회
- 정인상, "SAT를 기반으로 하는 플래그 변수가 있는 프로그램 테스팅을 위한 테스트 데이터 자동 생성", 정보처리학회논문지D, 16(3), pp.371~380 (2009), 한국정보처리학회
- J. Edvardsson, "A Survey on Automatic Test Data Generation", Proc. the Second Conf. on Computer Science and Engineering, pp.21~28 (1999)
- I.S. Chung, "Generating Input Data Structures for Automated Program Testing", Software Testing, Verification and Reliability, 19, pp.3~36 (2009)
- M. Harman, "Improving Evolutionary Testing by Flag Removal", Information and Software Test Technology, 43(14), pp.841~854 (2001)
- S. A. Cook, "The Complexity of Theorem-Proving Procedures", Proc. 3rd ACM Symp. on Theory of Computing, pp.151~158 (1971)
- Alloy: A light weight object modeling notation, "D. Jackson", MIT Lab for Computer Science, ~, pp.Technical Report 797 (2000)
- N. K. Jha, "'Testing of Digital Systems, 1st ED" (2003), Cambridge University Press
- E. Weyuker, "Automatically Generating Test Data from a Boolean Specification", IEEE Trans. on Software Eng, 20(5), pp.353~363 (1994)
- G. Kaminski, "Reconciling Perspectives of Software logic Testing", Software Testing, Verification and Reliability, 18, pp.149~188 (2008)