Neelam Soundarajan  Home/Search
Context Related
| ohiostate.edu/~neelam/pap...testing.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: ohiostate.edu/~neelam/pa...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Inheritance is an important feature of the OO approach that allows a designer to easily build a new derived class that extends the functionality of an existing base class. In order to exploit the full potential of inheritance to build systems incrementally, the designer must also be able to test and reason about the behavior of the derived class in an incremental manner. In this paper we develop a specification-based technique for testing both base and derived classes, with the specification... (Update)
Similar documents based on text: More All
0.6: An Informal Formal Method for Systematic JUnit Test Case.. - Stotts, Lindsey, Antley (2002) (Correct)
0.1: Exceptions in OO Languages: Using them and Reasoning about.. - Soundarajan, Fridella (Correct)
0.1: Preparing for Accreditation Under EC 2000: An Experience.. - Neelam Soundarajan.. (2000) (Correct)
BibTeX entry: (Update)
N. Soundarajan and B. Tyler. Specification-based incremental testing of object-oriented systems. In Q. Li, D. Firesmith, R. Riehle, G. Pour, and B. Meyer, editors, Technology of Object Oriented Languages and Systems 39, pages 35--44. IEEE Computer Society Press, 2001. http://citeseer.ist.psu.edu/soundarajan00specificationbased.html More
@misc{ soundarajan01specificationbased,
author = "N. Soundarajan and B. Tyler",
title = "Specification-based incremental testing of object-oriented systems",
text = "N. Soundarajan and B. Tyler. Specification-based incremental testing of
object-oriented systems. In Q. Li, D. Firesmith, R. Riehle, G. Pour, and
B. Meyer, editors, Technology of Object Oriented Languages and Systems 39,
pages 35--44. IEEE Computer Society Press, 2001.",
year = "2001",
url = "citeseer.ist.psu.edu/soundarajan00specificationbased.html" }
Citations (may not include all citations):1274 Object-Oriented Software Construction (context) - Meyer - 1997
1002 Programming Language (context) - Stroustrup - 1991
689 Systematic Software Development Using VDM - Jones - 1990
265 Proofs of correctness of data representations (context) - Hoare - 1972
206 The art of software testing (context) - Myers - 1979
153 Java Language Specication (context) - Gosling, Joy et al. - 1996
92 A behavioral notion of subtyping - Liskov, Wing - 1994
56 The astoot approach to testing object-oriented programs - Doong, Frankl - 1994
42 Test infected: Programmers love writing tests (context) - Beck, Gamma - 1998
42 Test infected: Programmers love writing tests (context) - Beck, Gamma - 1998
39 Abstract data types and software validation (context) - Guttag, Horowitz et al. - 1978
33 Essays on object oriented software engineering (context) - Berard - 1993
25 Automatically checking an implementation against its formal .. - Antoy, Hamlet - 2000
20 An initial algebra approach to the speci- cation (context) - Goguen, Thatcher et al. - 1978
14 Inheriting and modifying behavior - Soundarajan, Fridella - 1997
10 The algebraic specication of abstract data types (context) - Guttag, Horning - 1978
7 Understanding frameworks - Soundarajan - 1999
6 Testing renements of state-based formal specications (context) - Derrick, Boiten - 1999
6 A technique for the selective revalidation of oo software (context) - Hsia - 1997
6 Inheritance: From code reuse to reasoning reuse - Soundarajan, Fridella - 1998
4 The Object Constraint Langauge (context) - Warmer, Kleppe - 1999
3 Framework-based applications: From incremental development t.. - Soundarajan, Fridella - 2000
2 Incremental testing of oo class structures (context) - Harrold, McGregor et al. - 1992
2 A rewall concept for both control- ow and data- ow in regres.. (context) - White, Leung - 1992
2 Adequate testing and oo programming (context) - Perry, Kaiser - 1990
2 Oo programming { the problems of validation (context) - Smith, Robson - 1990
Documents on the same site (http://www.cis.ohio-state.edu/~neelam/papers/index.html): More
Communication Traces in the Verification of Distributed Programs - Soundarajan (Correct)
Exceptions in OO Languages: Using them and Reasoning about.. - Soundarajan, Fridella (Correct)
Behavioral Subtyping and Behavioral Enrichment of Multimethods - Soundarajan, Fridella (2000) (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