Stéphane Barbey

École Polytechnique Fédérale de Lausanne

Author Statistics

Papers

Citation

H-Index

i-10 index

Research Trends

Author Order

Document Type

Co-Authors

Alfred Strohmeier

École Polytechnique Fédérale de Lausanne

Didier Buchs

University of Geneva

Cécile Péraire

Carnegie Mellon University

Magnus Kempe

École Polytechnique Fédérale de Lausanne

Patrice Pliskine

Manuel Ammann

Simon Fraser University

Jean-Jacques Grizeaud

Institut National de Recherches Archéologiques Préventives

Romain Marsac

Institut National de Recherches Archéologiques Préventives

Philippe Gilette

Kewin Pêche-Quilichini

Université Paul-Valéry Montpellier

Cooperative Institutions

Centre National de la Recherche Scientifique

Institut National de Recherches Archéologiques Préventives

École Polytechnique Fédérale de Lausanne

Software (Spain)

Institut de Neurobiologie de la Méditerranée

Laboratoire Méditerranéen de Préhistoire Europe Afrique

Aix-Marseille Université

Ministère de la Culture

Laboratoire de Recherche en Informatique

Travaux et Recherches Archéologiques sur les Cultures, les Espaces et les Sociétés

Author Statistics

Papers

Citation

H-Index

i-10 index

Research Field

Implementing Associations with Ada

Electronic Commerce (1993)

Catherine Jean-Pousin Stéphane Barbey

Source

Cite

Citations (3)

Object-Oriented Programming and Reuse in Ada 9X

TRI-Ada (1993)

Stéphane Barbey Magnus Kempe Alfred Strohmeier

Ada 9X-the revised definition of the Ada programming language-provides support for object-oriented programming. This course examines the new, object-oriented features of the language, their use, and how they fit into Ada's strong type system and genericity mechanisms. Basic object-oriented mechanisms are covered, such as: extension, inheritance, and polymorphism. We then show how to integrate these mechanisms into good programming practice; topics include incremental programming, heterogeneous data structures, and mixin inheritance. The running theme is design for reuse.

Inheritance

Generic programming

Abstract data type

Data type

Source

Cite

Citations (2)

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

Stéphane Barbey Didier Buchs Cécile Péraire Alfred Strohmeier

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 methodology is to select test cases by a reduction process. The exhaustive test set, the reference for correctness, is transformed into a practicable test set by applying hypotheses to the objects. We present a set of hypotheses specific to object-oriented systems. Regularity hypotheses are m:n generalizations of the unit behaviour and provides for specifying the shape of test cases. Uniformity hypotheses are 1:n generalizations. Used in conjunction with subdomain decomposition, they guarantee a coverage of the specification. Incrementallity hypotheses take advantage of the subtyping and subclassing relationships to justify the reuse of test cases.

Black-box testing

White-box testing

Unit testing

Keyword-driven testing

10.5075/epfl-thesis-1753

Cite

Citations (10)

A theory of specification-based testing for object-oriented software

Lecture notes in computer science (1996)

Stéphane Barbey Didier Buchs Cécile Péraire

White-box testing

Model-Based Testing

Black-box testing

10.1007/3-540-61772-8_45

Cite

Citations (48)

The Problematics Of Testing Object-orientedSoftware

WIT transactions on information and communication technologies (1970)

Stéphane Barbey A. Strohmeier

10.2495/sqm940292

Cite

Citations (6)

Ada 95 as implementation language for object-oriented designs

Stéphane Barbey

Article Free Access Share on Ada 95 as implementation language for object-oriented designs Author: Stéphane Barbey Swiss Federal Institute of Technology, Software Engineering Laboratory, 1015 Lausanne Ecublens, Switzerland Swiss Federal Institute of Technology, Software Engineering Laboratory, 1015 Lausanne Ecublens, SwitzerlandView Profile Authors Info & Claims TRI-Ada '95: Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex worldNovember 1995 Pages 212–225https://doi.org/10.1145/376503.376572Online:01 November 1995Publication History 3citation204DownloadsMetricsTotal Citations3Total Downloads204Last 12 Months3Last 6 weeks0 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF

10.1145/376503.376572

Cite

Citations (3)

Test Selection for Object-Oriented Software Based on Formal Specifications

Springer eBooks (1998)

Cécile Péraire Stéphane Barbey Didier Buchs

Test Management Approach

10.1007/978-0-387-35358-6_25

Cite

Citations (23)

The Problematics of Testing Object-Oriented Software

Stéphane Barbey Alfred Strohmeier

Within object-oriented methods, testing has received less attention than analysis, design, and coding. However, object-orientedness does not make testing obsolete and can even introduce new problems into the production of correct programs and their testing. Most work in testing has been done with procedure-oriented software in mind. Traditional methods, despite their efficiency, cannot be applied without adaptation to object-oriented systems. In an object-oriented system, the basic test unit is a class instead of a subprogram; hence, testing should focus on classes and objects. Moreover, it is not possible to test the operations of a class in isolation, as they interact with each other by modifying the state of the object which invokes them. However, some traditional techniques can still be applied, though indirectly. Sometimes, testing object-oriented software can benefit from objectoriented technology, for instance, by capitalizing on the fact that a superclass has already been tested, and by decreasing the effort to test derived classes, which reduces the cost of testing in comparison with a flat class structure. The object-oriented paradigm can also be a hindrance to testing, due to some aspects of its very nature: encapsulation, inheritance and polymorphism.

White-box testing

Manual testing

Unit testing

Black-box testing

Keyword-driven testing

Regression testing

Non-regression testing

System integration testing

Software performance testing

Source

Cite

Citations (44)

Overview and Theory for Unit Testing of Object-Oriented Software

Stéphane Barbey Didier Buchs Cécile Péraire

Keywords: Testing ; Conform ; OOMethod ; peraire ; Paper Reference LGL-CONF-1996-003 Record created on 2005-09-20, modified on 2016-08-08

Source

Cite

Citations (3)

Ada 9X for Object-Oriented Programming

Stéphane Barbey Magnus Kempe Alfred Strohmeier

Ada 9X -the revised definition of the Ada programming language- provides support for object-oriented programming. This course examines the new, object-oriented features of the language, their use, and how they fit into Ada's strong type system and genericity mechanisms. Basic object-oriented mechanisms are covered, such as: extension, inheritance, and polymorphism. We then show how to integrate these mechanisms into good programming practices; topics will include incremental programming, heterogeneous data structures, mixin inheritance, and design for reuse. We will also compare standard object-oriented idioms as implemented in Ada vs. other object-oriented languages (e.g. C++, Eiffel).

Inheritance

Eiffel

Multiple inheritance

Source

Cite

Citations (0)