基于模型检测技术的变异测试用例生成方法

摘要：

为了进行基于模型的软件测试变异分析,文中提出了一种基于模型检测的变异测试用例生成方法.基于模型检测工具UPPAAL的形式化分析与测试框架,首先用符合规范的时间自动机模型描述被测系统;然后基于时间自动机模型的基本结构和语法,对系统模型进行一组变异操作,并模拟实现时可能出现的一些错误;对变异后的模型分别使用UPPAAL Yggdrasil工具,生成一组能覆盖变异区域的测试用例;在系统变异模型上执行生成的测试用例,根据测试执行结果(是否能"杀死"变异体)筛选出一组有效的测试用例.通过实例验证,所提方案生成的测试用例是有效的,且测试用例集变异分数优于现有的基于状态机复制的变异测试用例自动生成方法和基于模型中变换覆盖的变异测试用例生成方法.

关键词：变异测试、变异测试用例、测试用例生成、模型检测、时间自动机

所属期刊栏目：45

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

资助基金：四川省应用基础研究项目基金2014JY0112

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

页数：共6页

页码：488-493