浅谈MBT基于模型的测试技术

基于模型的测试是一个轻量级的,形式化的验证软件系统的方法。为什么这么说呢,因为首先,基于模型的测试对待测软件系统(通常被称为SystemUnderTest,简称SUT)进行形式化的建模, 很多朋友可能已经听说了SpecExplorer是一款强大的测试工具,但却不是很了解所谓的基于模型的测试到底是什么,这篇文章可以让你对模型测试有一个大致的认识。 如果你在互联网上搜索“Model-BasedTesting”(即基于模型的测试,简称MBT),你将发现大量的信息。基于模型的测试并不是一个新生事物,也不局限于SpecExplorer这一工具,而是一个在学术界和工业界都已存在多年的概念。只是诸如Spec