Conformance test design methodology and assertion driven test case generator for the conformance testing of interface standards

The authors present a conformance testing resource which provides verification that a candidate software system conforms to the standard, i.e., interface specification, for which it has been designed. It includes the development of a conformance testing methodology which formalizes the conformance test design effort into an assertion-based representation which is used to drive a test generator system. The authors describe the conformance test design methodology used to design test cases, the representation of those test cases in the form of assertions (with examples), and a conformance testing system which generates and executes test sets from the assertions to verify conformance