Alloy 명세 기반 자동 테스트 데이터 생성 기법
An Alloy Specification Based Automated Test Data Generation Technique
0
조회
0
다운로드
2
인용
0
참고문헌
키워드
초록
일반적으로 테스트 데이터 생성 방법들은 테스트 데이터를 자동으로 생성하기 위해서 완전한 프로그램 경로를 기술할 것을 요구한다. 이 논문에서는 프로그램 경로를 완전하게 명시하지 않아도 테스트 데이터를 자동으로 생성하는 새로운 방법을 제안한다. 이를 위해 이 논문에서는 테스트 대상 프로그램을 1차 관계 논리 언어인 Alloy로 변환하고 Alloy 분석기를 통하여 테스트 데이터를 생성하는 방법을 제안한다. 제안된 방법은 사용자로 하여금 프로그램 경로를 선택하도록 하는 부담을 덜어줄 뿐만 아니라 다양한 테스트 적합성 기준에 따라 테스트 데이터를 생성하는 일을 용이하게 한다. 간단하지만 설명에 도움이 될 수 있는 예들을 통하여 제안한 방법에 대해 설명한다.
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.
참고문헌 (17)
- "The Automatic Generation of Test Data", 30(1), pp.63~69 (1987), Ince
- "A Survey on Automatic Test Data Generation", pp.21~28 (1999)
- "Search-based Software Test Data Generation: A Survey", 14(2), pp.105~156 (2004)
- "An Applicable Family of Data Flow Testing Criteria IEEE Trans on Software Eng.", 14.(10. pp.1483-1498) (1988)
- "Alloy: A light weight object modeling Notation" (2000), MIT Lab for Computer Science
- "Alloy 3.0 Reference Manual" (2004)
- "Finding Bugs with a Constraint Solver" (2000)
- "Evaluating the Small Scope Hypoththesis" (2003), MIT Lab for Computer Science
- "The Dynamic Domain Reduction Approach to Test Data Generation", 29(2), pp.167~193 (1997)
- "ACM Trans on Programming Languages and Systems. Vol. 13. No. 4. pp. 451-490" (1991)
- "A System to Generate Test Data and Symbolically Execute Program IEEE Trans. on Software Eng. Vol.2. No.3. pp.215-222" (1976)
- "Symbolic Testing and the DISSECT Symbolic Evaluation System", ieee trans on software eng., pp.1977~
- "ADTEST: A Test Data Generation Suite for Ada Software Systems", 23(8), pp.473~484 (1997)
- "Automated Software Test Data Generation", ieee trans. onsoftware eng., pp.1990~
- "The Chaining Approach for Software Test Data Generation", 5(1), pp.63~86 (1996)
- "자동화된 프로그램 시험을 위한 입력 자료구조의 모양 식별", 31(10), pp.1304~1319 (2004)
- "SGEN: 자동 프로그램 테스팅을 위한 입력 자료 구조 생성기", 18(4), pp.39~50 (2005), 한국정보과학회