Ivannikov Institute for System Programming of the RAS


MC/DC Coverage Measurement of C Programs.

Authors

E.A. Gerlits.

Abstract

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++.

Full text of the paper in pdf

Keywords

MC/ DC, test coverage criterion, DO-178B, C language, avionics software, testing

Edition

HUMANITIES & SCIENCE UNIVERSITY JOURNAL №5 (2013), pp. 203-210.

Research Group

Software Engineering

All publications during 2013 All publications