loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Sangharatna Godboley 1 and Arpita Dutta 2

Affiliations: 1 Department of CSE, NIT Warangal, Telangana, India ; 2 Department of CSE, IIT Kharagpur, West Bengal, India

Keyword(s): MC/DC, Test Cases, Software Testing, Static MC/DC Analysis, Dynamic MC/DC Analysis.

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 th eir 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. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.144.95.36

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 - ENASE; ISBN 978-989-758-508-1; ISSN 2184-4895, SciTePress, pages 197-204. DOI: 10.5220/0010401501970204

@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 - ENASE},
year={2021},
pages={197-204},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010401501970204},
isbn={978-989-758-508-1},
issn={2184-4895},
}

TY - CONF

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