基于有限状态自动机极小化的Web应用系统测试

Testing Web Application System Based on the Minimization of Finite State Machine

有限状态自动机可以描述软件的行为,将Web应用系统转化成有限状态自动机的模型,该模型可以作为设计测试用例以及判定输出结果是否正确的基础。因此测试的问题转化成了检验自动机状态转移是否符合要求的问题。利用有限状态机的极小化理论方法,可以降低Web应用系统模型的状态空间规模,从而可以达到简化测试的目的。

Finite State Machine （FSM） can be used to describe the behavior of software. The FSM of the Web application system can be served as the basic for designing test cases and judging outputs. Therefore, the problem of testing is transformed into checking the states of FSM to meet the requirements or not. By using the theory of mini- mization in FSM, the software testing can be simplified.