Stéphane Barbey, Didier Buchs, Cécile Péraire  Home/Search
Context Related
| ec.org/deva/trs/../papers/07.ps ec.org/deva/trs/../papers/07.ps ec.org/deva/trs/../papers/07.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ec.org/deva/trs/ (more) From: ec.org/deva/trs/index (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: 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 errors in a class by checking that its implementation meets its specification. We present shortly in an informal way an object-oriented language, CO-OPN/2, in which language we will write the specification. We introduce a notion of test that... (Update)
Similar documents based on text: More All
0.6: A Case Study for Testing Object-Oriented Software: A.. - Barbey, Buchs, Péraire (1998) (Correct)
0.5: Test Selection for Object-Oriented Software Based on.. - Peraire, Barbey, Buchs (Correct)
0.4: Implementing Associations with Ada - St Phane (Correct)
BibTeX entry: (Update)
S. Barbey, D. Buchs, and C. Péraire. A theory of specification-based testing for object-oriented software. In Proceedings of EDCC2 (European Dependable Computing Conference), LNCS (Lecture Notes in Computer Science) 1150, pages 303--320, 1996. Springer verlag. Also available as Technical Report (EPFL-DI-LGL No 96/163). http://citeseer.ist.psu.edu/barbey96theory.html More
@inproceedings{ barbey96theory,
author = "St{\'e}phane Barbey and Didier Buchs and C{\'e}cile P{\'e}raire",
title = "A Theory of Specification-Based Testing for Object-Oriented Software",
booktitle = "Proceedings of EDCC2 (European Dependable Computing Conference), Taormina, Italy, October 1996",
publisher = "Springer-Verlag",
pages = "303--320",
year = "1996",
url = "citeseer.ist.psu.edu/barbey96theory.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989
1286 Object-Oriented Modeling and Design (context) - Rumbaugh, Blaha et al. - 1991
357 Algebraic laws for nondeterminism and concurrency (context) - Hennessy, Milner - 1985
49 Software testing based on formal specifications: a theory an.. (context) - Bernot, Gaudel et al. - 1991
21 A concurrent object-oriented Petri nets approach for system .. (context) - Buchs, Guelfi - 1991
15 Structured algebraic nets with object-orientation - Biberstein, Buchs - 1995
10 The ASTOOT approach to testing object-oriented programs (context) - Doong, Frankl - 1994
3 The oracle assumption of program testing (context) - Weyuker - 1980
2 Open issues in testing object -oriented software (context) - Barbey, Ammann et al. - 1994
2 An evolutive distributed algebraic petri nets simulator - Hulaas - 1996
2 lection automatique de jeux de tests à partir de spécificati.. (context) - Marre - 1991
2 A theory of specification-based testing for object-oriented .. - Barbey, Buchs et al. - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.newcastle.research.ec.org/deva/trs/): More
Formal Specification and Verification of Object-Based.. - Canver, von Henke (Correct)
Using Metaobject Protocols to Separate Functional and.. - Stroud, Wu (Correct)
On Programming Atomic Actions in Ada 95 - Romanovsky, Mitchell, Wellings (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC