Person

Cécile Peraire

Related publications (10)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Testing Object-Oriented Software

Cécile Peraire

This tutorial describes the approach we develop for the formal testing of OO software. We also describe the operational techniques, that can be used, to select test cases. ...

1999

Integrating the Unified Modeling Language with an Architecture Description Language

Cécile Peraire

These paper presents an approach for integrating UML with an ADL. The integration would encompass the advantages of both languages. It would give formal semantics to UML constructs and thus would provide UML with a theoretical foundation for architecture m ...

1999

Formal testing of object-oriented software

Cécile Peraire

This thesis presents a method and a tool for test set selection, dedicated to object-oriented applications and based on formal specifications. Testing is one method to increase the quality of today's extraordinary complex software. The aim is to find progr ...

EPFL1998

Modelling the Production Cell Case Study using the Fusion Method

Cécile Peraire

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 sof ...

1998

Testing the Production Cell Case Study from CO-OPN Specification

Cécile Peraire

1998

Test Selection for Object-Oriented Software Based on Formal Specifications

Cécile Peraire

We propose a method of test selection based on formal specifications, for functional testing of object-oriented software. This method is based on rigorous theoretical foundations. To limit the size of test sets, we present several hypotheses specific to ob ...

Chapman & Hall1998

Incremental Test Selection for Specification-Based Unit Testing of Object-Oriented Software Based on Formal Specifications

Cécile Peraire

We propose a test case selection methodology for object-oriented software. This methodology is based on formal specifications and is aimed at verifying the correctness of method interaction of an object or a cluster of objects. The essence of this methodol ...

1998

From Requirements to Tests via Object-Oriented Design

Cécile Peraire

This paper studies testing in an object-oriented (OO) development process. It is based on the production cell case study. A control program for the production cell has been developed using both the Fusion method, for OO analysis and design, and the formal ...

1998

A Theory of Specification-Based Testing for Object-Oriented Software

Cécile Peraire

The current strategies for testing object-oriented software all lack the formal basis which is necessary to perform this task efficiently. We propose the adaptation to object-oriented software of an existing theory of testing for stateless ADTs, to find er ...

Springer Verlag1996

Une Méthode de Tests Fonctionnelle Générale

Cécile Peraire

Nous nous proposons de développer une méthode d'assistance à la sélection de jeux de tests à partir de spécifications formelles. Nos objectifs étant de déboucher sur une méthode de tests qui soit générale, c'est à dire qui ne soit pas dépendante d'un type ...

1995