一种VFSM的图形用户界面的测试方法

• 作者: 李小将 李蜀瑜 陈启安
• 来源期刊: 厦门大学学报(自然科学版)
• 学科: 工学
• 关键词: 有限状态机 变量有限状态机 GUI GUI测试 软件测试 用户界面
• 年，卷（期）: 2002,（6）
• 所属期刊栏目: 数学·计算机科学
• 页码范围: 706-710
• 页数: 5页
• 分类号: TP316.2
• 字数: 2682字
• 语种: 中文
• DOI: 10.3321/j.issn:0438-0479.2002.06.005

摘要

采用有限状态机(FSM)来模拟GUI的测试问题具有很大的局限性.作者针对基于FSM的GUI测试的局限性,提出了一个变量有限状态机(VFSM)的形式化模型,该VFSM通过引入一组变量,可以使用较少的状态来模拟复杂的GUI,并且根据GUI设计规范来构造VFSM相对比较简单;然后,给出了一个VFSM->FSM的转化定理和转化算法;接着介绍了基于VFSM的GUI测试方法的步骤;最后给出了该方法的一个应用实例数据,数据表明采用VFSM的GUI测试方法大大减少了状态、变换和输出的数量.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈启安	厦门大学计算机科学系	31	163	7.0	12.0
2	李蜀瑜	西北工业大学计算机科学与工程系	6	86	6.0	6.0
3	李小将	西北工业大学计算机科学与工程系	5	70	4.0	5.0