The KIPS Transactions:PartD (정보처리학회논문지D)

Korea Information Processing Society (한국정보처리학회)
권호 표지
DOI QR코드

DOI QR Code

An Alloy Specification Based Automated Test Data Generation Technique

Alloy 명세 기반 자동 테스트 데이터 생성 기법

  • Published : 2007.04.30
Download PDF
⟨ Previous Next ⟩

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.

일반적으로 테스트 데이터 생성 방법들은 테스트 데이터를 자동으로 생성하기 위해서 완전한 프로그램 경로를 기술한 것을 요구한다. 이 논문에서는 프로그램 경로를 완전하게 명시하지 않아도 테스트 데이터를 자동으로 생성하는 새로운 방법을 제안한다. 이를 위해 이 논문에서는 테스트 대상 프로그램을 1차 관계 논리 언어인 Alloy로 변환하고 Alloy 분석기를 통하여 테스트 데이터를 생성하는 방법을 제안한다. 제안된 방법은 사용자로 하여금 프로그램 경로를 선택하도록 하는 부담을 덜어줄 뿐만 아니라 다양한 테스트 적합성 기준에 따라 테스트 데이터를 생성하는 일을 용이하게 한다. 간단하지만 설명에 도움이 될 수 있는 예들을 통하여 제안한 방법에 대해 설명한다.

Keywords

References

  1. Ince, D., 'The Automatic Generation of Test Data', The Computer Journal, Vol.30, No.1, pp.63-69, 1987 https://doi.org/10.1093/comjnl/30.1.63
  2. Weyuker, E. J.., 'Testing Non testable Programs', The Computer Journal, Vol.25, No.4, pp.465-470, 1982 https://doi.org/10.1093/comjnl/25.4.465
  3. Edvardsson, J., 'A Survey on Automatic Test Data Generation', In Proc. the second Conf. on computer Science and Engineering, pp.21-28, 1999
  4. McMinn, P., 'Search based Soft ware Test Data Genertation: A Survey', Software Testing, Verification and Reliability, Vol.14, No.2, pp.105-156, 2004 https://doi.org/10.1002/stvr.294
  5. 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 https://doi.org/10.1109/32.6194
  6. Jackson, D., 'Alloy: A light weight object modeling Notation', Technical Report 797, MIT Lab for Computer Science, Feb., 2000
  7. Jackson, D., Alloy 3.0 Reference Manual, http://allov.mil.edu, 2004
  8. Jackson, D. and Vaziri, M., 'Finding Bugs with a Constraint Solver', In Proc. International Conf. on Software Testing and Analysis, 2000 https://doi.org/10.1145/347324.383378
  9. Andoni, A.. Daniliuc. D.. Khurshid, S., and MariNov, D., 'Evaluating the Small Scope Hypoththesis', Technical Report 921, MIT Lab for Computer Science, Feb., 2003
  10. 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
  11. 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 https://doi.org/10.1145/115372.115320
  12. 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 https://doi.org/10.1109/TSE.1976.233817
  13. Howden, 'Symbolic Testing and the DISSECT Symbolic Evaluation System', IEEE Trans on Software Eng., Vol.1, No.4, pp.266-2781,1977
  14. 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 https://doi.org/10.1109/32.624304
  15. Korel, B. 'Automated Software Test Data Generation', I EEE Trans. onSoftware Eng., Vol.16, No.8, pp.870-879, 1990 https://doi.org/10.1109/32.57624
  16. 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 https://doi.org/10.1145/226155.226158
  17. 정인상, '자동화된 프로그램 시험을 위한 입력 자료구조의 모양 식별', 한국정보과학회 논문지, 제31권 제10호, pp.1304-1319, 2004
  18. 정인상, 'SGEN: 자동 프로그램 테스팅을 위한 입력 자료 구조 생성기', 한국정보과학회, 소프트웨어공학회지, 18권 4호, pp. 39-50, 2005