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 not been formally 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 speciication of the class(More)
In a companion study, we demonstrated that pretreatment of gamma-alumina surface with arsenate enhances uranyl uptake under acidic conditions, where uranyl otherwise sorbs poorly. Here, we examine the local structure and long-range order of the sorption products by using X-ray absorption spectroscopy (XAS) and X-ray diffraction (XRD). Arsenate was chosen(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)