Test-Case Calculation through Abstraction

  title={Test-Case Calculation through Abstraction},
  author={Bernhard K. Aichernig},
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


Publications citing this paper.


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…