Conformance Checking of Components Against Their Non-deterministic Specifications

@inproceedings{Schulte2001ConformanceCO,
  title={Conformance Checking of Components Against Their Non-deterministic Specifications},
  author={M. Schulte},
  year={2001}
}
Conformance checking of a component is a testing method to see if an implementation and its executable specification are behaviorally equivalent relative to any interactions performed on the implementation. Such checking is complicated by the presence of non-determinism in the specification: the specification may permit a set of possible behaviors. We present a new method to automatically derive a component that manages all of the angelic non-determinism for an arbitrary implementation… CONTINUE READING
Highly Cited
This paper has 32 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 16 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 11 references

, and Margus Veanes . Specification , simulation and testing of COM components using Abstract State Machines

  • Mike Barnett, Colin Campbell, Wolfram Schulte
  • Formal Methods and Tools for Computer Science…
  • 2001

Specification, simulation and testing of COM components using Abstract State Machines

  • Mike Barnett, Colin Campbell, Wolfram Schulte, Margus Veanes
  • In Formal Methods and Tools for Computer Science…
  • 2001
1 Excerpt

Hamlet . Automatically checking an implementation against its formal specification

  • Sergio Antoy, G Richard
  • Software Engineering
  • 2000

Essential COM. Addison-Wesley Publishing

  • Don Box
  • 1998

Similar Papers

Loading similar papers…