Model checking and model-based test generation are both well proven techniques for improving the quality assurance process for software. Unfortunately, constructing the necessary models requires expertise beyond that held by most QA teams. Training these teams in abstract model construction would require much in terms of time, cost and effort, and might not be a viable option for many businesses when held up against the potential gains. This paper explores the process of constructing a model solely from a pre-existing test suite of an application. More specifically, it examines the viability of automating this process to give QA teams a tool for automatically enhancing their test suites. Due to the time constraints of this project, the goal of this paper is only to examine the requirements for such automatic generation, and not to actually implement any tools to achieve this.
分享
引用
