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

• 作者: 李丽萍
• 来源期刊: 上海第二工业大学学报
• 学科: 工学
• 关键词: Web测试 模型检测 测试准则 测试约简 Kripke结构
• 年，卷（期）: 2015,（2）
• 所属期刊栏目: 机械与电子
• 页码范围: 140-147
• 页数: 8页
• 分类号: TP3-0
• 字数: 4717字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李丽萍	上海第二工业大学计算机与信息工程学院	17	64	5.0	7.0