Add to ORKGThe 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 life-cycle: requirements, analysis, design, formal description, implementation and testing. Analysis and design are performed with the Fusion method, formal description with the CO-OPN language, implementation with Ada 95 and test selection with our testing method. This report presents the description of the production cell case study and Fusion models. The formal description and testing phase are presented in technical report EPFL-DI 98/299
(without becoming drowned) Abstract: Systematic testing of object-oriented software turned out to be...
One goal of integration testing of object-oriented software is to ensure objects inter-operate corre...
We propose a method of test selection based on formal specifications, for functional testing of obje...
This paper studies testing in an object-oriented (OO) development process. It is based on the produc...
The modern software development requires more efficient production methods than ever before. It has ...
In this dissertation* , we propose a structured testing model for object-oriented software developm...
This paper discusses a software development in the light of object-oriented methodolody, called Fusi...
This paper presents a critical evaluation, from a computer science point of view, of the Fusion meth...
In this thesis we provide a unit testing approach for multi-purposes object-oriented programming ...
. In this paper we develop a framework for semi-automated generation of test cases for object orient...
This paper discusses a model-based approach to testing as a vital part of soft-ware development. It ...
Software stellt ein komplexes Werkzeug dar, das durch seine umfassenden Möglichkeiten die moderne Ge...
The object technology model is constantly evolving to address the software crisis problem. This nove...
Many researches to testing object-oriented systems (OOSs) have been proposed for the past decade. Af...
The rapidly growing applications of software in critical systems such as railways, aviation, automob...
(without becoming drowned) Abstract: Systematic testing of object-oriented software turned out to be...
One goal of integration testing of object-oriented software is to ensure objects inter-operate corre...
We propose a method of test selection based on formal specifications, for functional testing of obje...
This paper studies testing in an object-oriented (OO) development process. It is based on the produc...
The modern software development requires more efficient production methods than ever before. It has ...
In this dissertation* , we propose a structured testing model for object-oriented software developm...
This paper discusses a software development in the light of object-oriented methodolody, called Fusi...
This paper presents a critical evaluation, from a computer science point of view, of the Fusion meth...
In this thesis we provide a unit testing approach for multi-purposes object-oriented programming ...
. In this paper we develop a framework for semi-automated generation of test cases for object orient...
This paper discusses a model-based approach to testing as a vital part of soft-ware development. It ...
Software stellt ein komplexes Werkzeug dar, das durch seine umfassenden Möglichkeiten die moderne Ge...
The object technology model is constantly evolving to address the software crisis problem. This nove...
Many researches to testing object-oriented systems (OOSs) have been proposed for the past decade. Af...
The rapidly growing applications of software in critical systems such as railways, aviation, automob...
(without becoming drowned) Abstract: Systematic testing of object-oriented software turned out to be...
One goal of integration testing of object-oriented software is to ensure objects inter-operate corre...
We propose a method of test selection based on formal specifications, for functional testing of obje...