Abstract
Testing has traditionally been one of the main techniques contributing to high software dependability and quality. Each stage in software development has a corresponding testing activity. Testing activity consumes about 50% of software development resources, so any technique aiming at reducing software-testing costs is likely to reduce software development costs. Proposed by NASA in 1994, the Modified Condition/Decision Coverage (MC/DC) criterion is a testing strategy required, among other practices, by the RTCA DO-178B. MC/DC is a white box testing criterion aiming at proving evidence that all clauses involved in a predicate can influence the predicate value in the required way. It subsumes other well-known coverage criteria such as statement and decision coverage. Our work involves a thorough study of the MC/DC criterion and our approach is organized in the following way. We automate the generation of number of test cases required to satisfy the MC/DC criterion. To this end we develop a generic algorithm that would for any given predicate, compute the minimum number of test cases that would cover the MC/DC criterion for this predicate.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
