模型驱动的软件测试技术

一、引言 　　模型驱动的软件测试（Model-Driven Test）技术是针对软件中的一些常见的软件模型而提出的一种测试技术，如故障模型、安全模型、死锁模型等。模型驱动的软件测试以明确描述系统预期行为的抽象模型为依据，根据模型覆盖测试准则自动生成抽象的测试用例，自动地产生测试脚本，执行测试并自动评价测试结果，从而有效提高测试效率。这一技术正成为当前软件工程学术界研究的一个重要方向。 　　近年来，

>>阅读原文<<