李丽萍(上海第二工业大学计算机与信息工程学院,上海201209)

一种基于模型检测Web应用生成测试用例的方法

李丽萍
(上海第二工业大学计算机与信息工程学院,上海201209)

摘要:提出了一种从用户角度以重构Kripke结构建模并测试Web应用的方法。Web应用中的网页、构件及其关系被看成是原子命题,测试覆盖准则被转换为用计算树逻辑(Computing Tree Logic,CTL)表示的陷阱性质(Trap Property),生成的反例可以实例化来构造测试用例。但是一个陷阱性质生成一个反例将导致生成太多的冗余的测试用例,因此给出了一个测试约简规则来减少冗余的测试用例。最终生成的测试序列将满足给定的覆盖准则并没有冗余。

关键词:Web测试;模型检测;测试准则;测试约简;Kripke结构

0　引言

由于Web应用的独特性,使得Web应用的测试比传统的软件测试更复杂。尤其是功能测试,目前还没有比较系统的自动化测试工具,测试大多依靠人的直觉和经验。由于手工测试需要耗费大量的人力和物力资源,Web应用的自动化测试成为亟待解决的问题。模型检测是一种自动化的、基于模型的性质验证方法,开始于一个用户描述的模型,检测用户给定的性质在模型中是否成立。通常,模型是有限状态迁移模型,性质是一些时序逻辑公式。

基于模型检测生成测试用例的方法是当前测试研究的一个重要方向,因为模型检测器输出的反例可以用来构造测试用例,模型检测的过程可以完全自动地进行,并且有有效的软件工具的支持。……