Automatic Test Data Generation for C Programs

Bokil, Prasad; Darke, Priyanka; Shrotri, Ulka; Venkatesh, R.

doi:10.1109/ssiri.2009.53

Cited by 27 publications

(5 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In [12] automatic test data generation for testing of C programs at white box level for obtaining multiple coverage criteria including MCDC is covered. In [13], the authors have discussed about the extent of statement/branch and MC/DC coverage and the Fault Detection Rate (FDR) that can be achieved by executing CIT cases with strength varying from 2 to 5 on two subjects taken from SIR.…”

Section: B Mc/dc Coverage With Citmentioning

confidence: 99%

Automation of Combinatorial Interaction Test (CIT) Case Generation and Execution for Requirements based Testing (RBT) of Complex Avionics Systems

Sarla¹,

Ramadoss²

2018

ijacsa

View full text Add to dashboard Cite

In the field of avionics, most of the software systems are either safety critical or mission critical. These systems are developed with high quality standards strictly following the relevant guidelines and procedures. Due to the high criticality of the systems, it is mandatory that the verification and validation of these systems are done with utmost importance and only then any system is cleared for flight trials. The verification and validation activities need to be very exhaustive and hence take a considerable amount of time in the software development lifecycle. This paper describes about the innovative approach towards automation of Combinatorial Interaction Test case generation and execution for Requirements Based Testing of complex avionics systems for achieving test adequacy in a highly time efficient and cost efficient manner.

show abstract

Section: B Mc/dc Coverage With Citmentioning

confidence: 99%

Automation of Combinatorial Interaction Test (CIT) Case Generation and Execution for Requirements based Testing (RBT) of Complex Avionics Systems

Sarla¹,

Ramadoss²

2018

ijacsa

View full text Add to dashboard Cite

show abstract

“…Bokil et al . developed an AutoGen tool that automatically generated MC/DC test data input C program. AutoGen tool reduces the amount of efforts required to generate the test data.…”

Section: Literature Surveymentioning

confidence: 99%

“…DCT is implemented in SMCDCT to generate test cases for C programs. This technique is computationally more efficient as compared with non-distributed concolic testing techniques [3][4][5][9][10][11]. The coverage analyzer accepts the non-transformed program and the generated test cases as inputs and calculates the MC/DC percentage as output.…”

Section: Introductionmentioning

confidence: 99%

“…One prominent approach in this regard is improving the execution time through distributed concolic testing (DCT) . However, the DCT approach , as well as the other popular approaches, have focused on branch coverage . On the other hand, for testing safety critical applications, modified condition/decision coverage (MC/DC) coverage is an important criterion and has been mandated in DO178B .…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

An improved distributed concolic testing approach

Godboley

Mohapatra

Das

et al. 2016

Softw. Pract. Exper.

View full text Add to dashboard Cite

SUMMARYDistributed concolic testing (DCT) for complex programs takes a remarkable computational time. Also, the achieved modified condition/decision coverage (MC/DC) for such programs is often inadequate. We propose an improved DCT approach that reduces the computational time and simultaneously enhanced the MC/DC. We have named our approach SMCDCT (scalable MC/DC percentage calculator using DCT). Our experimental study on forty-five C programs indicates 6.62% of average increase in MC/DC coverage.

show abstract

“…Bokil et al [4] have proposed a tool AutoGen that reduces the cost and effort for test data preparation by automatically generating test data for C code. AutoGen takes the C code and a criterion such as statement coverage, decision coverage, or Modified Condition/Decision Coverage (MC/DC) as input and generates non-redundant test data that satisfies the specified criterion.…”

Section: Related Workmentioning

confidence: 99%

Enhanced modified condition/decision coverage using exclusive-nor code transformer

Godboley

Prashanth

Mohapatra

et al. 2013

2013 International Mutli-Conference on Automation, Computing, Communication, Control and Compressed Sensing (iMac4s)

View full text Add to dashboard Cite

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.

show abstract

Automatic Test Data Generation for C Programs

Cited by 27 publications

References 8 publications

Automation of Combinatorial Interaction Test (CIT) Case Generation and Execution for Requirements based Testing (RBT) of Complex Avionics Systems

Automation of Combinatorial Interaction Test (CIT) Case Generation and Execution for Requirements based Testing (RBT) of Complex Avionics Systems

An improved distributed concolic testing approach

Enhanced modified condition/decision coverage using exclusive-nor code transformer

Contact Info

Product

Resources

About