Generating Test Cases for Object - Oriented Design Specification 


Vol. 8,  No. 6, pp. 843-852, Dec.  2001
10.3745/KIPSTD.2001.8.6.843


PDF
  Abstract

Statistics concerning software errors indicate that more errors are introduced in analysis and design phase than implementation phase. Therefore, it is needed to check whether the design modeling is appropriate for own function and structure. This paper discussed the effective test method for the object-oriented design model, i.e., UML. A new method was proposed for generating test data. This method consists of category partition theory by the representation each element in UML model with OCL (Object Constraint Language). Test data generated in this way can be used for testing the source code functionality as well as for checking the design model.

  Statistics
  Cite this article

[IEEE Style]

E. M. Choi, "Generating Test Cases for Object - Oriented Design Specification," The KIPS Transactions:PartD, vol. 8, no. 6, pp. 843-852, 2001. DOI: 10.3745/KIPSTD.2001.8.6.843.

[ACM Style]

Eun Man Choi. 2001. Generating Test Cases for Object - Oriented Design Specification. The KIPS Transactions:PartD, 8, 6, (2001), 843-852. DOI: 10.3745/KIPSTD.2001.8.6.843.

Forms

Search
(IN TITLE, AUTHOR, ABSTRACT,KEYWORDS)

Advanced Search ▼

POPULAR KEYWORDS
(TOP 10 KEYWORDS)

Recent Publications
(LAST 3 YEARS)

Old Journals

Indexing

All publications of TKIPS is indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

TKIPS is also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).

Related Journals