A transition-based strategy for object-oriented software testing

Though time-to-market has become the primary criterion that drives most current software development projects, quality still remains the key concern of critical software development projects, for which the cost of a single bug may involve serious loss or damages. Meeting the higher quality level required for such kinds of systems may be achieved only by using sound and rigorous test practices. We present in this paper an integrated platform that uses a formalized version of UML statechart as the basis for rigorous testing of object-oriented programs. The platform adapts and integrates systematic test data generation strategies and associated tools for object-oriented program testing.