Model Based Testing with Labelled Transition Systems

@inproceedings{Tretmans2008ModelBT,
  title={Model Based Testing with Labelled Transition Systems},
  author={Jan Tretmans},
  booktitle={Formal Methods and Testing},
  year={2008}
}
Model based testing is one of the promising technologies to meet the challenges imposed on software testing. In model based testing an implementation under test is tested for compliance with a model that describes the required behaviour of the implementation. This tutorial chapter describes a model based testing theory where models are expressed as labelled transition systems, and compliance is defined with the ‘ioco’ implementation relation. The ioco-testing theory, on the one hand, provides a… CONTINUE READING

11 Figures & Tables

Topics

Statistics

0204060'06'07'08'09'10'11'12'13'14'15'16'17'18
Citations per Year

363 Citations

Semantic Scholar estimates that this publication has 363 citations based on the available data.

See our FAQ for additional information.