基本信息

---

下载

文档摘要

---

状态迁移法

一、概念1．什么是状态迁移法

在定义状态迁移法之前，先介绍一下程序的功能说明。一个程序的功能说明通常由动态说明和静态说明组成。动态说明描述了输入数据的次序或转移的次序。静态说明描述了输入条件与输出条件之间的对应关系。对于较简单的程序，由于存在大量的组合状况，因此，仅用静态说明组成的规格说明对于测试来说往往是不够的，必需用动态说明来补充功能说明。

功能图方法是用功能图形式化地表示程序的功能说明，并机械地生成功能图的测试用例。功能图模型由状态迁移图和规律功能模型构成：

状态迁移图用于表示输入数据序列以及相应的输出数据。用状态和迁移来描述一个状态指出数据输入的位置〔或