Model-Based Testing of Object-Oriented Systems

TL;DR

This paper presents a model-based testing approach for object-oriented systems that emphasizes using explicit test case models to improve testing efficiency, flexibility, and reusability in software development.

Contribution

It introduces a novel approach using explicit test case models and test patterns, enhancing testability and quality in object-oriented software testing.

Findings

Proposed test patterns improve test design for object-oriented systems

Explicit test case models increase testing flexibility and reusability

Approach enhances overall software quality and development efficiency

Abstract

This paper discusses a model-based approach to testing as a vital part of software development. It argues that an approach using models as central development artifact needs to be added to the portfolio of software engineering techniques, to further increase efficiency and flexibility of the development as well as quality and reusability of results. Then test case modeling is examined in depth and related to an evolutionary approach to model transformation. A number of test patterns is proposed that have proven helpful to the design of testable object-oriented systems. In contrast to other approaches, this approach uses explicit models for test cases instead of trying to derive (many) test cases from a single model.