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).
分享
引用
