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

!璺墨堕!!!Q：Q!§±清华大学学报(自然科学版)2008年第48卷第4期 38／40 CN 11—2223／N 600—603 JTsinghuaUniv(Sci＆Tech)，2008，V01．48，No．4 基于有色Petri网模型的GUI测试用例自动生成技术 王钊， 白晓颖， 戴桂兰 (清华大学计算机科学与技术系，北京100084) 摘 要：通过图形用户接口(GuI)测试已经成为软件测试捕捉／回放技术，在测试中回放先前录制的脚本，测 的主要手段，但现阶段GUI测试自动化程度不高。针对这一 试用例设计仍依赖测试人员的经验，所以实现测试 问题，提出了一种基于模型的GUI测试用例自动生成技术。 用例的自动生成具有重要意义。 给出了基于有色Petri网模型的GUI对象建模方法。定义了 GUI测试用例自动生成分为3个方面：构造模 2种测试覆盖标准，设计了基于不同测试覆盖标准的测试路 型或规格描述；建立测试覆盖标准；设计测试用例 径和测试数据生成算法。介绍了支持工具GUI测试用例生 成器(GTCG)的设计与实现。实验表明；该模型可有效地描 有限状态机模型的测试用例生成方法；L．white 述GUI系统的状态和行为，该技术有助于提高GUI测试的 效率和质量。 等人[z1提出了基于操作序列有限状态机模型的测试 关键词：软件测试I测试用例生成，测试覆盖标准，有色 Petri网 Planning技术的测试用例生成方法。这些研究成果 在一定程度上提高了GUI测试用例生成的自动化 中图分类号：TP311．5 文献标识码；A 文章编号：1000—0054(2008)04—0600—04 程度，但仍存在状态数巨大，模型描述不完善，缺少 覆盖标准，难以生成预期结果的难点。 针对上述问题，本文探讨了基于模型的GUI测 AutomatedGUItestcase generation 试用例生成方法。首先给出了一种基于有色Petri on basedcolouredPetri technology 网的GUI模型，然后给出2种测试覆盖标准以及测 netsmodel 试用例生成算法，最后介绍了实现该技术的工具 WANGZhao，BAI Guilan Xiaoying，DAI GTCG和实验结果。 of Scienceand (DepartmentComputer Technology， 100084，China) TsinghuaUniversity，Beijing l案例 hasbecomethe user Abstract：Graphicalinterface(GUI)testing 本文采用实例FR(Flight mainmeansofsoftware is