图形用户界面软件的自动测试
本文介绍了判断图形用户界面(GUI)行为和所给测试用例的预期行为是否一致的喻示(oracle)方法.喻示法应用了GUI形式化模型,该模型用对象、对象属性和动作的集合来描述.若给定形式化模型和一个测试用例,喻示法自动为测试用例中的每个动作导出预期状态.我们从GUI的执行中获得对象和它们的属性,从而得到执行中的GUI的实际状态.使用从执行监视器获得的实际状态,喻示法自动比较每个动作产生的实际状态和预期状态,从而验证GUI对测试用例的正确性.
GUI测试 GUI测试喻示法 自动喻示 图形用户界面 软件测试
曾浩 贲可荣
海军工程大学计算机系
国内会议
大连
中文
43-46
2001-07-01（万方平台首次上网日期，不代表论文的发表时间）