Model-based testing for real The inhouse card case study

@inproceedings{Pretschner2001ModelbasedTF,
  title={Model-based testing for real The inhouse card case study},
  author={Alexander Pretschner and Oscar Slotosch and Ernst Aiglstorfer and Stefan Kriebel},
  year={2001}
}
Model-based testing relies on abstract behavior models for test case generation. These models are abstractions, i.e., simplifications. For deterministic reactive systems, test cases are sequences of input and expected output. To bridge the different levels of abstraction, input must be concretized before being applied to the system under test. The system’s output must then be abstracted before being compared to the output of the model. The concepts are discussed along the lines of a feasibility… CONTINUE READING
Highly Cited
This paper has 51 citations. REVIEW CITATIONS
32 Citations
62 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 32 extracted citations

51 Citations

051015'05'08'11'14'17
Citations per Year
Semantic Scholar estimates that this publication has 51 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 62 references

AutoFocus on Constraint Logic Programming

  • H Lötzbeyer, A Pretschner
  • Proceedings of (Constraint) Logic Programming and…
  • 2000
Highly Influential
11 Excerpts

MOST NetworkMaster – AutoFocus model

  • W Prenninger, A Pretschner, S Wagner
  • Internal Study, BMW AG and TU München,
  • 2003
1 Excerpt

MOST NetworkMaster – generation of test harnesses

  • W Prenninger, A Pretschner, S Wagner
  • Internal Study, BMW AG and TU München,
  • 2003
1 Excerpt

Similar Papers

Loading similar papers…