Please use this identifier to cite or link to this item:
http://hdl.handle.net/2080/1873
Title: | Increase in Modified Condition/Decision Coverage Using Program Code Transformer |
Authors: | Godboley, S Prashanth, G S Mohapatro, D P Majhi, B |
Keywords: | MC/DC concolic testing CREST tool program code transformer coverage analyzer |
Issue Date: | 2013 |
Citation: | IEEE International Advance Computing Conference (IACC), 2013 |
Abstract: | 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 QUINEMcMLUSKY 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. |
Description: | Copyright belongs to IEEE |
URI: | http://hdl.handle.net/2080/1873 |
ISSN: | 978-1-4673-4529-3 |
Appears in Collections: | Conference Papers |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
PID2637179.pdf | 708.54 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.