NDLI: In black and white: an integrated approach to class-level testing of object-oriented programs

Content Provider	ACM Digital Library
Author	Chan, F. T. Tse, T. H. Chen, Huo Yan Chen, T. Y.
Copyright Year	1998
Abstract	Because of the growing importance of object-oriented programming, a number of testing strategies have been proposed. They are based either on pure black-box or white-box techniques. We propose in this article a methodology to integrate the black- and white-box techniques. The black-box technique is used to select test cases. The white-box technique is mainly applied to determine whether two objects resulting from the program execution of a test care are observationally equivalent. It is also used to select test cases in some situations. We define the concept of a fundamental pair as a pair of equivalent terms that are formed by replacing all the variables on both sides of an axiom by normal forms. We prove that an implementation is consistent with respect to all equivalent terms if and only if it is consistent with respect to all fundamental pairs. In other words, the testing coverage of fundamental pairs is as good as that of all possible term rewritings, and hence we need only concentrate on the testing of fundamental pairs. Our strategy is based on mathematical theorems. According to the strategy, we propose an algorithm for selecting a finite set of fundamental pairs as test cases. Given a pair of equivalent terms as a test case, we should then determine whether the objects that result from executing the implemented program are observationally equivalent. We prove, however, that the observational equivalence of objects cannot be determined using a finite set of observable contexts (which are operation sequences ending with an observer function) derived from any black-box technique. Hence we supplement our approach with a “relevant observable context” technique, which is a heuristic white-box technique to select a relevant finite subset of the set of observable contexts for determining the observational equivalence. The relevant observable contezxts are constructed from a data member relevance graph (DRG), which is an abstraction of the given implementation for a given specificatin. A semiautomatic tool hass been developed to support this technique.
Starting Page	250
Ending Page	295
Page Count	46
File Format	PDF
ISSN	1049331X
e-ISSN	15577392
DOI	10.1145/287000.287004
Volume Number	7
Issue Number	3
Journal	ACM Transactions on Software Engineering and Methodology (TOSEM)
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1998-07-01
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Abstract data types Algebraic specification Object-oriented programming Observational equivalence Software-testing methodologies
Content Type	Text
Resource Type	Article
Subject	Software

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

The ASTOOT approach to testing object-oriented programs

In Black and White: An Integrated Approach to Class-Level Testing of Object-Oriented Programs (1998)

In black and white: an integrated approach to class-level testing of object-oriented programs (1998)

Equality to Equals and Unequals: A Revisit of the Equivalence and Nonequivalence Criteria in Class-Level Testing of Object-Oriented Software

In black and white: an integrated approach to class-level testing of object-oriented programs (1998)

TACCLE: a methodology for object-oriented software Testing At the Class and Cluster LEvels (2001)

TACCLE: a methodology for object-oriented software Testing At the Class and Cluster LEvels (2001)

Direct Implementation of Algebraic Specification of Abstract Data Types

Tools for Testing Object-Oriented Programs (1990)

In black and white: an integrated approach to class-level testing of object-oriented programs

Similar Documents

The ASTOOT approach to testing object-oriented programs

In Black and White: An Integrated Approach to Class-Level Testing of Object-Oriented Programs (1998)

In black and white: an integrated approach to class-level testing of object-oriented programs (1998)

Equality to Equals and Unequals: A Revisit of the Equivalence and Nonequivalence Criteria in Class-Level Testing of Object-Oriented Software

In black and white: an integrated approach to class-level testing of object-oriented programs (1998)

TACCLE: a methodology for object-oriented software Testing At the Class and Cluster LEvels (2001)

TACCLE: a methodology for object-oriented software Testing At the Class and Cluster LEvels (2001)

Direct Implementation of Algebraic Specification of Abstract Data Types

Tools for Testing Object-Oriented Programs (1990)

In black and white: an integrated approach to class-level testing of object-oriented programs