Test-Case Calculation through Abstraction

@inproceedings{Aichernig2001TestCaseCT,
  title={Test-Case Calculation through Abstraction},
  author={Bernhard K. Aichernig},
  booktitle={FME},
  year={2001}
}
This paper discusses the calculation of test-cases for interactive systems. A novel approach is presented that treats the problem of test-case synthesis as an abstraction problem. The refinement calculus is used to formulate abstraction rules for calculating correct test-case scenarios from a formal contract. This abstraction calculus results in a synthesis method that, does not need to compute a finite state machine. This is in contrast to previous work on testing from state-based… CONTINUE READING
Highly Cited
This paper has 27 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.
17 Citations
31 References
Similar Papers

Citations

Publications citing this paper.

References

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

Aichernig . Validating voice communication requirements using lightweight formal methods

  • K Bernhard, J. M. Wing, K. Bernhard
  • IEEE Software
  • 2000

Similar Papers

Loading similar papers…