Formal methods and testing: why the state-of-the art is not the state-of-the practice

Context: The demand from industry for more dependable and scalable test-development mechanisms has fostered the use of formal models to guide the generation of tests. Despite many advancements having been obtained with state-based models, such as Finite ...

The paper discusses the use of formal specifications for conformance testing of OSI protocols and divides the discussion in two parts: test design and tester design. A draft standard formal specification of the Class 4 transport protocol in Estelle is ...

The authors describe the design of a testing environment, called FOREST (formal environment for systematic testing), for communication systems. The proposed method integrates three major strategies: (1) the use of formal description techniques (FDTs), ...