Model-based testing with labeled transition systems [1/2]
11Systematic testing of software plays an important role in the quest for improved software quality. Testing, however, turns out to be an error-prone, expensive, and time-consuming process. Model based testing is one of the promising technologies to meet the challenges imposed on software testing. In model-based testing a system under test (SUT) is tested against a formal description, or model, of the SUT's behavior. Such a model serves as a precise and complete specification of what the SUT should do, and, consequently, is a good basis for testing. Moreover, such models can be automatically processed by tools, which make it possible to effectively automate the testing process. This lead to faster and less error-prone test generation: millions of test events can be automatically generated from the model, and subsequently executed and analyzed. And if the model is valid, i.e. expresses precisely what the SUT should do, then all these tests are also provably valid. This presentation will discuss model-based testing in general, and model-based testing for transition systems in particular. The ioco