A Goal-oriented Test Data Generation for Programs with Pointers based on SAT

In-Sang Chung

A Goal-oriented Test Data Generation for Programs with Pointers based on SAT

In-Sang Chung, Journal of Internet Computing and Services, Vol. 9, No. 2, pp. 89-106, Apr. 2008
Full Text:

Keywords: Program Testing, Automated Program Test Data Generation, SAT, First-order Relational Language, Alloy

Abstract

So far, most of research on automated test data generation(ATDG) deals with programs without pointers. Recently, few works hove been done on ATDG in the presence of pointers, but they ore path-oriented techniques which require the specification of on entire program path to be tested or a program to be executed. This paper presents a new technique for generating test data even without specifying a program path completely. The presented technique is a static technique which transforms the test data generation problem into a SAT(SATisfiability) problem and makes advantage of SAT solvers for ATDG. For the ends, we transform a program under test into Alloy which is the first-order relational logic and then produce test data via Alloy analyzer.

Statistics

Show / Hide Statistics

Statistics (Cumulative Counts from November 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

[APA Style]

Chung, I. (2008). A Goal-oriented Test Data Generation for Programs with Pointers based on SAT. Journal of Internet Computing and Services, 9(2), 89-106.

[IEEE Style]

I. Chung, "A Goal-oriented Test Data Generation for Programs with Pointers based on SAT," Journal of Internet Computing and Services, vol. 9, no. 2, pp. 89-106, 2008.

[ACM Style]

In-Sang Chung. 2008. A Goal-oriented Test Data Generation for Programs with Pointers based on SAT. Journal of Internet Computing and Services, 9, 2, (2008), 89-106.