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

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

作　　者：王琳琳[1] 刘耀军[2] 

机构地区：[1]太原科技大学计算机科学与技术学院,太原030024 [2]太原师范学院计算机科学与技术系,太原030012

出　　处：《太原科技大学学报》2017年第1期11-15,共5页Journal of Taiyuan University of Science and Technology

摘　　要：有限状态自动机可以描述软件的行为,将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.

关 键 词：自动机 极小化 WEB应用系统 测试 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]