Test Generation Algorithms Based on Preorder Relations

  title={Test Generation Algorithms Based on Preorder Relations},
  author={Val{\'e}ry Tschaen},
  booktitle={Model-Based Testing of Reactive Systems},
Testing theory has been studied for a long time. Based on finite state machines at the beginning, it has been extended to conformance testing of transition systems. Test generation methods have been developed for both of these models. In this section, we are interested in test generation for transition systems. The goal of test generation is to produce a test suite. A test suite is a set of test cases that a tester process will run to exercise an implementation (the system under test) in order… CONTINUE READING