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

Full description

Saved in:
Bibliographic Details
Published in2013 3rd IEEE International Advance Computing Conference (IACC) pp. 1400 - 1407
Main Authors Godboley, Sangharatna, Prashanth, G. S., Mohapatro, D. P., Majhi, B.
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.02.2013
Subjects
concolic testing
Concrete
Conferences
coverage analyzer
CREST tool
Instruments
MC/DC
program code transformer
Software
Software testing
Online AccessGet full text

Cover

More Information
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