An Alloy Specification Based Automated Test Data Generation Technique


The KIPS Transactions:PartD, Vol. 14, No. 2, pp. 191-202, Apr. 2007
10.3745/KIPSTD.2007.14.2.191,   PDF Download:

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
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


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.