Please use this identifier to cite or link to this item: http://hdl.handle.net/2080/1948
Full metadata record
DC FieldValueLanguage
dc.contributor.authorGodboley, S-
dc.contributor.authorPrashanth, G S-
dc.contributor.authorMohapatra, Durga Prasad-
dc.contributor.authorMajhi, B-
dc.date.accessioned2013-05-17T06:11:27Z-
dc.date.available2013-05-17T06:11:27Z-
dc.date.issued2013-03-
dc.identifier.citationProceedings 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.en
dc.identifier.urihttp://hdl.handle.net/2080/1948-
dc.descriptionCopyright belongs to IEEEen
dc.description.abstractIn 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.en
dc.format.extent728853 bytes-
dc.format.mimetypeapplication/pdf-
dc.language.isoen-
dc.subjectMC/DCen
dc.subjectconcolic testingen
dc.subjectCREST toolen
dc.subjectprogram code transformeren
dc.subjectcoverage analyzeren
dc.titleEnhanced Modified Condition/Decision Coverage Using Exclusive-Nor Code Transformeren
dc.typeArticleen
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.