Stateful Testing: Finding More Errors in Code and Contracts

Details Stateful Testing: Finding More Errors in Code and Contracts Stateful Testing: Finding More Errors in Code and Contracts

2011-08-04

arxiv.org/abs/1108.1068v2

Computer Science

Software Engineering

11 pages, 3 figures

Scientific paper

Automated random testing has shown to be an effective approach to finding faults but still faces a major unsolved issue: how to generate test inputs diverse enough to find many faults and find them quickly. Stateful testing, the automated testing technique introduced in this article, generates new test cases that improve an existing test suite. The generated test cases are designed to violate the dynamically inferred contracts (invariants) characterizing the existing test suite. As a consequence, they are in a good position to detect new errors, and also to improve the accuracy of the inferred contracts by discovering those that are unsound. Experiments on 13 data structure classes totalling over 28,000 lines of code demonstrate the effectiveness of stateful testing in improving over the results of long sessions of random testing: stateful testing found 68.4% new errors and improved the accuracy of automatically inferred contracts to over 99%, with just a 7% time overhead.

Affiliated with

Also associated with

No associations

Rating

Stateful Testing: Finding More Errors in Code and Contracts 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 Stateful Testing: Finding More Errors in Code and Contracts, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Stateful Testing: Finding More Errors in Code and Contracts will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-14312