E. A. Gerlits
Price: 50 руб.
MC/DC is a test coverage criterion which is usually applied in testing safety critical software including embedded software and especially dealing with avionics software. In this article, we discuss some practical issues connected with test coverage measurement for MC/DC written in C programming language and come up with the solutions to them. Chosen solutions infl uence on the quality of testing. The given article includes the part of our research wherein we perform testing of MC/DC
coverage analysis tools for C/C++.
Keywords: MC/DC, test coverage criterion, DO-178B, C language, avionics software, testing
REFERENCES
1. DO-178B: Software considerations in airborne systems and equipment certifi cation,
1992.
2. DO-248B: Final report for clarifi cation of DO-178B ”Software considerations in airborne systems and equipment certifi cation”, 2001.
3. CAST position paper 10: What is a Decision in application of Modifi ed Condition Decision Coverage (MCDC) and Decision Coverage (DC), 2002.
4. CAST position paper 6: Rationale for accepting masking MCDC in certifi cation projects, 2002.
5. CAST position paper 17: Structural coverage of object code, 2003.
6. Ammann P., Offutt J., and Huang H. Coverage criteria for logical expressions. In Proceedings of the 14th International Symposium on Software Reliability Engineering, ISSRE’03, page 99. IEEE Computer Society Washington, DC, USA, November 2003. DOI: 10.1109/ISSRE.2003.1251034.
7. Beizer B. Software Testing Techniques, Second Edition. The Coriolis Group, AZ, USA,
1990. ISBN: 1850328803.
8. Chilenski J. An investigation of three forms of the modifi ed condition decision coverage (mcdc) criterion. Technical Report DOT/FAA/AR-1/18, Offi ce of Aviation Research, Washington, D.C., 2001.
9. Chilenski J. J. and Miller S. Applicability of Modifi ed Condition Decision Coverage to
software testing. Software Engineering Journal, 7(5), 1994. DOI: 10.1049/sej.1994.0025.
10. Dupuy A. and Leveson N. An empirical evaluation of the MCDC coverage criterion on
the HETE-2 satellite software. In Proceedings of the 19th Digital Avionics Systems Conference, 19th DASC. IEEE Operations Center, NJ, USA, October 2000.
11. Hayhurst K. J. and Veerhusen D. S. A practical approach to Modifi ed Condition Decision Coverage. In Proceedings of the 20th Digital Avionics Systems Conference, 20th DASC. IEEE Operations Center, NJ, USA, October 2001. DOI: 10.1109/DASC.2001.963305.
12. Hayhurst K. J., Veerhusen D. S., Chilenski J. J., and Rierson L. K. A practical tutorial on Modifi ed Condition Decision Coverage. Technical Report NASA/TM-2001-210876, Langley Research Center, Hampton, Virginia, 2001.
13. IBM. Test RealTime tool. [online]. http://www.ibm.com/.
14. IEC ISO. ISO/IEC 9899:1990 programming languages C, 1990.
15. IEC ISO. ISO/IEC 9899:1999 programming languages C, 1999.
16. K. Kapoor and J.P. Bowen. Experimental evaluation of the variation in effectiveness for DC, FPC and MC/DC test criteria. In Proceedings of the International Symposium on Empirical Software Engineering, ISESE ’03, page 185. IEEE Computer Society Washington, DC, USA, September-October 2003. DOI: 10.1109/ISESE.2003.1237977.
17. LDRA. TBsafe tool. [online]. http://www.ldra.com/.
18. Parasoft. C/C++Test tool. [online]. http://www.parasoft.com/.
19. Rajan A., Whalen M. W., and Heimdahl M. P. E. The effect of program and model structure on MC/DC test adequacy coverage. In Proceedings of the 13th international conference on software engineering, ICSE ’08, pages 161-170. ACM New York, NY, USA, May 2008. DOI: 10.1145/1368088.1368111.
20. Santhanam V., Chilenski J.J., Waldrop R., Leavitt T., and Hayhurst K. J. Software
verifi cation tools assessment study. Technical Report DOT/FAA/AR-06/54, Offi ce of Aviation Research, Washington, D.C., 2007.
21. QA Systems. Cantata tool. [online]. http://www.qa-systems.com/.
22. Testwell. Testwell CTC++ tool. [online]. http://www.testwell.fi /.
23. 23. Yu Y. T. and Lau M. F. Comparing several coverage criteria for detecting faults in
logical decisions. In Proceedings of the Quality Software, Fourth International Conference, QSIC ’04, pages 14–21. IEEE Computer Society Washington, DC, USA, September 2004.
