Automatic Model Based Methods to Improve Test Effectiveness

http://unicse.org/october2010/Automatic%20Model%20Based%20Methods%20to%20Improve%20Test%20Effectiveness.pdf

이 논문에서 관심있게 본 내용은 다음과 같았다.

In this paper, the formal model is driven from the application itself, which is the opposite of the usual use of formal methods for the purpose of generating the code from the formal model

The tool generates a GUI tree model from the implementation using its metadata.

즉, formal model을 AUT(Application under test)에서 자동으로 생성하겠다는 것이다. 

(여기서 formal model이라는 것은 각각의 GUI state들과 이들 간의 event관계를 나타내는 model이다.)

이것이 어떻게 가능할까? 논문에서는 처음 GUI 설계시 몇가지 적용해야 하는 가이드를 제시한다. 그리고 이를 기반으로 개발된 Application에 대해서는 formal model 자동생성이 가능한 것이다.