1.定义：
是一种基于产品规格分析，对系统的每个状态及与状态相关的函数进行测试，通过不同的状态验证程序的逻辑流程
2.任何一个系统，如果对同一个输入，根据不同的状态，可以得到不同的输出，就是一个有限状态系统
3.有限状态机表示有限个状态以及在这些状态之间的转移和动作等行为的数学模型
4.有限状态机，可以用状态图，状态表，状态树表示
以播放器程序为例，建立状态转换图
状态图转换状态树
1、将初始状态或开始状态作为状态转换树的根，根在整个状态转换树中的层次是1
2、假设当前生成状态转换树的层次为K,那么从左到右检查所有层次为K上的节点，将该节点对应的所有下一个可能的状态作为他的子节点，状态之间的转换作为两个状态的边
3、重复步骤2，直到一个位于层次K上的节点出现在层次J上，且J小于等于K,那么这个节点就成为最终的节点，而无需继续生成其子节点；或者节点的状态是结束状态，也不需要针对该节点继续进行状态转换
设计测试用例
