基于有色Petri网模型的GUI测试用例自动生成技术

摘要：

通过图形用户接口(GUI)测试已经成为软件测试的主要手段,但现阶段GUI测试自动化程度不高.针对这一问题,提出了一种基于模型的GUI测试用例自动生成技术.给出了基于有色Petri网模型的GUI对象建模方法.定义了2种测试覆盖标准,设计了基于不同测试覆盖标准的测试路径和测试数据生成算法.介绍了支持工具GUI测试用例生成器(GTCG)的设计与实现.实验表明: 该模型可有效地描述GUI系统的状态和行为,该技术有助于提高GUI测试的效率和质量.

关键词：软件测试、测试用例生成、测试覆盖标准、有色Petri网

所属期刊栏目：48

分类号：TP311.5(计算技术、计算机技术)

资助基金：国家科技攻关计划2002BA904B13;国家自然科学基金60603035

在线出版日期：2008-07-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：600-603