软件测试方法与实践讲义-第八章.pptxVIP

第八章 基于状态的软件测试技术Tuesday,December10,1软件测试讲义

主要内容状态转换图状态图Harel状态图的属性从状态图变换到STDUML状态图基于状态的测试测试步骤产生测试用例覆盖分析12/10/2019第八章基于状态的软件测试技术2

回归测试简介12/10/2019第八章基于状态的软件测试技术3基于状态的软件测试技术是一种基于模型的测试技术（Model-BasedTesting，MBT）。MBT利用系统需求模型和特殊功能模型，自动生成有效的测试用例。一种定义明确的有限状态机常用来帮助描述系统的行为。从测试角度看，MBT技术带来的最大的好处是针对可用的有限状态机或变种，生成测试用例需要遍历状态机。MBT技术带来的所有益处都在一个假设条件下，即所建立的被测系统的状态机“正确地”描述了系统的行为；换句话说，模型的质量决定着MBT技术的成败。

回归测试简介12/10/2019第八章基于状态的软件测试技术4状态转换图（StateTransitionDiagram，STD作为一种图形化标记用来描述计算机系统。20世纪50年代中期，G.H.Mealy和E.F.Moore同时引入了两种状态转换图的基本模型，这两种模型在硬件设计领域一直发挥着重要的作用。近些年来，两种模型得到广泛扩展，增加了对诸如层次结构（Hierarchy）、适时（Timing）和通信这些方面的