基于模型的软件测试综述  

Survey of Model-Based Software Testing

作　　者：颜炯[1] 王戟[1] 陈火旺[1] 

机构地区：[1]国防科技大学计算机学院,长沙410073

出　　处：《计算机科学》2004年第2期184-187,共4页Computer Science

基　　金：国家自然科学基金(90104007;60233020);863计划(2001AA113202;2001AA113190)

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

关 键 词：软件工程 软件测试 面向对象 软件开发 软件可靠性 程序代码 软件系统 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]