In this paper, we present an extension of the notion of institution that takes into account test cases. Our approach is to
incrementally generate functional tests from a structured formal specification, we generate tests from small specifications
and compose them. The issue is then to prove the correctness of the resulting tests. We thus extend the classical notion of
institution with a category of test cases and a notion of satisfaction of test cases.
Keywords Functional test generation - formal specification - category theory - institutions
This work was done while I was working at ONERA, Toulouse.