Generative Hierarchical Contracts for Conformance Testing of Sequential Containers

J.-P. Corriveau and S. Bashardoust-Tajali (Canada)


System family modeling, conformance testing, contracts


The use of component libraries is pervasive in software development. Such libraries may be viewed as members of a domain. We investigate here the nature of a testable model to be defined during domain analysis and that enables the conformance testing of the members of this domain against the tests generated from this model. This model takes the form of generative hierarchical contracts comprised of static and dynamic tests.

Important Links:

Go Back