Testing polymorphic behavior

Neelam Soundarajan, Benjamin Tyler

Research output: Contribution to journalArticle

1 Citation (Scopus)

Abstract

Our goal is to investigate specification-based approaches to testing OO components. That is, given a class C and its specification, how do we test C to see if it meets its specification? Two important requirements that we impose on the testing approach are that it must not require access to the source code of the class under test; and that it should enable us to deal with the polymorphic behavior of classes. In this paper, we report on our work towards developing such a testing approach.

Original languageEnglish
Pages (from-to)173-188
Number of pages16
JournalJournal of Object Technology
Volume1
Issue number3
Publication statusPublished - 2002
Externally publishedYes

Fingerprint

Specifications
Testing

ASJC Scopus subject areas

  • Software
  • Computational Theory and Mathematics

Cite this

Testing polymorphic behavior. / Soundarajan, Neelam; Tyler, Benjamin.

In: Journal of Object Technology, Vol. 1, No. 3, 2002, p. 173-188.

Research output: Contribution to journalArticle

Soundarajan, N & Tyler, B 2002, 'Testing polymorphic behavior', Journal of Object Technology, vol. 1, no. 3, pp. 173-188.
Soundarajan, Neelam ; Tyler, Benjamin. / Testing polymorphic behavior. In: Journal of Object Technology. 2002 ; Vol. 1, No. 3. pp. 173-188.
@article{089c103ba7304174ba3b6fc239d02e20,
title = "Testing polymorphic behavior",
abstract = "Our goal is to investigate specification-based approaches to testing OO components. That is, given a class C and its specification, how do we test C to see if it meets its specification? Two important requirements that we impose on the testing approach are that it must not require access to the source code of the class under test; and that it should enable us to deal with the polymorphic behavior of classes. In this paper, we report on our work towards developing such a testing approach.",
author = "Neelam Soundarajan and Benjamin Tyler",
year = "2002",
language = "English",
volume = "1",
pages = "173--188",
journal = "Journal of Object Technology",
issn = "1660-1769",
publisher = "Journal of Object Technology",
number = "3",

}

TY - JOUR

T1 - Testing polymorphic behavior

AU - Soundarajan, Neelam

AU - Tyler, Benjamin

PY - 2002

Y1 - 2002

N2 - Our goal is to investigate specification-based approaches to testing OO components. That is, given a class C and its specification, how do we test C to see if it meets its specification? Two important requirements that we impose on the testing approach are that it must not require access to the source code of the class under test; and that it should enable us to deal with the polymorphic behavior of classes. In this paper, we report on our work towards developing such a testing approach.

AB - Our goal is to investigate specification-based approaches to testing OO components. That is, given a class C and its specification, how do we test C to see if it meets its specification? Two important requirements that we impose on the testing approach are that it must not require access to the source code of the class under test; and that it should enable us to deal with the polymorphic behavior of classes. In this paper, we report on our work towards developing such a testing approach.

UR - http://www.scopus.com/inward/record.url?scp=3042684833&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=3042684833&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:3042684833

VL - 1

SP - 173

EP - 188

JO - Journal of Object Technology

JF - Journal of Object Technology

SN - 1660-1769

IS - 3

ER -