|本期目录/Table of Contents|

[1]陈启安,李小将,李蜀瑜等.一种VFSM的图形用户界面的测试方法[J].厦门大学学报(自然科学版),2002,41(06):706-710.
点击复制

一种VFSM的图形用户界面的测试方法(PDF)
分享到:

《厦门大学学报(自然科学版)》[ISSN:0438-0479/CN:35-1070/N]

卷:
41卷
期数:
2002年06期
页码:
706-710
栏目:
出版日期:
2002-11-20

文章信息/Info

Title:
-
作者:
陈启安李小将李蜀瑜等
厦门大学计算机科学系,福建,厦门,361005;西北工业大学计算机科学与工程系,陕西,西安,710072
Author(s):
-
关键词:
-
Keywords:
-
分类号:
-
文献标志码:
-
摘要:
采用有限状态机(FSM)来模拟GUI的测试问题具有很大的局限性.作者针对基于FSM的GUI测试的局限性,提出了一个变量有限状态机(VFSM)的形式化模型,该VFSM通过引入一组变量,可以使用较少的状态来模拟复杂的GUI,并且根据GUI设计规范来构造VFSM相对比较简单;然后,给出了一个VFSM->FSM的转化定理和转化算法;接着介绍了基于VFSM的GUI测试方法的步骤;最后给出了该方法的一个应用实例数据,数据表明采用VFSM的GUI测试方法大大减少了状态、变换和输出的数量
Abstract:
-

参考文献/References:

-

备注/Memo

备注/Memo:
-
更新日期/Last Update: 2002-11-20