Jason McDonald

Learn More
SUMMARY This paper describes a method for specification-based class testing that incorporates test case generation, execution, and evaluation based on formal specifications. This work builds on previous achievements in the areas of specification-based testing and class testing by integrating the two within a single framework. The initial step of the method(More)
Previous work on generating state machines for the purpose of class testing has been informally based. There has also been work on deriving state machines from formal speciications for testing non-object-oriented software. We build on this work by presenting a method for deriving a state machine for testing purposes from a formal object-oriented(More)
This paper describes part of an STL conformance test suite currently under development. Test suites for all of the STL containers have been written, demonstrating the feasibility of thorough and highly automated testing of industrial component libraries. We describe affordable test suites that provide good code and boundary value coverage , including the(More)
This report describes the translation of formal speciications of container classes to passive test oracles. Speciically, we use Object-Z for speciications and C++ for oracles. We discuss several practical issues for the use of formal speciications in test oracle generation. We then present the translation process for three passive oracle models and evaluate(More)
This paper describes a method for speciication-based class testing that incorporates test case generation, execution, and evaluation based on formal speciications. This work builds on previous achievements in the areas of speciication-based testing and class testing by integrating the two within a single framework. The initial step of the method is to(More)