Experiences evaluating the effectiveness of JML-JUnit testing

Authors:
Roy Patrick Tan;Stephen H. Edwards
Affiliations:
Virginia Tech, Blacksburg, VA;Virginia Tech, Blacksburg, VA
Venue:
ACM SIGSOFT Software Engineering Notes
Year:
2004

Citing 4
Cited 2

The ASTOOT approach to testing object-oriented programs

ACM Transactions on Software Engineering and Methodology (TOSEM)
Test-infected: programmers love writing tests

More Java gems
Korat: automated testing based on Java predicates

ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
A Simple and Practical Approach to Unit Testing: The JML and JUnit Way

ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming

An open-source tool for automated generation of black-box xunit test code and its industrial evaluation

TAIC PART'10 Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques
An experimental assessment of module documentation-based testing

Information and Software Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper reports on the issues the authors encountered while evaluating the JML-JUnit unit testing strategy. Given a predefined set of parameter values, JML-JUnit can automatically provide unit tests for Java programs that have specifications. We present a mutation testing experiment that evaluates the effectiveness of this testing strategy, and the lessons learned from doing this experiment. We conclude that a benchmark will enable the testing research community to meaningfully assess testing approaches.