A Case Study for Testing Object-Oriented Software: A Production Cell

The purpose of this work is to evaluate, by means of a case study, our formal test- ing 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 life- cycle: requirements, analysis, design, formal description, implementation and testing. Anal- ysis and design are performed with the Fusion method (4), formal description with the CO- OPN 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).