基路径覆盖测试用例自动生成方法研究 被引量：5

1

作者 宋想 宋晓秋 《计算机工程与设计》 CSCD 北大核心 2013年第8期2759-2763,共5页

传统基路径覆盖测试用例生成方法通过程序图求出圈复杂度,然后再得出程序的一组基路径,最后分别针对基路径组中的每条路径求出相应的测试用例,不仅繁琐,而且忽视了代码的语义相关性,导致存在路径不可达问题,也就无法生成对应的测试用例... 传统基路径覆盖测试用例生成方法通过程序图求出圈复杂度,然后再得出程序的一组基路径,最后分别针对基路径组中的每条路径求出相应的测试用例,不仅繁琐,而且忽视了代码的语义相关性,导致存在路径不可达问题,也就无法生成对应的测试用例。提出了一种新的方法,利用遗传算法动态运行程序,逐渐逼近被测程序的真实逻辑圈复杂度,直接生成满足基路径覆盖测试用例的最小集合,不存在路径不可达问题。实验结果表明,该算法能够有效地生成满足基路径覆盖的测试用例。 展开更多

关键词 面向路径测试 路径覆盖 基路径覆盖 圈复杂度 测试用例自动生成

在线阅读 下载PDF 职称材料

代理辅助多任务进化优化引导的MPI程序路径覆盖测试用例生成 被引量：1

2

作者 孙百才 巩敦卫 姚香娟 《软件学报》 北大核心 2025年第5期2026-2042,共17页

基于进化优化的消息传递接口(message-passing interface,MPI)程序路径覆盖测试中,进化个体适应值的评价需要反复执行MPI程序,而程序的重复执行往往需要高昂的计算成本.鉴于此,提出一种代理辅助多任务进化优化引导的MPI程序路径覆盖测... 基于进化优化的消息传递接口(message-passing interface,MPI)程序路径覆盖测试中,进化个体适应值的评价需要反复执行MPI程序,而程序的重复执行往往需要高昂的计算成本.鉴于此,提出一种代理辅助多任务进化优化引导的MPI程序路径覆盖测试用例生成方法,该方法能够显著约减MPI程序的实际执行次数,进而提高测试效率.首先,面向MPI程序目标路径内每条目标子路径,训练相应的代理模型;然后,基于对应每条目标子路径的代理模型,估计相应测试用例生成优化任务中进化个体的适应值,并形成候选测试用例集;最后,基于候选测试用例集及其面向每条目标子路径的真实适应值,更新对应每条目标子路径的代理模型.将所提方法应用于7个基准MPI程序的基本路径覆盖测试中,并与其他若干先进方法比较.实验结果表明,所提方法能够在确保测试用例生成高有效性的前提下,显著提高测试效率. 展开更多

关键词 路径覆盖测试用例生成 代理辅助多任务进化优化 候选测试用例集

在线阅读 下载PDF 职称材料

一种面向城市轨道交通FAO系统危险场景的安全测试用例自动生成方法

3

作者 冉怡明 张亚东 +1 位作者 饶畅 江磊 《铁道标准设计》 北大核心 2025年第6期178-186,共9页

在当前FAO系统大规模建设背景下,作为典型的安全苛求系统,FAO系统运营服务水平和安全可靠性的需求日益增高,实际应用之前需要对其进行全面严格的测试,而现有的测试用例生成方法一般难以满足对安全性测试的需求。因此,提出一种安全测试... 在当前FAO系统大规模建设背景下,作为典型的安全苛求系统,FAO系统运营服务水平和安全可靠性的需求日益增高,实际应用之前需要对其进行全面严格的测试,而现有的测试用例生成方法一般难以满足对安全性测试的需求。因此,提出一种安全测试用例自动生成方法:以全自动运行系统中的障碍物脱轨检测场景为例,首先根据场景安全约束建立带安全约束的时间自动机模型,定义CF-SC安全测试覆盖准则,用于刻画场景运行下危险致因和安全约束的测试需求;然后针对此覆盖准则,设计一种考虑安全约束的深度优先搜索算法,算法在深度优先搜索框架下增加补充判别策略,用于覆盖安全测试需求的边和节点,实现安全测试用例的自动化生成。结果表明,CF-SC安全测试覆盖准则强于传统的路径覆盖准则,相对于现有方法,本方法在实现路径全覆盖的基础上,可对潜在的危险致因进行充分测试,对含有安全约束的路径覆盖率提升达33%,可有效满足安全测试需求,对提高全自动运行系统安全性具有重要研究意义和应用价值。 展开更多

关键词 城市轨道交通 全自动运行系统 覆盖准则 时间自动机 UPPAAL 测试用例生成

在线阅读 下载PDF 职称材料

面向MC/DC覆盖的白盒单元测试用例自动生成技术 被引量：2

4

作者 秦畅 陈赛 +3 位作者 李坤 刘恒 杨柳 马征 《科学技术与工程》 北大核心 2024年第30期13039-13047,共9页

在航空航天、医疗、交通等需要保证严格安全的领域,软件测试过程中通常需要利用修正条件判定覆盖(modified condition/decision coverage,MC/DC)替代传统覆盖准则,以此生成更高质量的测试用例。基于此,提出了一种面向MC/DC覆盖的白盒单... 在航空航天、医疗、交通等需要保证严格安全的领域,软件测试过程中通常需要利用修正条件判定覆盖(modified condition/decision coverage,MC/DC)替代传统覆盖准则,以此生成更高质量的测试用例。基于此,提出了一种面向MC/DC覆盖的白盒单元测试用例自动生成方案,该方案以MC/DC覆盖到分支覆盖的映射为理论依据,基于符号执行引擎KLEE和底层虚拟机(low-level virtual Machine,LLVM)基础技术框架设计了多款工具,从而自动生成满足测试代码MC/DC最高覆盖的测试用例,以此检测出由于设计导致的MC/DC无法达到100%覆盖的代码缺陷。 展开更多

关键词 白盒测试 单元测试 测试用例自动生成 修正条件判定覆盖

在线阅读 下载PDF 职称材料

多路径粒子群优化自动测试用例生成算法 被引量：4

5

作者 聂鹏 耿技 秦志光 《计算机集成制造系统》 EI CSCD 北大核心 2012年第1期216-223,共8页

从计算资源优化、多路径适应度评价和测试路径间信息交换三个方面,对多路径粒子群优化测试用例自动生成的一般方法进行了分析。针对软件结构性测试多路径粒子群优化多路径覆盖中存在的问题,提出多路径粒子群优化自动测试用例生成算法。... 从计算资源优化、多路径适应度评价和测试路径间信息交换三个方面,对多路径粒子群优化测试用例自动生成的一般方法进行了分析。针对软件结构性测试多路径粒子群优化多路径覆盖中存在的问题,提出多路径粒子群优化自动测试用例生成算法。定义了多路径适应度函数,以解决多路径环境下的测试用例适应度测量问题;提出适应度决策矩阵,使测试用例可以在待测路径间交换信息和优化计算资源,并引导测试种群实现对多路径的覆盖。实验表明,所提算法节约了多路径粒子群优化多路径测试用例生成的计算资源,提高了算法的路径覆盖率。 展开更多

关键词 软件测试 测试用例生成 多路径覆盖 多路径粒子群优化 算法

在线阅读 下载PDF 职称材料

基于复杂系统遗传算法的多路径覆盖测试用例生成方法 被引量：3

6

作者 于博 姜淑娟 张艳梅 《计算机科学》 CSCD 北大核心 2012年第4期139-141,153,共4页

针对目前复杂系统多路径覆盖测试用例生成方法较少的问题,提出一种新的基于复杂系统的多路径覆盖测试用例生成方法。首先改进遗传算法,在种群进化中对父代选择、个体进化的学习能力和种群的自适应更新方法进行改进,以有效避免算法收敛... 针对目前复杂系统多路径覆盖测试用例生成方法较少的问题,提出一种新的基于复杂系统的多路径覆盖测试用例生成方法。首先改进遗传算法,在种群进化中对父代选择、个体进化的学习能力和种群的自适应更新方法进行改进,以有效避免算法收敛过慢或者"早熟"现象。然后根据多路径覆盖测试的特点与要求,设计基于路径匹配的适应度函数,使得运行一次算法便可生成覆盖多条目标路径的多个测试用例。最后将该方法用于几个基准程序。实验结果表明,与已有方法比较,此方法的测试用例生成效率显著提高。 展开更多

关键词 复杂系统 多路径覆盖 测试用例生成 遗传算法 适应度函数

在线阅读 下载PDF 职称材料

融入自适应迁移的路径覆盖测试用例进化生成 被引量：1

7

作者 范会联 曾广朴 《计算机应用研究》 CSCD 北大核心 2016年第12期3743-3747,共5页

为提高路径覆盖测试效率,提出采用融入自适应迁移的生物地理学优化算法自动生成满足目标路径覆盖的测试用例。首先,根据路径覆盖难易,在分支距离法中引入加权因子并转换为栖息地适应指数;然后,综合最优栖息地和迁出地相关因子优化迁入... 为提高路径覆盖测试效率,提出采用融入自适应迁移的生物地理学优化算法自动生成满足目标路径覆盖的测试用例。首先,根据路径覆盖难易,在分支距离法中引入加权因子并转换为栖息地适应指数;然后,综合最优栖息地和迁出地相关因子优化迁入地适应度指数变量,同时对满足条件的种群进行以个体当前值为中心、适应值为幅度的变异操作。对经典基准程序进行生成测试用例的对比实验结果表明,算法不仅能满足目标路径覆盖要求,而且速度和稳定性均有明显优势。 展开更多

关键词 测试用例生成 路径覆盖 自适应迁移 生物地理学优化

在线阅读 下载PDF 职称材料

求解测试用例自动生成问题的多因子回溯搜索优化算法 被引量：2

8

作者 胡中波 王旭鹏 《计算机应用》 CSCD 北大核心 2023年第4期1214-1219,共6页

路径覆盖测试用例自动生成(ATCG-PC)问题是自动化软件测试领域的热点。ATCG-PC问题中群智能进化算法常用的适应度函数之间具有高度的相似性,然而现有的解决ATCG-PC问题的群智能进化算法尚未考虑这一相似性特征。受相似性特征启发,将两... 路径覆盖测试用例自动生成(ATCG-PC)问题是自动化软件测试领域的热点。ATCG-PC问题中群智能进化算法常用的适应度函数之间具有高度的相似性,然而现有的解决ATCG-PC问题的群智能进化算法尚未考虑这一相似性特征。受相似性特征启发,将两个相似的适应度函数看作两个任务,从而将ATCG-PC问题转化为多任务ATCGPC问题,并提出了一种新的解决多任务ATCG-PC问题的群智能进化算法,即多因子回溯搜索优化算法(MFBSA)。所提算法通过多因子选择Ⅰ的记忆种群功能提高全局搜索能力,并通过选型记忆交配使得相似任务之间能够通过知识转移提高彼此的优化效率。在6个雾计算测试程序和6个自然语言处理测试程序上对所提算法性能进行了评价。与回溯搜索优化算法(BSA)、免疫遗传算法(IGA)、收敛速度控制器粒子群优化(PSO-CSC)算法、自适应粒子群优化(APSO)算法和超立方体差分进化(DE-H)算法相比,MFBSA覆盖12个测试程序上的路径所使用的测试用例总数分别减少了64.46%、66.64%、67.99%、74.15%和61.97%。实验结果表明,所提算法能够有效降低测试成本。 展开更多

关键词 路径覆盖测试用例自动生成 相似性特征 多任务优化 记忆种群 知识转移

在线阅读 下载PDF 职称材料

函数调用路径测试用例自动生成的方法研究 被引量：2

9

作者 沈晴 牟永敏 《计算机工程与应用》 CSCD 北大核心 2020年第18期238-246,共9页

测试用例自动生成是软件测试自动化中最为关键的组成部分之一,符号执行作为一种程序分析方法,以其可提供高覆盖率测试用例的优势被广泛应用其中,但路径爆炸和约束求解问题很大程度制约了符号执行技术在现实程序分析中的应用。将研究粒... 测试用例自动生成是软件测试自动化中最为关键的组成部分之一,符号执行作为一种程序分析方法,以其可提供高覆盖率测试用例的优势被广泛应用其中,但路径爆炸和约束求解问题很大程度制约了符号执行技术在现实程序分析中的应用。将研究粒度由语句提升至函数,利用抽象语法树和字节码序列提取到的函数关键信息和控制信息得到函数调用关系模型,设计算法生成函数调用路径(函数调用路径表示程序从开始到结束之间函数的调用或执行序列)。该方法不仅减少了测试路径数目缓解了路径爆炸问题,还有效解决了控制条件中存在函数导致符号表达式难求解的问题。实验结果表明该方法可优化测试路径集,在不降低覆盖率的前提下减少测试用例数量。 展开更多

关键词 函数调用路径 符号执行 全局测试用例 测试用例自动生成

在线阅读 下载PDF 职称材料

基本路径测试用例自动生成的方法研究 被引量：2

10

作者 孙晶 李硕 赵会群 《计算机工程与应用》 CSCD 北大核心 2018年第20期48-53,共6页

基本路径测试是一个传统的代码分析与测试技术,被广泛地应用到复杂软件分析和大型软件逻辑覆盖测试活动中。传统的基本路径测试方法是采用选取满足规约的随机数作为测试用例,没有考虑规约自动提取和规约组合优化。提出一种基于编译技术... 基本路径测试是一个传统的代码分析与测试技术,被广泛地应用到复杂软件分析和大型软件逻辑覆盖测试活动中。传统的基本路径测试方法是采用选取满足规约的随机数作为测试用例,没有考虑规约自动提取和规约组合优化。提出一种基于编译技术的条件规约自动提取技术和规约组合优化自动生成测试用例技术,并给出相应的算法。实验结果证明了提出算法的有效性。 展开更多

关键词 基本路径测试 测试用例生成 编译技术 规约自动提取 条件归约组合优化

在线阅读 下载PDF 职称材料

一种面向列车控制系统中安全攸关场景的测试用例自动生成方法 被引量：17

11

作者 陈鑫 姜鹏 +2 位作者 张一帆 黄超 周岩 《软件学报》 EI CSCD 北大核心 2015年第2期269-278,共10页

列车控制系统是一种安全攸关系统,为保证其安全性,要求测试过程对安全攸关场景中所有可能的运行进行完全的覆盖.现有的场景建模与测试用例自动生成方法不能完全满足这一技术需求.围绕列车控制系统的安全攸关场景建模以及测试用例自动生... 列车控制系统是一种安全攸关系统,为保证其安全性,要求测试过程对安全攸关场景中所有可能的运行进行完全的覆盖.现有的场景建模与测试用例自动生成方法不能完全满足这一技术需求.围绕列车控制系统的安全攸关场景建模以及测试用例自动生成方法展开研究,对UML活动图扩充了事件驱动机制和时间特性描述机制,以满足对安全攸关场景建模的需要,提出了简单路径覆盖准则以定义对场景中所有运行的完全覆盖,并针对这一覆盖准则给出了自动生成测试用例的方法.以地铁列车控制系统为研究对象展开实验,表明了该方法的有效性和局限性. 展开更多

关键词 安全攸关场景 场景建模 简单路径覆盖 测试用例自动生成

在线阅读 下载PDF 职称材料

基于UML的软件测试用例自动生成技术研究 被引量：11

12

作者 黄陇 陈致明 +1 位作者 于洪敏 于秀山 《计算机应用与软件》 CSCD 北大核心 2004年第11期16-17,113,共3页

测试用例自动生成是软件自动化测试的基础与关键。随着UML的广泛应用 ,基于UML模型的测试用例自动生成技术日益受到关注。本文提出了通过对UMLSequenceDiagram进行形式化分析产生测试场景的技术 ,定义了相应的测试覆盖准则 ,分析了测试... 测试用例自动生成是软件自动化测试的基础与关键。随着UML的广泛应用 ,基于UML模型的测试用例自动生成技术日益受到关注。本文提出了通过对UMLSequenceDiagram进行形式化分析产生测试场景的技术 ,定义了相应的测试覆盖准则 ,分析了测试数据的生成。 展开更多

关键词 UML模型 测试用例 软件测试 自动生成技术 测试场景 覆盖准则 软件自动化 定义 建模工具 产生

在线阅读 下载PDF 职称材料

面向安全需求的测试用例自动生成技术研究 被引量：1

13

作者 周绍君 徐中伟 +2 位作者 喻钢 李弋强 吴剑 《计算机工程与应用》 CSCD 北大核心 2009年第28期75-78,共4页

传统的测试用例生成技术通常都是面向系统功能性需求,并不适用于安全苛求软件系统的安全性测试。面向安全需求,通过定义安全因子,建立带有安全因子的UML顺序图,采用最小安全因子路径,提出了基于最小安全因子路径完全覆盖准则的测试用例... 传统的测试用例生成技术通常都是面向系统功能性需求,并不适用于安全苛求软件系统的安全性测试。面向安全需求,通过定义安全因子,建立带有安全因子的UML顺序图,采用最小安全因子路径,提出了基于最小安全因子路径完全覆盖准则的测试用例自动生成算法,并将其成功应用到高速铁路列车运行控制系统的仿真测试中。 展开更多

关键词 UML顺序图 安全因子 最小安全因子路径 测试用例自动生成 安全苛求系统

在线阅读 下载PDF 职称材料

面向安全苛求软件的测试用例自动生成 被引量：1

14

作者 章文婷 徐中伟 喻刚 《计算机应用研究》 CSCD 北大核心 2009年第1期140-142,174,共4页

测试用例的自动生成是验证安全苛求软件最关键的技术问题,然而目前的研究并没有充分考虑安全苛求软件的安全性需求,为此提出一种应用安全覆盖准则的安全苛求软件的测试用例自动生成策略,将该策略应用于铁路车站计算机连锁软件,并与全节... 测试用例的自动生成是验证安全苛求软件最关键的技术问题,然而目前的研究并没有充分考虑安全苛求软件的安全性需求,为此提出一种应用安全覆盖准则的安全苛求软件的测试用例自动生成策略,将该策略应用于铁路车站计算机连锁软件,并与全节点覆盖准则进行了比较。结果表明该策略对关键变迁有更高的安全性保证。 展开更多

关键词 安全苛求软件 测试用例自动生成 安全覆盖准则

在线阅读 下载PDF 职称材料

基于约束满足搜索算法的测试用例生成策略 被引量：4

15

作者 许秀林 胡克瑾 《计算机工程》 CAS CSCD 北大核心 2008年第18期75-78,84,共5页

针对约束系统中非线性谓词函数、指针、数组等复杂运算的求解问题,运用约束满足搜索算法,通过减少约束方程组中参数变量的个数,逐步缩小参数变量的取值范围,提出基于符号法求解约束的改进算法。对含有非线性谓词、数组的程序实例进行实... 针对约束系统中非线性谓词函数、指针、数组等复杂运算的求解问题,运用约束满足搜索算法,通过减少约束方程组中参数变量的个数,逐步缩小参数变量的取值范围,提出基于符号法求解约束的改进算法。对含有非线性谓词、数组的程序实例进行实验,结果表明改进算法能有效生成测试用例。 展开更多

关键词 测试用例生成 约束满足搜索 软件测试 路径覆盖测试

在线阅读 下载PDF 职称材料

基于EDPN的类测试框架及测试用例生成技术的研究 被引量：2

16

作者 龚红仿 李军义 +1 位作者 邹北骥 孙家广 《计算机科学》 CSCD 北大核心 2005年第5期224-229,共6页

针对基于状态的面向对象软件的类测试过程中存在的不可预测、不可达状态、状态组合“爆炸”和测试用例“爆炸”等问题,提出了基于EDPN模型的类测试、类的交互测试和类的层次测试框架,设计了相应的测试模型;提出了基于EDPN的有标记的唯... 针对基于状态的面向对象软件的类测试过程中存在的不可预测、不可达状态、状态组合“爆炸”和测试用例“爆炸”等问题,提出了基于EDPN模型的类测试、类的交互测试和类的层次测试框架,设计了相应的测试模型;提出了基于EDPN的有标记的唯一输入输出(UIO)测试用例的自动生成方法,生成状态转移路径序列,测试类的状态;提出了基于扩展的EDPN的状态组合的标记关联递推法,生成扩展的正交阵列表,测试类的交互;提出了基于扩展的EMDPN的协同路径(copaths)测试用例的生成方法,生成协同路径序列,测试类的层次。 展开更多

关键词 测试用例 测试框架 生成技术 面向对象软件 自动生成方法 测试过程 交互测试 测试模型 输入输出 状态转移 类测试 路径 递推法 扩展 正交阵 爆炸 组合 标记 序列 协同 列表

在线阅读 下载PDF 职称材料

面向路径的测试数据自动生成工具的设计 被引量：1

17

作者 陈继锋 刘树锟 王志海 《计算机工程与应用》 CSCD 北大核心 2010年第15期53-56,共4页

设计了一个通用的基于控制流和数据流的结构测试数据自动生成的工具。该工具根据控制流和数据流测试中所采用的覆盖标准来选取测试路径,并以改进后的迭代松弛法为核心,对所选取的路径生成测试数据。同时工具采用Fibonacci法优化选取路径... 设计了一个通用的基于控制流和数据流的结构测试数据自动生成的工具。该工具根据控制流和数据流测试中所采用的覆盖标准来选取测试路径,并以改进后的迭代松弛法为核心,对所选取的路径生成测试数据。同时工具采用Fibonacci法优化选取路径,对不可达路径进行处理,并对测试数据的分支覆盖率、DCP覆盖率等进行了统计。实验结果表明该工具是可行的。 展开更多

关键词 路径 测试数据自动生成 覆盖率

在线阅读 下载PDF 职称材料

面向HDL描述基于路径覆盖的模拟矢量自动生成方法研究

18

作者 李暾 李思昆 +2 位作者 )郭阳 万海 冷彪 《计算机学报》 EI CSCD 北大核心 2004年第6期721-728,共8页

提出和实现了一种面向HDL描述基于路径覆盖的模拟矢量自动生成方法 .该方法在约束生成时只考虑控制语句的条件表达式 ,可有效避免生成冗余约束 ;利用扩展的决策图模型解决了中间信号到初始输入的传播问题和信号依赖关系问题 ,以及处理各... 提出和实现了一种面向HDL描述基于路径覆盖的模拟矢量自动生成方法 .该方法在约束生成时只考虑控制语句的条件表达式 ,可有效避免生成冗余约束 ;利用扩展的决策图模型解决了中间信号到初始输入的传播问题和信号依赖关系问题 ,以及处理各种HDL描述风格的问题 ;采用约束逻辑编程方法解决了由位、位向量和整型变量组成的约束系统的统一处理问题 .实验结果表明该方法能加快模拟矢量生成速度 ,提高路径覆盖率 .生成的模拟矢量也能用于低层次设计验证和故障模拟 ,加快了设计进度 .将该方法的原型系统用于一个 32位微处理器核RTL级验证 ,发现了RTL级设计描述中的错误 . 展开更多

关键词 HDL描述 路径覆盖 模拟矢量自动生成 约束逻辑求解 VLSI

在线阅读 下载PDF 职称材料

基于路径引导的回归测试用例集扩增方法 被引量：2

19

作者 殷鹏川 贲可荣 《计算机工程与科学》 CSCD 北大核心 2014年第11期2159-2163,共5页

为了全面测试演化软件,回归测试通常需要生成新的测试用例。concolic测试是一种沿着具体执行路径进行符号执行的软件验证技术,通过生成测试数据来执行程序的所有可行路径。回归测试中,由于concolic测试关注于程序本身,没有利用已有测试... 为了全面测试演化软件,回归测试通常需要生成新的测试用例。concolic测试是一种沿着具体执行路径进行符号执行的软件验证技术,通过生成测试数据来执行程序的所有可行路径。回归测试中,由于concolic测试关注于程序本身,没有利用已有测试用例和软件演化信息,导致生成大量无效测试数据,浪费资源和时间。为解决此问题,提出一种基于路径引导的回归测试用例集扩增方法。该方法将目标路径作为引导,根据软件演化信息选择有利于覆盖目标路径的测试用例,利用已有测试用例跳过重叠初始子路径,对后续目标子路径进行concolic测试并生成覆盖目标路径的测试数据。案例分析表明,本文方法相比传统concolic测试,本方法在覆盖程序可行路径的同时,可有效减少concolic测试路径,提高测试数据生成效率。 展开更多

关键词 回归测试 concolic测试 测试用例集扩增 测试数据生成 路径覆盖

在线阅读 下载PDF 职称材料

面向条件判定覆盖的线性拟合制导测试生成 被引量：5

20

作者 汤恩义 周岩 +1 位作者 欧建生 陈鑫 《软件学报》 EI CSCD 北大核心 2016年第3期593-610,共18页

条件判定覆盖(condition/decision coverage,简称C/DC)准则是各种安全攸关软件测试中常用的测试覆盖准则,它要求软件测试覆盖程序中每个判定以及条件的真/假取值.现有的自动测试生成方法在针对该准则的测试用例生成过程中存在很多不足.... 条件判定覆盖(condition/decision coverage,简称C/DC)准则是各种安全攸关软件测试中常用的测试覆盖准则,它要求软件测试覆盖程序中每个判定以及条件的真/假取值.现有的自动测试生成方法在针对该准则的测试用例生成过程中存在很多不足.例如:符号执行方法很难处理较为复杂的非线性条件约束,并在处理程序的规模上受到很大限制;希尔攀登法由于在搜索过程中易陷入局部最优,而难以达到满足C/DC准则的高覆盖率;模拟退火法和遗传算法依赖于用户使用过程中的复杂配置,测试用例生成效果具有一定的随机性.针对这一现状,提出了一种线性拟合制导测试用例生成方法.依据C/DC准则,该方法将程序中的每一个条件判定规范化为一个与零值比较的数值函数,并以插桩与执行获得该函数当前输入下的采样.通过拟合这些采样,能够逐步判断出程序中各个条件判定与输入的关系,并利用这些关系生成高覆盖率的测试用例.相对于传统方法,该方法具有参数配置简易、生成过程高效等优点,并且能够处理带非线性条件约束、逻辑复杂的程序.在3个开源软件库中的25个真实程序上运行的实验结果表明,所提出的方法比目前以覆盖率见长的遗传算法(genetic algorithm,简称GA)制导方法具备更好的覆盖能力与更高的执行效率. 展开更多

关键词 测试用例自动生成 条件判定覆盖 线性拟合 关联路径

在线阅读 下载PDF 职称材料