资源简介

1. 定义   状态迁移图法主要关注在测试状态转移的正确性上面。对于一个有限状态机,通过测试验证其在给定的条件内是否能够产生需要的状态变化,有没有不可达的状态和非法的状态,可能不可能产生非法的状态转移等。通过构造能导致状态迁移的事件,来测试状态之间的转换。   2. 应用的范围   一个功能的状态比较多的情况下,比如mp3,堆栈操作等.

资源截图

代码片段和文件信息

评论

共有 条评论