Exact Gap Computation for Code Coverage Metrics in ISO-C

Details Exact Gap Computation for Code Coverage Metrics in ISO-C Exact Gap Computation for Code Coverage Metrics in ISO-C

2012-02-28

arxiv.org/abs/1202.6121v1

EPTCS 80, 2012, pp. 43-57

Computer Science

Software Engineering

In Proceedings MBT 2012, arXiv:1202.5826

Scientific paper

10.4204/EPTCS.80.4

Test generation and test data selection are difficult tasks for model based testing. Tests for a program can be meld to a test suite. A lot of research is done to quantify the quality and improve a test suite. Code coverage metrics estimate the quality of a test suite. This quality is fine, if the code coverage value is high or 100%. Unfortunately it might be impossible to achieve 100% code coverage because of dead code for example. There is a gap between the feasible and theoretical maximal possible code coverage value. Our review of the research indicates, none of current research is concerned with exact gap computation. This paper presents a framework to compute such gaps exactly in an ISO-C compatible semantic and similar languages. We describe an efficient approximation of the gap in all the other cases. Thus, a tester can decide if more tests might be able or necessary to achieve better coverage.

Affiliated with

Also associated with

No associations

Rating

Exact Gap Computation for Code Coverage Metrics in ISO-C does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Exact Gap Computation for Code Coverage Metrics in ISO-C, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Exact Gap Computation for Code Coverage Metrics in ISO-C will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-605552