目录
一,状态迁移法的定义
状态迁移图法主要关注被测对象的状态变化,在需求规格说明书中是否有不可达到的状态和非法的状态,是否产生非法的状态迁移。
状态:被测对象在特定输入条件下所保持的 响应形式
对于一个有限状态机,通过测试验证其在给定的条件内是否能够产生需要的状态变化,有没有不可达的状态和非法的状态,是否可能产生非法的状态转移等。通过构造能导致状态迁移的事件,来测试状态之间的转换。
二,状态迁移法使用流程及案例
1,根据需求明确状态节点
需求分析:
- 客户向航空公司打电话预订机票。此时,机票信息处于“完成预订”状态;
- 顾客支付了机票款项后,机票信息变为“已支付”状态;
- 客户当天到达机场并使用身份证换领登机牌后,机票信息变为“已出票”状态;
- 检票登机后,机票信息变为“已使用”状态;