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

• 作者: 刘耀军 王琳琳
• 来源期刊: 太原科技大学学报
• 学科: 工学
• 关键词: 自动机 极小化 Web应用系统 测试
• 年，卷（期）: 2017,（1）
• 所属期刊栏目: 计算机科学与信息工程
• 页码范围: 11-15
• 页数: 5页
• 分类号: TP311.5
• 字数: 3085字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-2057.2017.01.003

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘耀军	太原师范学院计算机科学与技术系	47	116	6.0	9.0
2	王琳琳	太原科技大学计算机科学与技术学院	1	0	0.0	0.0