基于模型的变异测试工具的设计与实现
发布时间：2020-08-21 15:48
【摘要】：随着计算机技术的迅速发展,软件产品的数量和规模都在以超前的速度增长。为了对软件产品质量进行保障并对开发工作质量进行监控和衡量,通常会对软件产品进行测试工作。在软件开发流程中,根据软件测试的阶段和目的的不同,从过程上所进行的测试工作可以被划分为单元测试、集成测试、系统测试和确认测试。而软件测试的开销在软件开发的整体开销中常常要占据到30%到50%。软件测试对软件开发工作的质量做出了评估,而本课题中将要用到的变异测试技术则是一种对测试工作质量进行评估并辅助进行测试的技术手段;同时变异测试技术也是一种对测试工作进行优化的手段,可用于测试集中测试用例的规约、测试用例的优化等方面。传统的变异技术思路是从代码层面出发,使用特定变异算子作用于待测系统,对软件系统代码的内容做出修改,希望用这种人为的错误注入来对实际有可能出现的软件缺陷进行模拟。变异测试是一种基于缺陷注入的技术,但代码可变更存在极其多样的状况使得变异测试成本极高,为这一技术的实际应用造成了很大的障碍。本课题中所提出的基于模型的变异测试方法则是将变异的思想融合进基于模型的测试方法之中,使用有向图模型,从软件模块功能或工作状态出发,对其系统行为进行建模。而后根据该方法基于图的特点,设计创新了四个简单一阶变异算子对模型执行变异。采取这种方法,将以往基于代码的白盒变异测试,变为基于模型的黑盒变异测试。利用变异测试思路的同时,结合了基于模型测试的特点,使变异算子集合得到了简化,降低了执行变异的开销;且通过不同建模规范的选择,模型的粒度和精度可控,也可从这一角度根据实际需求来对变异过程的开销进行控制。依照上面方法的思路设计了一个测试工具,提供了以下功能:(1)根据模型生成测试路径;(2)根据指定的各类算子比例生成变异体;(3)执行测试用例;(4)根据指标给出计算结果。然后使用该变异工具对一个经典的音乐播放器案例进行了基于模型的测试,实验结果证明本文所设计的测试工具有一定的可行性。
【学位授予单位】：北京邮电大学
【学位级别】：硕士
【学位授予年份】：2018
【分类号】：TP311.53
【图文】：
首先理解被测系统并选择合适的模型来进行建模。重点在于将系统特征、系逡逑统业务与测试目的相结合，选取能够表达需求特征的模型建模。例如电话交换系逡逑统常使用状态模型进行建模，而图２－１所示的儿童迷宫游戏，本身即是图的形式，逡逑故而选择有向图对其建模则最为合适。模型选择和软件系统的工作特点也有密切逡逑联系，如测试一个长期运行的系统软件则可以选择状态机模型。而当相对软件进逡逑行失效统计分析时，则可采用马尔可夫链。逡逑图２－１儿童迷[蜗峰义掀浯尉褪抢炊员徊庀低辰薪！ｅ义显诖耸褂靡桓黾虻サ睦永唇步庹攵愿行巳さ牡愣员徊庀低辰薪５墓义铣獭Ｈ缤迹玻菜荆祝椋睿洌铮鳎笙低持凶源募鞘卤尽ｅ义希疲蓿颍觯椋幔蓿哄危龋澹欤疱义贤迹玻插澹祝椋睿洌铮鳎蠹鞘卤惧义希保板义
本文编号：2799568
【学位授予单位】：北京邮电大学
【学位级别】：硕士
【学位授予年份】：2018
【分类号】：TP311.53
【图文】：
首先理解被测系统并选择合适的模型来进行建模。重点在于将系统特征、系逡逑统业务与测试目的相结合，选取能够表达需求特征的模型建模。例如电话交换系逡逑统常使用状态模型进行建模，而图２－１所示的儿童迷宫游戏，本身即是图的形式，逡逑故而选择有向图对其建模则最为合适。模型选择和软件系统的工作特点也有密切逡逑联系，如测试一个长期运行的系统软件则可以选择状态机模型。而当相对软件进逡逑行失效统计分析时，则可采用马尔可夫链。逡逑图２－１儿童迷[蜗峰义掀浯尉褪抢炊员徊庀低辰薪！ｅ义显诖耸褂靡桓黾虻サ睦永唇步庹攵愿行巳さ牡愣员徊庀低辰薪５墓义铣獭Ｈ缤迹玻菜荆祝椋睿洌铮鳎笙低持凶源募鞘卤尽ｅ义希疲蓿颍觯椋幔蓿哄危龋澹欤疱义贤迹玻插澹祝椋睿洌铮鳎蠹鞘卤惧义希保板义
本文编号：2799568
本文链接：https://www.wllwen.com/kejilunwen/ruanjiangongchenglunwen/2799568.html
