An Alloy Specification Based Automated Test Data Generation Technique 


Vol. 14,  No. 2, pp. 191-202, Apr.  2007
10.3745/KIPSTD.2007.14.2.191


PDF
  Abstract

In general, test data generation techniques require the specification of an entire program path for automated test data generation. This paper presents a new way for generating test data automatically even without specifying a program path completely. For the ends, this paper presents a technique for transforming a program under test into Alloy which is the first-order relational logic and then producing test data via Alloy analyzer. The proposed method reduces the burden of selecting a program path and also makes it easy to generate test data according to various test adequacy criteria. This paper illustrates the proposed method through simple, but illustrative examples.

  Statistics
  Cite this article

[IEEE Style]

I. S. Chung, "An Alloy Specification Based Automated Test Data Generation Technique," The KIPS Transactions:PartD, vol. 14, no. 2, pp. 191-202, 2007. DOI: 10.3745/KIPSTD.2007.14.2.191.

[ACM Style]

In Sang Chung. 2007. An Alloy Specification Based Automated Test Data Generation Technique. The KIPS Transactions:PartD, 14, 2, (2007), 191-202. DOI: 10.3745/KIPSTD.2007.14.2.191.

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