This thesis is about black-box formal conformance testing for reactive systems. A reactive system is a system that exchanges information with, or interacts with, its environment. Such system does not continuously operate in an autonomic manner, but its behaviour depends on the interactions that can be performed between the system and its environment. Many realistic systems behave as reactive systems, e.g., cash dispensers, television sets, coee machines, communication protocols, etc. Although the topics in this thesis are not necessarily restricted to the domain of communication protocols, most of the concepts will be explained with such applications in mind. Formal conformance testing for reactive systems assumes the presence of a specication in a formal language, and aims at checking, by means of testing, whether implementations comply with the specied behaviour. In black-box formal conformance testing no internal details of the implementations are known: only the interactions between the system and its environment (i.e., the observer) are visible. The objectives of this thesis are (i) to develop a formal conformance testing theory that is applicable to a large class of existing reactive systems and that is of signicant practical interest, and (ii) to apply the standard `Formal Methods in Conformance Testing' (FMCT) [ISO96]. This standard defines a framework for the use of formal methods in conformance testing and is complementary to the international standard IS-9646 `OSI Conformance Testing Methodology and Framework' that is mainly intended for specications written in a natural language. By instantiating the abstract testing concepts described in FMCT with the concrete ones based on the testing theory described in this thesis and by applying these instantiated concepts to a concrete example, we hope to show viability of the testing theory in practical situations.
|Award date||8 May 1998|
|Place of Publication||Enschede|
|Publication status||Published - 8 May 1998|