Papers/System Test based on a State Chart

Scenario-Based Test Case Generation for State-Based Embedded Systems

tomato13 2008. 2. 16. 20:07

http://ieeexplore.ieee.org/iel5/8553/27061/01203716.pdf?arnumber=1203716

 

논문의 핵심은 Requirment기반 State/Event Tree 만들고 이로부터 Test case를 뽑아내는 것이다. 이러한 방법은 이전에 많이 연구가 되었는데 논문에서는 실제 적용 사례를 소개하면서 practical approach라는 것을 강조한다.... 그리고 SET(state/event tree)를 어떻게 수학적으로 표기할 수 있고 이를 XML이라는 format으로 관리할 수 있는지 설명한다. 그리고 SET를 어떻게 검증할 수 있는지에 대해서도 설명을 한다.