Please use this identifier to cite or link to this item:
http://hdl.handle.net/2080/1948
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Godboley, S | - |
dc.contributor.author | Prashanth, G S | - |
dc.contributor.author | Mohapatra, Durga Prasad | - |
dc.contributor.author | Majhi, B | - |
dc.date.accessioned | 2013-05-17T06:11:27Z | - |
dc.date.available | 2013-05-17T06:11:27Z | - |
dc.date.issued | 2013-03 | - |
dc.identifier.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. | en |
dc.identifier.uri | http://hdl.handle.net/2080/1948 | - |
dc.description | Copyright belongs to IEEE | en |
dc.description.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. | en |
dc.format.extent | 728853 bytes | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | en | - |
dc.subject | MC/DC | en |
dc.subject | concolic testing | en |
dc.subject | CREST tool | en |
dc.subject | program code transformer | en |
dc.subject | coverage analyzer | en |
dc.title | Enhanced Modified Condition/Decision Coverage Using Exclusive-Nor Code Transformer | en |
dc.type | Article | en |
Appears in Collections: | Conference Papers |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.