A Case Study for Testing Object-Oriented Software: A Production Cell
Stéphane Barbey, Didier Buchs, Cécile Péraire · 1998
. The purpose of this work is to evaluate, by means of a case study, our formal testing method for object-oriented software. For this purpose we propose the development of an object-oriented application of realistic size, addressing all the phases of the software lifecycle: requirements, analysis, design, formal description, implementation and testing. Analysis and design are performed with the Fusion method [4], formal description with the COOPN language [1], implementation with Ada 95 and test selection with our testing method. The case study chosen for this experiment is the production cell, originally defined in [6]. Keywords. object-orientation, formal testing, analysis, design, formal specification, implementation, production cell. 1. Introduction The purpose of this work is to evaluate, by means of a case study, our formal testing method for object-oriented software. For this purpose we propose the development of an object-oriented application of realistic size, addressing all...