基于模型的测试(MBT)和SpecExplorer

十多年来,Microsoft在其内部开发流程中成功应用了基于模型的测试(MBT)。事实证明,对于各种内部和外部软件产品而言,MBT是非常成功的方法。这些年来,这种方法采用得越来越多。 要生成高质量的软件,需要在测试阶段进行大量的工作,这可能是软件开发过程中成本最高、工作量最大的部分。 从最简单的功能黑盒测试到重量级的方法,包括定理证明程序以及形式化需求说明,有很多方法可以提高测试可靠性和效率。 但是,测试并不总是能达到必要的细致程度,经常缺乏规范和方法体系。 十多年来,Microsoft在其内部开发流程中成功应用了基于模型的测试(MBT)。 事实证明,对于各种内部和外部软件产