MC/DC Coverage Measurement of C Programs.
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++.
HUMANITIES & SCIENCE UNIVERSITY JOURNAL №5 (2013), pp. 203-210.