Please use this identifier to cite or link to this item:
Title: Enhanced Modified Condition/Decision Coverage Using Exclusive-Nor Code Transformer
Authors: Godboley, S
Prashanth, G S
Mohapatra, D P
Majhi, B
Keywords: MC/DC
concolic testing
CREST tool
program code transformer
coverage analyzer
Issue Date: Mar-2013
Citation: Proceedings of 2013 IEEE International Multi Conference on Automation, Computing, Control, Communication and Compressed Sensing (IMAC4S), School of Electronics, Date - 22nd - 23rd March 2013, Palai, Kottayam, India.
Abstract: In regulated domains such as aerospace and safety critical domains, software quality assurance is subjected to strict regulations such as the DO-178B standard. MC/DC is a white box software testing criteria aiming to prove all the conditions involved in a predicate that can influence the predicate value in the desired way. Though MC/DC is a coverage criterion, existing automated test data generation approaches like CONCOLIC testing do not support MC/DC. In this paper, we propose an automated technique to generate a test suite that helps in achieving an increase in MC/DC coverage of a program under test. We use code transformation technique which consists of two steps: identification of predicates and generation of empty truefalse if-else statements. The empty conditional statements are based on the concepts of exclusive nor (X-NOR) operations. This transformed program is inserted into the CREST TOOL. It drives CREST TOOL to generate test suite and increase the MC/DC coverage. Our technique helps to achieve a significant increase in MC/DC coverage as compared to traditional CONCOLIC testing.
Description: Copyright belongs to IEEE
Appears in Collections:Conference Papers

Files in This Item:
File Description SizeFormat 
411.pdf711.77 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.