Event-based input validation using design-by-contract patterns
ISSRE'09 Proceedings of the 20th IEEE international conference on software reliability engineering
Hi-index | 0.00 |
This paper presents a new contract-based software component testing (SCT) technique, Test by Contract (TbC), which extends the Design by Contract concept to the SCT domain, and leverages it with UML-based testing at the modeling level to design model-level test contracts for UML-based SCT. We introduce a new concept of Contract for Testability as the principal TbC goal, and develop a set of important contract-oriented concepts (e.g. test contract, effectual contract scope, internal/external test contract), and useful test criteria for ef-fective model-based testability improvement. A practical step-wise TbC working process is developed to show how to put the TbC technique into practice for contract-based testing activities to undertake UML-based SCT with a case study.