Contracts for Scenario-Based Testing of Object-Oriented Programs
Anna Mikhailova, Marielle Doche, Michael J. Butler · ePrints Soton (University of Southampton) · 2002
Department of Electronics & Computer Science, University of SouthamptonHighfield, Southampton, SO17 1BJ, [email protected]. Testing of a software system is always based on a contract be-tween the system under test and its environment. Formal mathematicalmethods provide languages that allow defining such contracts unambigu-ously, soundly, and succinctly. Since object-oriented programs emphasiseencapsulation of internal object state and interaction between objectsthrough method calls, it is natural to base a testing strategy on sce-narios of object usage. In this paper, we propose an original approachto generating test scenarios as contract models. We provide a formalfoundation for this scenario-based method of testing.