Formal Testing of Object-Oriented Software: From the Method to the Tool

Keywords: Paper ; Testing ; PeraireMain ; Conform ; peraire Reference Record created on 2005-09-20, modified on 2016-08-08

[1]  Robert A. Kowalski,et al.  Predicate Logic as Programming Language , 1974, IFIP Congress.

[2]  Yves Crouzet,et al.  Software Statistical Testing , 1995 .

[3]  Chris Dollin,et al.  Object-oriented development: the fusion method , 1994 .

[4]  Cécile Péraire,et al.  Test selection for object-oriented software based on formal specifications , 1998, PROCOMET.

[5]  Pascale Le Gall.  Les algebres etiquetees : une semantique pour les specifications algebriques fondee sur une utilisation systematique des termes. application au test de logiciel avec traitement d'exceptions , 1993 .

[6]  Rob J. van Glabbeek,et al.  Petri Net Models for Algebraic Theories of Concurrency , 1987, PARLE.

[7]  Peter Wegner.  Dimensions of object-based language design , 1987, OOPSLA 1987.

[8]  Philippe Schnoebelen.  Sémantique du parallélisme et logique temporelle : application au langage FP2 , 1990 .

[9]  Mathieu Buffo.  Contextual Coordination: a Coordination Model for Distributed Object Systems , 1997 .

[10]  Alfred Strohmeier,et al.  Incremental Test Selection for Specification-Based Unit Testing of Object-Oriented Software Based on Formal Specifications , 1997 .

[11]  Bertrand Meyer,et al.  Eiffel: The Language , 1991 .

[12]  Cécile Péraire,et al.  Modelling the Production Cell Case Study using the Fusion Method , 1998 .

[13]  Jeremy Dick,et al.  Automating the Generation and Sequencing of Test Cases from Model-Based Specifications , 1993, FME.

[14]  Tsong Yueh Chen,et al.  On Some Characterisation Problems of Subdomain Testing , 1996, Ada-Europe.

[15]  Jarle Hulaas,et al.  SANDS Structured Algebraic Net Development System for CO-OPN , 1995 .

[16]  Rebecca Wirfs-Brock,et al.  Designing object-oriented software , 1990 .

[17]  David Lorge Parnas,et al.  An Invitation to Formal Methods , 1996, Computer.

[18]  Gail E. Kaiser,et al.  Adequate testing and object-oriented programming , 1990 .

[19]  Phyllis G. Frankl,et al.  The ASTOOT approach to testing object-oriented programs , 1994, TSEM.

[20]  Roger S. Pressman,et al.  Software Engineering: A Practitioner's Approach , 1982 .

[21]  Joseph Sifakis,et al.  A Toolbox For The Verification Of LOTOS Programs , 1992, International Conference on Software Engineering.

[22]  Marie-Claude Gaudel,et al.  Testing Can Be Formal, Too , 1995, TAPSOFT.

[23]  René Lalement,et al.  Logique, réduction, résolution , 1990 .

[24]  Thierry Jéron,et al.  Using On-The-Fly Verification Techniques for the Generation of test Suites , 1996, CAV.

[25]  Philippe Schnoebelen,et al.  Strong Bisimilarity on Nets Revisited , 1991, PARLE.

[26]  Yves Crouzet,et al.  An experimental evaluation of formal testing and statistical testing , 1992 .

[27]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[28]  John D. McGregor,et al.  Integrated object-oriented testing and development processes , 1994, CACM.

[29]  Thierry Jéron,et al.  On-the-fly verification of finite transition systems , 1992, Formal Methods Syst. Des..

[30]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 1: Equations and Initial Semantics , 1985 .

[31]  Elaine J. Weyuker,et al.  Theories of Program Testing and the Application of Revealing Subdomains , 1980, IEEE Transactions on Software Engineering.

[32]  Wolfgang Reisig,et al.  Petri Nets and Algebraic Specifications , 1991, Theor. Comput. Sci..

[33]  Jarle Hulaas,et al.  AN INCREMENTAL PROTOTYPING METHODOLOGY FOR DISTRIBUTED SYSTEMS BASED ON FORMAL SPECIFICATIONS , 1997 .

[34]  Pierre Deransart,et al.  An Operational Algebraic Semantics of Prolog Programs , 1983, Logic Programming Workshop.

[35]  李幼升,et al.  Ph , 1989 .

[36]  Richard M. Karp,et al.  Turing award lecture , 1985, ACM '85.

[37]  Cécile Péraire,et al.  Testing the Production Cell Case Study from CO-OPN Specification , 1998 .

[38]  Peter P. Chen.  The entity-relationship model: toward a unified view of data , 1975, VLDB '75.

[39]  Marie-Claude Gaudel,et al.  Software testing based on formal specifications: a theory and a tool , 1991, Softw. Eng. J..

[40]  Hélène Waeselynck,et al.  Towards a statistical approach to testing object-oriented programs , 1997, Proceedings of IEEE 27th International Symposium on Fault Tolerant Computing.

[41]  Marie-Claude Gaudel,et al.  Using algebraic specifications in software testing: A case study on the software of an automatic subway , 1993, J. Syst. Softw..

[42]  Jarle Hulaas,et al.  SANDS1.5/COOPN1.5 An Overview of the Language and its Supporting Tools , 1995 .

[43]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[44]  Laurent Fribourg,et al.  Test sets generation from algebraic specifications using logic programming , 1986, J. Syst. Softw..

[45]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[46]  Jan A. Bergstra,et al.  On the Consistency of Koomen's Fair Abstraction Rule , 1987, Theor. Comput. Sci..

[47]  Tommaso Bolognesi,et al.  Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling , 1994, FORTE.

[48]  Martin Gogolla,et al.  Objects and their Specification , 1991, COMPASS/ADT.

[49]  Marc Roper,et al.  Software Testing , 1994 .

[50]  Jonathan P. Bowen,et al.  Ten Commandments of Formal Methods , 1995, Computer.

[51]  Matthew Hennessy,et al.  The Power of the Future Perfect in Program Logics , 1985, Inf. Control..

[52]  Krzysztof R. Apt,et al.  Contributions to the Theory of Logic Programming , 1982, JACM.

[53]  Heinrich Hußmann,et al.  Unification in Conditional Equational Theories , 1985, European Conference on Computer Algebra.

[54]  Edsger W. Dijkstra,et al.  The humble programmer , 1972, CACM.

[55]  Didier Buchs,et al.  Towards a Complete Semantics with Negation Rules for CO-OPN/2 , 1999 .

[56]  R.W. Butler,et al.  Design for validation , 1992, IEEE Aerospace and Electronic Systems Magazine.

[57]  Miquel Bertran,et al.  FME '94: Industrial Benefit of Formal Methods , 1994, Lecture Notes in Computer Science.

[58]  Gilles Bernot,et al.  Testing Against Formal Specifications: A Theoretical View , 1991, TAPSOFT, Vol.2.

[59]  Nicolas Guelfi,et al.  Comparison of Object-Oriented Formal Methods , 1997 .

[60]  Robert V. Binder,et al.  Testing object‐oriented software: a survey , 1996 .

[61]  Rocco De Nicola,et al.  Three Logics for Branching Bisimulation (Extended Abstract) , 1990, LICS 1990.

[62]  John D. McGregor,et al.  Object-oriented software development - engineering software for reuse , 1992, VNR computer library.

[63]  Thierry Jéron,et al.  An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology , 1997, Sci. Comput. Program..

[64]  Dieter Hogrefe,et al.  The CCITT-Specification and Description Language SDL , 1989, Comput. Networks.

[65]  Bertrand Meyer,et al.  Object-Oriented Software Construction, 2nd Edition , 1997 .

[66]  Corrado Moiso,et al.  Comments on "Logic-Programming with Equations" , 1991, J. Log. Program..

[67]  Ivar Jacobson,et al.  Object-oriented software engineering - a use case driven approach , 1993, TOOLS.

[68]  Krzysztof R. Apt,et al.  Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[69]  D. J. Robson,et al.  The Testing of Object-Oriented Programs , 1993 .

[70]  Anthony Hall.  Using Formal Methods to Develop an ATC Information System , 1996, IEEE Softw..

[71]  Norman Wilde,et al.  Maintenance Support for Object-Oriented Programs , 1992, IEEE Trans. Software Eng..

[72]  Robert A. Kowalski,et al.  Logic for problem solving , 1982, The computer science library : Artificial intelligence series.

[73]  Boris Beizer,et al.  Software System Testing and Quality Assurance , 1984 .

[74]  John Dawes,et al.  The VDM-SL Reference Guide , 1991 .

[75]  Grady Booch,et al.  Object-Oriented Analysis and Design with Applications , 1990 .

[76]  L. Fribourg.  Prolog with simplification , 1988 .

[77]  J. A. Robinson,et al.  A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

[78]  Robin Milner,et al.  Algebraic laws for nondeterminism and concurrency , 1985, JACM.

[79]  Olivier Biberstein.  CO-OPN/2: An Object-Oriented Formalism for the Specification of Concurrent Systems , 1997 .

[80]  M. H. van Emden,et al.  Logic Programming with Equations , 1987, J. Log. Program..

[81]  Glenford J. Myers,et al.  Art of Software Testing , 1979 .

[82]  José Meseguer,et al.  Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations , 1992, Theor. Comput. Sci..

[83]  Agnes Arnould.  Test a partir de specifications de structures bornees : une theorie du test, une methode de selection, un outil d'assistance a la selection , 1997 .

[84]  Kate Finney,et al.  Mathematical Notation in Formal Specification: Too Difficult for the Masses? , 1996, IEEE Trans. Software Eng..

[85]  J. Michael Spivey,et al.  Understanding Z : A specification language and its formal semantics , 1985, Cambridge tracts in theoretical computer science.

[86]  Cécile Péraire,et al.  A Theory of Specification-Based Testing for Object-Oriented Software , 1996, EDCC.

[87]  Cécile Péraire.  Une Méthode de Tests Fonctionnelle Générale , 1995 .

[88]  Didier Buchs,et al.  Structured Algebraic Nets with Object-Orientation , 1995 .