구조화된 자연어 요구사항으로부터 테스트 케이스 및 스크립트 생성
Generating Test Cases and Scripts from Requirements in Controlled Language
0
조회
0
다운로드
2
인용
0
참고문헌
키워드
초록
본 논문은 신뢰성 있는 임베디드 시스템 소프트웨어 개발을 위해 제한된 자연어 형식으로 작성된 소프트웨어 요구사항으로부터 테스트 케이스 및 테스트 스크립트를 생성하는 방안을 제안한다. 제안하는 방법에서는 자연어로 기술된 요구사항을 제한된 자연어 형식으로 작성하고, 이를 파싱하여 테스트에 사용되는 입력, 출력 및 연산자를 추출한다. 추출된 정보를 이용하여 Decision Coverage, Condition Coverage, Modified Condition/ Decision Coverage와 같은 테스트 케이스 생성 전략을 적용하여 테스트 케이스를 생성한다. 또한 테스트 명령어 사전을 이용하여 임베디드 시스템의 물리적인 입력 값인 테스트 스크립트를 생성한다. 제안한 방법을 이용하면, 개발된 소프트웨어가 요구사항에 적합하게 개발되었는지를 직접적으로 테스트하는 것이 가능하다. 제안한 방법의 효과는 요구사항 세트에 적용하여 실험적으로 보인다.
Abstract
This paper proposes a method to generate test cases and test scripts from software requirements written in a controlled natural language, which helps develop reliable embedded software. In the proposed method, natural language requirements are written in a controlled language, the requirements are parsed and then inputs, outputs and operator data are extracted from the requirements. Test cases are generated from the extracted data following test case generation strategies such as decision coverage, condition coverage or modified condition/decision coverage. And then the test scripts, physical inputs of the test cases are generated with help of the test command dictionary. With the proposed method, it becomes possible to directly check whether software properly satisfies the requirements. Effectiveness of the proposed method is verified empirically with an requirement set.
참고문헌 (20)
- Rolf Schwitter, "Controlled Natural Languages for Knowledge Representation", Coling 2010: Poster Volume, pp.1113~1121 (2010)
- L. H. Tahat, "Requirement-based automated black-box test generation", Proceeding of the 25th Annual International Computer Software and Applications Conference, pp.489~495 (2001)
- P. S. Loo, "Random Testing Revisited", Information and Software Technology, 30(7), pp.402~417 (1988)
- Rick Kuhn, "Combinatorial Software Testing", IEEE Computer Society, 42(8), pp.94~96 (2009)
- M. Conrad, "Model-based Generation and Structured Representation of Test Scenarios", Workshop on Software-Embedded Systems Testing (WSEST) (1999)
- H. S. Park, "Generating Structural Test Cases for MATLAB Stateflow Model Using Rapidly-exploring Random Tree", doctor, Engineering, pp.2014
- M. Utting, "Practical Model-Based Testing:A Tools Approach" (2007), Morgan kaufmann
- Test case derived from Requirement Specifications, "C. Denger", IESE, ~, pp.Report No.033.03 (2003), E version 1.0
- 강태훈, "임베디드 시스템 테스팅을 위한 체크리스트로부터 테스트 스크립트 자동 생성 방안", 정보처리학회 논문지, 5(12), pp.641~652 (2016), 한국정보처리학회[DOI]
- Rules of SRS for the SRS Adequacy Test, "K. W. Kwon", KIMST, ~ (2018)
- A. P. Mathur, "Foundations of Software Testing" (2008), Pearson Education
- "KOMORAN"[URL]
- 김대준, "테스트 스크립트 자동 생성을 위한 계층 구조 체크리스트", 정보처리학회 논문지, 6(5), pp.245~256 (2017), 한국정보처리학회[DOI]
- Automatically Generating Simulink, "Stateflow Model and Test Case from Requirements", H. D. Kim, 2017
- "The Yices SMT Solver"[URL]
- "Functional-Safety"[URL]
- "ASD Simplified Technical ENGLISH ASD-STE100"[URL]
- Alun Preece, "Integrating Hard and Soft Information Sources for D2D Using Controlled Natural Language", 2012 15th International Conference on Information Fusion, pp.1330~1337 (2012)
- FlaLavia A. Barros, "The ucsCNL: A Controlled Natural Language for Use Case Specifications", SEKE, pp.250~253 (2011)