Increase in Modified Condition/Decision Coverage using program code transformer
Modified Condition / Decision Coverage (MC / DC) is a white box testing criteria aiming to prove that all conditions involved in a predicate can influence the predicate value in the desired way. Though MC/DC is a standard coverage criterion, existing automated test data generation approaches like CO...
Saved in:
Published in | 2013 3rd IEEE International Advance Computing Conference (IACC) pp. 1400 - 1407 |
---|---|
Main Authors | , , , |
Format | Conference Proceeding |
Language | English |
Published |
IEEE
01.02.2013
|
Subjects | |
Online Access | Get full text |
Cover
Loading…
Summary: | Modified Condition / Decision Coverage (MC / DC) is a white box testing criteria aiming to prove that all conditions involved in a predicate can influence the predicate value in the desired way. Though MC/DC is a standard coverage criterion, existing automated test data generation approaches like CONCOLIC testing do not support MC/DC. To address this issue we present an automated approach to generate test data that helps to achieve an increase in MC/DC coverage of a program under test. We use code transformation techniques which consist of the following major steps: Identification of predicates, Simplification of sum of product by QUINE-McMLUSKY method, and generating empty true-false if-else statements. This transformed program is inserted into the CONCOLIC tester (CREST TOOL) to generate test data for increased MC/DC coverage. Our approach helps to achieve an increase in MC/DC coverage as compared to the traditional CONCOLIC testing. |
---|---|
ISBN: | 9781467345279 146734527X |
DOI: | 10.1109/IAdCC.2013.6514432 |