Dy-COPECA: A Dynamic Version of MC/DC Analyzer for C Program

Sangharatna Godboley, Arpita Dutta

2021

Abstract

RTCA/DO-178B&C standards mandate Modified Condition / Decision Coverage (MC/DC) criterion for level-A category software. In critical safety system applications such as Aircraft or Metro Rail controller systems, etc., testing engineers have to produce the MC/DC report. There are several MC/DC analyzers, which are either automated or partially-automated available. Some of the existing analyzers do not consider the dependencies of Predicates/Decisions on each other. These analyzers process each predicate individually based on MC/DC criterion. They use test cases to identify the total number of atomic conditions present in a decision which influence the output of whole decision. In this paper, we overcome the limitations of some of the existing techniques. We propose an approach, which execute the whole program along with unit test cases at run time to compute MC/DC score. This dynamic mechanism solves the dependency relation between the variables appearing at different predicates and their branch statements in a single run. We have developed Dynamic COverage PErcentage CAlculator (Dy-COPECA) using C and Java language to process C-programs. We have improved the MC/DC by 42.88% through dynamic MC/DC analysis as compared to static analysis for the example C-program.

Paper Citation

in Harvard Style

Godboley S. and Dutta A. (2021). Dy-COPECA: A Dynamic Version of MC/DC Analyzer for C Program. In Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-508-1, pages 197-204. DOI: 10.5220/0010401501970204

in Bibtex Style

@conference{enase21,
author={Sangharatna Godboley and Arpita Dutta},
title={Dy-COPECA: A Dynamic Version of MC/DC Analyzer for C Program},
booktitle={Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2021},
pages={197-204},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010401501970204},
isbn={978-989-758-508-1},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - Dy-COPECA: A Dynamic Version of MC/DC Analyzer for C Program
SN - 978-989-758-508-1
AU - Godboley S.
AU - Dutta A.
PY - 2021
SP - 197
EP - 204
DO - 10.5220/0010401501970204