Who's Who in Object-Oriented Testing

About This List

Many people are making contributions to tools and concepts for testing object-oriented software. This work is taking place in many venues, all over the world.

The purpose of this list is to promote interest and facilitate sharing of ideas among researchers and tool developers.

The people on this list have either

• Completed or are working on an MS or Ph.D. thesis in oo testing, or
• Published an article or book in this area, or
• Developed a working oo testing tool.

Project descriptions have been provided by the participants and edited for brevity. Date of submission is suffixed to the entry (month/year).

Your humble list maintainer has been able to update this list about once every 18 months. I'd be happy to turn over this task to anyone who can do better.

Roger T. Alexander . Associate Professor, Department of Computer Science, Colorado State University, Ft. Collins, Colorado USA

Integration testing of object-oriented programs; Testing polymorphic relationships. CBAT - Coupling-based Analysis Tool for testing polymorphic relationships, static and dynamic analysis of OO programs. (02/01)

 

Stéphane Barbey . Research Assistant, Software Engineering Laboratory, Swiss Federal Institute of Technology in Lausanne (EPFL-DI-LGL), Switzerland

Functional unit testing of object-oriented software based on formal specifications. More information, bibliography, on-line publications, ... (07/97)

Fernand Bayer. Student, CNAM Conservatoire National des arts et métiers centre associé de Mulhouse (France.) Developer, N. Schlumberger & Cie.

Researching Object Oriented Software Validation, verification and test. I'm working on testability of OO software with real time applications, transaction driven applications, transaction monitor and management applications. I'm considering dynamic linking, needed determinism, formal methods, and data flow diagrams. (6/97)

Robert Binder. President, RBSC Corporation. Chicago, IL

 

Author of Testing Object-oriented Systems: Models, Patterns, and Tools . See the OO Biblography for other cites. (10/01).

Mark Blackburn. T-VEC Technologies, Inc., Software Productivity Consortium and George Mason University

T-VEC is an automatic test vector generator and specification analysis system. (3/97)

Misha Dorman. IPL Information Processing Ltd. Bath, England

Cantata and Cantata++ are unique software verification products which offers developers a complete solution to the verification of C and C++ software in a single cost-effective package. The tool provide automated facilities for Dynamic Testing, Coverage and Static analysis in a totally integrated environment. The product has been designed to offer high productivity and is exceptionally easy to use in both host and target environments. Cantata++ is a new tool specially designed to address the problems of testing object-oriented software written in C++. (3/97)

Donald Firesmith. Knowledge Systems Corporation

You can get my articles and conference papers from my annotated bibliography. (3/97)

Mark Foulkrod. Product Manager, SilverMark, Inc. Raleigh, NC

Smalltalk Test Mentor. Please refer to the Press Release. (3/97)

Beery Holstein. i-Logix Israel Ltd.

T++ - A Test Case Generator Using Code Abstraction (MS Thesis.) T++ is a C++ language extension that aids in systematic testing of C++ code. For each type used in the code, maintains the set of "typical" values. We propose an object-oriented testing scheme in which each class has a test method implemented as a static member function that runs a test script on the typical values. T++ supports this scheme by automatically generating a default type based on its declaration. This default can be easily tuned by the class implementor and users to reflect the particularities of the class. T++ also provides an easy-to-use mechanism for iterating over the typicals of a type. Thus, T++ gives a supporting environment for the design and implementation of test scripts with the familiar techniques of equivalence testing, boundary value analysis, or functional testing approaches. (6/97)

Jean-Marc Jézéquel . Research Manager, Irisa/CNRS , Rennes, France.

My book, Object-Oriented Software Engineering with Eiffel (Addison-Wesley, 1996), contains a full Chapter on Object-Oriented Validation & Verification. In this Chapter, it is discussed how testing can rely on the Design by Contract principle, and classes are seen as self-testable entities as much as possible (unit test cases are embedded with the class). (6/97)

Brian Marick. Testing Foundations

The Craft of Software Testing. A general-purpose book on test design, best suited to developers testing their own code. Four chapters extend the base techniques to object-oriented code. Related materials can be found at http://www.stlabs.com/marick/root.htm . (3/97)

Eliane Martins. Assistant Professor. Institute of Computing - Campinas State University (UNICAMP), Brasil

We don't have a tool yet. We are developping two of them: - one for aid in the construction of self-testing classes - another for testing on OO-fault tolerant applications. (3/97)

Muhammad Nadeem. Graduate Student, SZABIST (Shaheed Zulfikar Ali Bhutto Institute of Science and Technology )

Currently I am doing my PhD in Object oriented Testing: Data mining technique and testing using Obejct Oriented technique. (8/2001)

G.R. Satya Narayanan. Graduate Student. Dept. of Com.Sci & Auto., Indian Institute of Science, Bangalore.India.

Solve is a Test tool for OO Systems developed using Fusion Methodology. Solve is test tool which can be attached to any CASE tool built for Fusion. It is aimed at providing an integrated development and testing environment for Object Oriented Systems.The Test tool performs both White & Black box tests.White box tests are performed using Data-Flow testing strategy.A DataBase is also provided for the user to manage his test data efficiently.A GUI in X/Motif is provided to the user to aid him in viewing the CFGs as well as to select test paths , variables ( for DF testing ). The Testing process itself is performed in six phases. MethodLevel , Intra-Class , Inter-Class , ASF Level , Thread Level & the System Level. Progress So Far .... The Method Level has been completed, while the Intra-Class Level is mid-way through. (3/97)

Viktor Ohnjec. Genesis Development Corporation, Vice President, Professional Services.

Publications in Application Development Trends include: "Component Integration with Legacy Systems," discusses issues with legacy integration of components using object technology. Briefly includes consideration of testing issues, tools and techniques (February 1996.) "Under the Hood of Distributed Application Testing," describes how to test applications that use distributed object computing. Sidebar includes summary of test tools. Questions and answers with key industry figures included (June 1996.) "The Component Conundrum," describes component certification and testing issues including several industry trends and OMG related activities reviewed (December 1996.) "Converging on OOAD Agreement," summarizes OOAD convergence through OMG activity. Considers ramifications on testing of object oriented systems built with OOAD modeling. (6/97)