Winnowing tests: Getting quality coverage from a model checker without quantity

@inproceedings{Black2001WinnowingTG,
  title={Winnowing tests: Getting quality coverage from a model checker without quantity},
  author={Paul E. Black and Scott Ranville},
  year={2001}
}
Test generation is easy: we can generate piles of tests randomly, by model checker mutation analysis of formal specifications, through path coverage, etc. But just increasing the quantity of tests may not be a cost-effective way of increasing the quality of the test. The number of tests, and hence the cost of maintaining and running large test sets, can increase exponentially with the increase in real coverage. We present a number of automated methods to pick out a smaller set of tests that… CONTINUE READING

References

Publications referenced by this paper.
SHOWING 1-3 OF 3 REFERENCES

Automated Testing Requirements

  • Ranville, Scott, Black, E Paul
  • Automotive Perspective,
  • 2001

Similar Papers

Loading similar papers…