基于模型的软件测试综述

随着面向对象软件开发技术的广泛应用和软件测试自动化的要求，特别是基于UML的软件开发技术的逐渐普及，基于模型的软件测试逐渐得到了软件开发人员和软件测试人员的认可和接受。针对被测试软件的不同特征和不同测试目的，已经提出了多种测试模型。本文详细阐述了基于模型的软件测试研究现状和应用现状，并对测试中使用的不同模型进行了比较，着重介绍了状态机模型、UML模型和马尔可夫链模型。最后提出了未来的研究方向。

Survey of Model-Based Software Testing

Software testing requires the use of models to guide test selection and test verification. Thus is the so-called model-based software testing, which has recently gained attention with the popularization of models (including UML) in software design and development. There are a number of models of software in use today, for example, finite state machines, UML model and Markov chain, which server as models for testing. This paper introduces model-based testing and discusses its applications in general terms with finite state models and Markov chain model as examples. In addition, advantages, difficulties, and shortcoming of various model-based approaches are concisely presented. Finally, we close with a discussion of the future research directions of model-based testing in software engineering.