Browse > Article
http://dx.doi.org/10.3745/KIPSTD.2007.14-D.2.191

An Alloy Specification Based Automated Test Data Generation Technique  

Chung, In-Sang (한성대학교 컴퓨터공학과)
Publication Information
The KIPS Transactions:PartD / v.14D, no.2, 2007 , pp. 191-202 More about this Journal
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 een 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.
Keywords
Program Testing; Automated Test Data Generation; Alloy;
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
1 Howden, 'Symbolic Testing and the DISSECT Symbolic Evaluation System', IEEE Trans on Software Eng., Vol.1, No.4, pp.266-2781,1977
2 Gallagher, M. J. and Narasimhan, V. L. ADTEST: A Test Data Generation Suite for Ada Software Systems', IEEE Trans. on Software Eng., Vol.23, No.8, pp.473-484, 1997   DOI   ScienceOn
3 Korel, B. 'Automated Software Test Data Generation', I EEE Trans. onSoftware Eng., Vol.16, No.8, pp.870-879, 1990   DOI   ScienceOn
4 Roger, F., Korel, D, 'The Chaining Approach for Software Test Data Generation', ACM Trans. un Soft. Eng Methodofogy, Vol.5. No.1. pp.63-86, 1996   DOI
5 Andoni, A.. Daniliuc. D.. Khurshid, S., and MariNov, D., 'Evaluating the Small Scope Hypoththesis', Technical Report 921, MIT Lab for Computer Science, Feb., 2003
6 Offutt, J., Pan, J., 'The Dynamic Domain Heduction Approach to Test Data Generation', Software Practice and Experience, Vol.29, No.2, pp.167-193, 1997
7 Cytron, R. Ferrante, J., Rosen, B. K., Wegman, M. N., Zadeck, F. K., 'Efficiently Computing Static Single Assignment Form and the Control Dependence Graph', ACM Trans on Programming Languages and Systems, Vol. 13, No. 4, pp. 451-490, 1991   DOI
8 Clarke, L. A., 'A System to Generate Test Data and Symbolic Execute Program', IEEE Trans. on Software Eng. Vol.2, No.3, pp.215-222, 1976   DOI
9 McMinn, P., 'Search based Soft ware Test Data Genertation: A Survey', Software Testing, Verification and Reliability, Vol.14, No.2, pp.105-156, 2004   DOI   ScienceOn
10 Frankl, P. G. and Weyuker, E. J., 'An Applicable Family of Data Flow Testing Criteria', IEEE Trans on Software Eng., Vol.14, No.10, pp.1483-1498, 1988   DOI   ScienceOn
11 Jackson, D., 'Alloy: A light weight object modeling Notation', Technical Report 797, MIT Lab for Computer Science, Feb., 2000
12 Jackson, D., Alloy 3.0 Reference Manual, http://allov.mil.edu, 2004
13 Jackson, D. and Vaziri, M., 'Finding Bugs with a Constraint Solver', In Proc. International Conf. on Software Testing and Analysis, 2000   DOI
14 Ince, D., 'The Automatic Generation of Test Data', The Computer Journal, Vol.30, No.1, pp.63-69, 1987   DOI   ScienceOn
15 Weyuker, E. J.., 'Testing Non testable Programs', The Computer Journal, Vol.25, No.4, pp.465-470, 1982   DOI   ScienceOn
16 Edvardsson, J., 'A Survey on Automatic Test Data Generation', In Proc. the second Conf. on computer Science and Engineering, pp.21-28, 1999
17 정인상, '자동화된 프로그램 시험을 위한 입력 자료구조의 모양 식별', 한국정보과학회 논문지, 제31권 제10호, pp.1304-1319, 2004   과학기술학회마을
18 정인상, 'SGEN: 자동 프로그램 테스팅을 위한 입력 자료 구조 생성기', 한국정보과학회, 소프트웨어공학회지, 18권 4호, pp. 39-50, 2005