Browse > Article
http://dx.doi.org/10.3745/KIPSTD.2009.16D.6.911

Automated Black-Box Test Case Generation for MC/DC with SAT  

Chung, In-Sang (한성대학교 컴퓨터공학과)
Publication Information
The KIPS Transactions:PartD / v.16D, no.6, 2009 , pp. 911-920 More about this Journal
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.
Keywords
Program Testing; Automated Test Data Generation; MC/DC; SAT;
Citations & Related Records
Times Cited By KSCI : 2  (Citation Analysis)
연도 인용수 순위
1 김형태, “소프트웨어 테스트 커버리지 요건 및 규제방향”, NUPIC 2009 제1회 원전계측제어 심포지움, 충무 마리나리조트, Nov., 2009
2 RTCA/DO-178B, “Software Considerations in Airborne Systems and Equipment Certification,” RTCA, Washington D.C., 1972
3 K. J. Hayhurst, D. D. Veerhusen, J. J. Chilenski, and L. K. Rierson, “A Practical Approach to Modified Condition/ Decision Coverage,” Proc. the 20th Digital Avionics Systems Conf.(DASC), pp. 1B2/1-1B2/10, FL., USA, Oct., 2001
4 A. Dupuy and N. Leveson, “An Empirical Evaluation of the MC/DC Coverage Criterion on the HETE-2 Satellite Software,” Proc. the 19th Digital Avionics Systems Conf.(DASC), Phil., USA., RTCA, Washington D.C., Oct., 2000
5 K. Kapoor and J. Bowen, “Experimental Evaluation of the Variation in Effectiveness for DC, FPC and MC/DC Test Criteria,” Proc. the 2003 International Symp. on Empirical Software Eng.(ISESE), pp.185-194, 2003
6 E. Goldgerg and Y. Nivikov, “BerkMin: A Fast and Robust SAT solver,” In DATE, pp.142-149, 2002
7 J. P. Marques-Silva and K. A. Sakallah, “GRASP: A Search Algorithm for Propositional Satisfiability,” IEEE Trans.. on Computers, Vol.48, pp.506-521, 1999   DOI   ScienceOn
8 http://www.sat4j.org
9 A. P. Mathur, 'Foundations of Software Testing,' 1st ED., Addison-Wesley, 2008
10 J. J. Chilenski, “An Investigation of Three Forms of the Modified Condition Decision Coverage(MCDC) Criterion,” Technical Report DOT/FAA/AR-01/18, , US Depart. of Transportation, Washington, DC., 2001
11 정인상., “SAT에 기반한 포인터가 있는 프로그램을 위한 목적지향 테스트 데이터 생성”, 인터넷정보학회논문지, 제9권 2호, pp.89-105, 2008   과학기술학회마을
12 정인상., “SAT를 기반으로 하는 플래그 변수가 있는 프로그램테스팅을 위한 테스트 데이터 자동 생성”, 정보처리학회논문지, 제16-D권 제3호, pp.371-380, 2009   과학기술학회마을   DOI   ScienceOn
13 J. Edvardsson, “A Survey on Automatic Test Data Generation”, In Proc. the Second Conf. on Computer Science and Engineering, pp.21-28, 1999
14 E. Weyuker, T. Goradia, A. Singh, “Automatically Generating Test Data from a Boolean Specification”, IEEE Trans. on Software Eng., Vol.20, No.5, pp.353-363, 1994   DOI   ScienceOn
15 I.S. Chung and J. M. Bieman, “Generating Input Data Structures for Automated Program Testing”, Software Testing, Verification and Reliability, Vol.19, pp.3-36, 2009   DOI   ScienceOn
16 M. Harman, R. Hu, R. Hierons, A. Baresel, and M. Sthamer, “Improving Evolutionary Testing by Flag Removal”, Information and Software Test Technology, Vol.43, No.14, pp.841-854, 2001   DOI   ScienceOn
17 S. A. Cook, “The Complexity of Theorem-Proving Procedures”, In. Proc. 3rd ACM Symp. on Theory of Computing, pp.151-158, 1971
18 G. Kaminski, G. Williams, and P. Ammann, “Reconciling Perspectives of Software logic Testing”, Software Testing, Verification and Reliability, Vol.18, pp.149-188, 2008   DOI   ScienceOn
19 D. Jackson, “Alloy: A light weight object modeling notation”, Technical Report 797, MIT Lab for Computer Science, Feb., 2000
20 M. W. Moskewicz, Y. Zhao, L. Zhang, and Malik, “Chaff: Engineering an Efficient SAT solver," In Proc. 38th Design Automation Conference(DAC), pp.530-535, 2001   DOI
21 N. K. Jha and S. Gupta, 'Testing of Digital Systems', 1st ED., Cambridge University Press, 2003
22 ftp://dimacs.rutgers.edu/pub/challenge/satisfiability/doc/satformat.dvi