모델기반 테스트 기법 및 무장통제장치 적용 사례 = A Model-based Test Approach and Case Study for Weapon Control System

다국어 초록 (Multilingual Abstract)

Model-based test, a well-known method of the black box tests, is consisted of the following four steps : model construction using requirement, test case generation from the model, execution of a SUT (software under test) and detection failures. Among models constructed in the first step, state-based models such as UML standard State Machine are commonly used to design event-based embedded systems (e.g., weapon control systems). To generate test cases from state-based models in the next step, coverage-based techniques such as state coverage and transition coverage are used. Round-trip path coverage technique using W-Method, one of coverage-based techniques, is known as more effective method than others. However it has a limitation of low failure observability because the W-Method technique terminates a testing process when arrivals meet states already visited and it is hard to decide the current state is completely same or not with the previous in the case like the GUI environment. In other words, there can exist unrevealed faults. Therefore, this study suggests a Extended W-Method. The Extended W-Method extends the round-trip path to a final state to improve failure observability. In this paper, we compare effectiveness and efficiency with requirement-item-based technique, W-Method and our Extended W-Method. The result shows that our technique can detect five and two more faults respectively and has the performance of 28 % and 42 % higher failure detection probability than the requirement-item-based and W-Method techniques, respectively.

참고문헌 (Reference)

1 "http://www.omg.org/spec/ UML/2.3/Infrastructure/PDF"

2 L. Briand, "Using Simulation to Empirically Investigate Test Coverage Criteria based on Statechart" 86 (86): 2004-,

3 R. Binder, "Testing Object-Oriented Systems" 2000

4 El‐Far, "Model-Based Software Testing" 2001

5 N. E. Holt, "Empirical Evaluations on the Cost-Effectiveness of State-based Testing : An Industrial Case Study" 56 (56): 890-910, 2014

6 C. Mingsong, "Automatic Test Case Generation for UML Activity Diagrams" 2-8, 2006

7 S. Kansomkeat, "Automated-Generating Test Case using UML Statechart Diagrams" 296 (296): 2003-,

8 L. C. Briand, "Assessing and Improving State-based Class Testing : A Series of Experiments" 30 (30): 770-783, 2004

9 A. C. Dias Neto, "A Survey on Model-based Testing Approaches : a Systematic Revie" 31 (31): 2007-,

10 G. Antoniol, "A Case Study Using the Round-Trip Strategy for State-Based Class Testing" 269 (269): 2002-,