Phyllis G. Frankl, Roong-Ko Doong  Home/Search
Context Related
| poly.edu/~phyllis/papers/pnsqc.90.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: poly.edu/~phyllis/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Data Types Before we can talk about testing a class, we must have some concept of what it means for the class to be correct. Thus, we must have some means, formal or informal, of specifying the abstract data type which the class is intended to implement. We now give an overview of a formal specification technique known as algebraic specification, upon which some of our testing techniques are based. Algebraic specification techniques [GOG78, GUT77, LIS75] describe a data abstraction by... (Update)
Context of citations to this paper: More
...tools and methods based on the A notation appear to be promising approaches to C component testing. For example, Frankl s [10] tool for generating test programs by analyzing axiomatic class specifications in order to generate two different paths (sequences of...
...for all these substates. Include the invalid values that are required when de referencing a pointer as mentioned in the previous section. [5] Add the features to test the for the substate values to the class. 6] Determine which substates a test for a change of value is...
Cited by: More
An Axiom-Based Test Case Selection Strategy for.. - Tse, Chan, Chen (1994) (Correct)
Software Design, Automated Testing, and Maintenance A.. - Daniel Hoffman And (Correct)
TACCLE: a methodology for object-oriented software Testing At .. - Chen, Tse, Chen (2001) (Correct)
Similar documents (at the sentence level):
18.6%: The ASTOOT Approach to Testing Object-Oriented Programs - Doong, Frankl (1994) (Correct)
Active bibliography (related documents): More All
0.4: Automatically Checking an Implementation against Its Formal.. - Antoy, Hamlet (1992) (Correct)
0.1: Generating A Test Oracle From Program Documentation - Peters (1995) (Correct)
0.1: Software Specification: A Comparison of Formal Methods - Gannon, Purtilo, Zelkowitz (2001) (Correct)
Similar documents based on text: More All
0.1: All-Uses versus Mutation Testing: An Experimental Comparison .. - Frankl, Weiss, Hu (1996) (Correct)
0.1: Evaluating Testing Methods by Delivered Reliability - Frankl, Hamlet, Littlewood, .. (1998) (Correct)
0.1: Testing Software to Detect and Reduce Risk - Frankl, Weyuker (2000) (Correct)
Related documents from co-citation: More All
6: Adequate testing and object-oriented programming (context) - Perry, Kaiser - 1990
6: Case Studies in Testing Object-Oriented Programs (context) - Frankl - 1991
5: A framework for testing object-oriented programs (context) - Smith, Robson - 1992
BibTeX entry: (Update)
Frankl, P. G. and Doong, R., Tools for Testing Object-Oriented Programs, in proceedings of the 8th Pacific NorthWest Conference on Software Quality, pp. 309 - 324, 1990 http://citeseer.ist.psu.edu/frankl90tools.html More
@inproceedings{ frankl90tools,
author = "P. G. Frankl and R. Doong",
title = "{Tools for Testing Object-Oriented Programs}",
booktitle = "Proceedings of the Pacific NorthWest Conference on Software Quality",
year = "1990",
url = "citeseer.ist.psu.edu/frankl90tools.html" }
Citations (may not include all citations):1274 Object-Oriented Software Construction (context) - Meyer - 1988
1002 Programming Language (context) - Stroustrup - 1986
492 Smalltalk-80: The Language and its Implementation (context) - Goldberg, Robson - 1983
44 Abstract data types and the development of data structures (context) - Guttag - 1977
33 On Testing Non-testable Programs (context) - Weyuker - 1982
27 An initial algebra approach to the specification, correctnes.. (context) - Goguen, Thatcher et al. - 1978
24 Specification Techniques for Data Abstractions (context) - Liskov, Zilles - 1975
16 Module test case generation (context) - Hoffman, Brealey - 1989
12 Abstract data type specification in the AFFIRM system (context) - Musser - 1980
9 Test Data Generation Using a Prolog with Constraints (context) - Choquet - 1986
9 Data-Abstraction Implementation, Specification, and Testing (context) - Gannon, McMullin et al. - 1981
4 Generation of Test Data from Algebraic Specifications (context) - --C, Marre - 1988
2 Automated Testcase Generation for Data Abstraction (context) - Jalote, Caballero - 1988
1 LOBAS Reference Manual (context) - Doong
1 Testing the completeness of specifications (context) - Jalote - 1989
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://cis.poly.edu/~phyllis/): More
Evaluating Testing Methods by Delivered Reliability - Frankl, Hamlet, Littlewood, .. (1998) (Correct)
A Formal Analysis of the Fault-detecting Ability of Testing.. - Frankl, Weyuker (1993) (Correct)
An Experimental Comparison of the Effectiveness of Branch.. - Frankl, Weiss (1993) (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