임베디드 시스템 테스팅을 위한 체크리스트로부터 테스트 스크립트 자동 생성 방안 = A Method to Automatically Generate Test Scripts from Checklist for Testing Embedded System

다국어 초록 (Multilingual Abstract)

This paper proposes a method to generate test scripts in an automatic manner, based on checklist used for testing embedded systems in the fields. The proposed method can reduce the mistakes which may be introduced during manual generation. In addition, it can generate test scripts to test various mode combinations, which is not possible to be tested by the typical checklist. The test commands in a checklist are transformed into a test script suit referencing the signal values defined in a test command dictionary. In addition, the method to generate test scripts in sequential, double permutation and random manners is proposed useful to test the inter-operations between modes, a series of operations for a specific behavior. The proposed method is implemented and the feasibility is shown through the experiments.

참고문헌 (Reference)

1 정소영, "임베디드 시스템을 위한 상태 전이 모델 기반 테스트 케이스 생성 기법" 한국정보기술학회 9 (9): 11-21, 2011

2 신재혁, "변형된 Classification Tree Method를 이용한 BLDC 모터제어기 파괴 시험" 한국정보처리학회 3 (3): 201-214, 2014

3 M. R. Keyvanpour, "utomatic Software Test Case Generation: An Analytical Classification Framework" 6 (6): 2012

4 lvar Jacobson, "Use Case Modeling" Addison-Wesley 2002

5 A. Hartman, "The AGEDIS Tools for Model Based Testing" 129-132, 2004

6 Joseph Schmuller, "Teach yourself UML in 24 Hours, 3/E"

7 The International Engineering Consortium, "Specification and Description Language(SDL)"

8 Paul C. Jorgensen, "Software Testing: A Craftsman's Approach, 4/E" CRC Press 2016

9 K. P. Chan, "Restricted Random Testing" 321-330, 2002

10 P. S. Loo, "Random Testing Revisited" 30 (30): 402-417, 1988

11 M. Utting, "Practical Model-Based Testing:A Tools Approach" Morgan kaufmann 2007

12 Ivar Jacobson, "Object-Oriented Software Engineering: A Use-Case-Driven Approach" Addison-Wesley 1992

13 M. Conrad, "Model-based Generation and Structured Representation of Test Scenarios" 1999

14 Alexander Pretschner, "Model-Based Testing" 723-822,

15 AGEDIS Consortium, "Model Based Test Generation Tools"

16 Yu Lei, "In-Parameter-Order: A Test Generation Strategy for Pairwise Testing" 1998

17 H. S. Park, "Generating Structural Test Cases for MATLAB Stateflow Model Using Rapidly-exploring Random Tree" Ajou Univ 2014

18 A. P. Mathur, "Foundations of Software Testing" Pearson Education 2008

19 U. S. NRC, "Fault Tree Handbook (NUREG-0492)" US 1981

20 T. Y. Chen, "Does Adaptive Random Testing Deliver a Higher Confidence than Random Testing" 145-154, 2008

21 Rick Kuhn, "Combinatorial Software Testing" IEEE 2009

22 M. Grochtmann, "Classification Trees for Partition Testing" 3 (3): 63-82, 1993

23 J. Y. Seo, "Automating Embedded software Testing on an Emulated Target Board" 2007

24 P. M. Kruse, "Automated test case generation using classification trees" 2010

25 Junyeon Hwang, "Auto Test Script Generation Based on Checklist" Ajou University 2015

26 T. Y. Chen, "Adaptive random testing" 320-329, 2004

27 Kuo Chung Tai, "A Test Generation Strategy for Pairwise Testing" 28 (28): 109-111, 2002

28 K. J. Hayhurst, "A Practical Tutorial on Modified Condition/Decision Coverage" NASA 2001