状态图法.doc

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