Systematic Black-Box Testing of Computer Based Systems through Formal Abstraction Techniques
Bernhard K. Aichernig · 2001
In the past of computer science, sometimes, a gap between the testing and the formal methods community could be observed. Testers did not believe in the applicability of formal verification techniques to real world problems, and formal methods' advocates could not accept testing-techniques as an adequate verification method for producing correct software. However, today the gap is closing and this thesis contributes to building the bridge by offering new results on testing based on formal development techniques. Others have worked on testing based on formal specifications before, but only a few considered the related development techniques such as program synthesis. Most of the previous work focused on generating test-cases by partitioning the formal specification into equivalence classes of input-output behavior. This related work on testing is reviewed. In this thesis three formal development techniques have been examined, regarding their support in the testing of computer-based systems...