BibTeX-Eintrag pretschner2005a

Aus SDQ-Wiki

BibTeX-Eintrag für "10 Methodological Issues in Model-Based Testing"

Testing denotes a set of activities that aim at showing that actual and intended behaviors of a system differ, or at increasing confidence that they do not differ. Often enough, the intended behavior is defined by means of rather informal and incomplete requirement specifications. Test engineers use these specification documents to gain an approximate understanding of the intended behavior. That is to say, they build a mental model of the system. This mental model is then used to derive test cases for the implementation, or system under test (SUT): input and expected output. Obviously, this approach is implicit, unstructured, not motivated in its details and not reproducible.

  author = {Pretschner, Alexander and Philipps, Jan},
  title = {10 Methodological Issues in Model-Based Testing},
  booktitle = {Model-Based Testing of Reactive Systems},
  publisher = {Springer Berlin / Heidelberg},
  year = {2005},
  editor = {Broy, Manfred and Jonsson, Bengt and Katoen, Joost-Pieter and Leucker, Martin and Pretschner, Alexander},
  volume = {3472},
  series = {Lecture Notes in Computer Science},
  pages = {11-18},
  note = {10.1007/11498490_13},
  affiliation = {Information Security, Department of Computer Science, ETH Zürich, Haldeneggsteig 4, 8092 Zürich, Switzerland},
  url = {}