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

分享到

【获取途径】超星期刊网
【作者】王琳琳，刘耀军
【刊名】太原科技大学学报
【作者单位】太原科技大学计算机科学与技术学院；太原师范学院计算机科学与技术系
【年份】2017
【卷号】第38卷
【期号】第1期
【页码】11-15
【ISSN】1673-2057
【关键词】自动机极小化 Web应用系统测试
【摘要】有限状态自动机可以描述软件的行为,将Web应用系统转化成有限状态自动机的模型,该模型可以作为设计测试用例以及判定输出结果是否正确的基础。因此测试的问题转化成了检验自动机状态转移是否符合要求的问题。利用有限状态机的极小化理论方法,可以降低Web应用系统模型的状态空间规模,从而可以达到简化测试的目的。
【文献类型】期刊