Learn More
This article describes a new approach to the unit testing of object-oriented programs, a set of tools based on this approach, and two case studies. In this approach, each test case consists of a tuple of sequences of messages, along with tags indicating whether these sequences should put objects of the class under test into equivalent states and/or return(More)
Developer testing is of one of the most effective strategies for improving the quality of software, reducing its cost, and accelerating its development. Despite its widely recognized benefits, developer testing is practiced by only a minority of developers. The slow adoption of developer testing is primarily due to the lack of tools that automate some of(More)
* ABSTRACT This paper describes a new approach to testing object-oriented programs, a set of tools based on this approach, and two case studies. Test cases consist of pairs of sequences of methods, along with a tag indicating whether those sequences should put objects of the class under test into the same abstract state, Experimental prototypes of tools for(More)
  • 1