Please use this identifier to cite or link to this item:
http://hdl.handle.net/2080/1948
Title: | Enhanced Modified Condition/Decision Coverage Using Exclusive-Nor Code Transformer |
Authors: | Godboley, S Prashanth, G S Mohapatra, Durga Prasad 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 |
URI: | http://hdl.handle.net/2080/1948 |
Appears in Collections: | Conference Papers |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.