[黑盒测试基本方法]状态迁移法.docxVIP

状态迁移法 一、概念 1．什么是状态迁移法 在定义状态迁移法之前，先介绍一下程序的功能说明。一个程序的功能说明通常由动态说明和静态说明组成。动态说明描述了输入数据的次序或转移的次序。静态说明描述了输入条件与输出条件之间的对应关系。对于较复杂的程序，由于存在大量的组合情况，因此，仅用静态说明组成的规格说明对于测试来说往往是不够的，必须用动态说明来补充功能说明。 功能图方法是用功能图形式化地表示程序的功能说明，并机械地生成功能图的测试用例。功能图模型由状态迁移图和逻辑功能模型构成： 状态迁移图用于表示输入数据序列以及相应的输出数据。用状态和迁移来描述一个状态指出数据输入的位置（或时间），而迁移则指