期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

一种VFSM的图形用户界面的测试方法 被引量：3

A Method of Testing GUI by Using VFSM
下载PDF
导出
摘要 采用有限状态机 (FSM)来模拟GUI的测试问题具有很大的局限性 .作者针对基于FSM的GUI测试的局限性 ,提出了一个变量有限状态机 (VFSM)的形式化模型 ,该VFSM通过引入一组变量 ,可以使用较少的状态来模拟复杂的GUI,并且根据GUI设计规范来构造VFSM相对比较简单 ;然后 ,给出了一个VFSM - >FSM的转化定理和转化算法 ;接着介绍了基于VFSM的GUI测试方法的步骤 ;最后给出了该方法的一个应用实例数据 ,数据表明采用VFSM的GUI测试方法大大减少了状态。 While FSMs do not make particularly good models for modern graphic user interface. We propose a new method of testing GUI by using VFSMs in this paper. We give the definition of VFSMs and a algorithm for conversion of a VFSM to FSM , and then, discuss the steps of this method. This method was applied to testing a GUI system, it shows that the states and transitions are obviously reduced.
作者 陈启安 李小将 李蜀瑜
机构地区 厦门大学计算机科学系 西北工业大学计算机科学与工程系
出处 《厦门大学学报（自然科学版）》 CAS CSCD 北大核心 2002年第6期706-710,共5页 Journal of Xiamen University：Natural Science
关键词 VFSM 图形用户界面 测试方法 变量有限状态机 GUI测试 软件测试 FSM VFSM GUI testing GUI test software testing user interface
分类号 TP311.56 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献2

  • 1[1]Fujiwara S, Bochmann G V, Khendek F, et al. Test selection based on finite state models[J]. IEEE Trans. on Soft Eng., 1991, 17(6):591-603.
  • 2[2]Lee D, Yannakakis M. Principles and methods of testing finite state machinesA survey[J]. Proc. of the IEEE, 1996, 84(8):1 090-1 123.

同被引文献21

  • 1董士海 王坚 戴国忠.人机交互和多通道用户界面[M].科学出版社,1999..
  • 2Dix Alan, Finlay Hjanet, Abowd Gregory, et al. Human-Computer Interaction [M]. 2nd ed. Beijing: Publishing House of Electronics Industry, 2003. 143～145.
  • 3Nielsen Jakob, Mack Robert L. Usability Inspection Methods[M]. New York: John Wiley and Sons, 1994.
  • 4Card S K, Moran T P, Newell A. The Psychology of Human-Computer Interaction [M]. New York: Laurence Erlbaum,1983.
  • 5Preece Jennifer, Rogers Yvonne, Sharp Helen. Interaction Design-Beyond Human-Computer Interaction [M]. Beijing:Publishing House of Electronics Industry, 2003.
  • 6Thimbleby Harold W. User interface design with matrix algebra[J]. ACM Transactions on Computer-Human Interaction,2004, 11(2): 181～236.
  • 7Thimbleby Harold, Cairns Paul A, Jones Matt. Usability analysis with Markov models [J]. ACM Transactions on Computer-Human Interaction, 2001, 8(2): 99～132.
  • 8Sucrow B Enders. Describing a continuous collaborative specification process of human-computer interaction by graph rewriting [J]. Journal of Integrated Design & Process Science,2000, 5(1): 87～114.
  • 9MacColl Ian, Carrington David A. A model of specification-based testing of interactive systems [A]. In: Proceedings of World Congress on Formal Methods, Toulouse, 1999. 1862～1863.
  • 10Thimbleby Harold, Gow Jeremy. Computer algebra in interface design research [A]. In: Proceedings of the 9th International Conference on Intelligent User Interface, Island of Madeira,2004. 366～367.

引证文献3

二级引证文献10

厦门大学学报（自然科学版）
2002年 第6期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部