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를 어떻게 검증할 수 있는지에 대해서도 설명을 한다.
'Papers > System Test based on a State Chart' 카테고리의 다른 글
comparison with a previous manumal test based on a menu tree (0) | 2008.02.20 |
---|---|
Generating Test Sequences from UML Sequence Diagrams and State Diagrma (0) | 2008.02.17 |
highly used scenarios should be tested more (0) | 2008.02.16 |
fault injection (0) | 2008.02.15 |
A UML Virtual Machine for Embedded Systems (0) | 2008.02.10 |