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

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