Contract-Based Software Component Testing With UML Models

Download Now Free registration required

Executive Summary

Improving model-based component testability can further model-based approaches to Software Component Testing (SCT) for desirable testing effectiveness. Component contracts are useful testing-support artefacts to improve component testability. This paper presents a new contract-based SCT technique, Test by Contract (TbC), which extends the Design by Contract concept to the SCT domain, and leverages UML-based testing with the contract mechanism to design model-based test contracts for UML-based SCT. The authors introduce a new concept of Contract for Testability as the principal goal of the TbC technique, and develop a set of important contract-oriented concepts (test contract, effectual contract scope, and internal/external test contract) and useful test criteria to improve model-based testability.

  • Format: PDF
  • Size: 609.4 KB