中文摘要：

为解决图形用户界面（graphic user interface,GUI）元素状态空间庞大以及用户操作组合空间复杂等问题,针对特定类型的GUI软件,提出一种基于扩展库所/迁移系统的GUI测试模型. 在此模型中,库所表示用户在GUI软件上的操作类型,迁移表示用户在GUI上的操作事件.针对模型制定了3个相应的准则：库所覆盖准则、迁移覆盖准则和迁移对覆盖准则. 对迁移对覆盖准则和事件对覆盖准则进行分析,并设计了相应的GUI测试用例生成算法.在计算器上的初步试验结果表明：相较事件对覆盖准则,迁移对覆盖准则在保持较高的错误发现能力的同时,生成的测试用例规模只有其40%,极大地降低了测试用例规模.

英文摘要：

To solve the problem of huge graphic user iuterface （GUI） elements’ states and complicate combination of user operation, a GUI test model based on extended place/transition system for specific GUI software was proposed. In the model, places represented type of user operation, and transitions represented user operation. Based on the model, three GUI test coverage criteria, were designed and test coverage based on places, test coverage based on transitions and test coverage based on transition-pairs, were put forward. The differences between the last and event-pair coverage was analyzed. The related test generation algorithm was designed. Experiment result of calculation shows that the transition-pair coverage has the same effectiveness in fault finding as the event-pair coverage, but the number of generation test suits is only about 40%.