搜索到71篇“ 不可达路径“的相关文章
- 一种软件代码不可达路径自动检测的方法和装置
- 本发明公开了一种软件代码不可达路径自动检测的方法和装置，包括开展软件代码不可达路径类型的识别和分析；基于词法语法语义分析进行代码解析，提取代码元数据，生成函数调用关系图和控制流图；针对跳转不可达路径，开展基于控制流的不可...
- 曾福萍马依然杨顺昆
- 一种软件代码不可达路径自动检测的方法和装置
- 本发明公开了一种软件代码不可达路径自动检测的方法和装置，包括开展软件代码不可达路径类型的识别和分析；基于词法语法语义分析进行代码解析，提取代码元数据，生成函数调用关系图和控制流图；针对跳转不可达路径，开展基于控制流的不可...
- 曾福萍马依然杨顺昆
- 程序不可达路径的检测方法姚婷
- 2018年
- 对于复杂的大型软件,程序中不可达路径存在会浪费软件测试的资源也影响了测试的准确性。通过对程序基本路径集中不可达路径存在的问题进行了研究,提出基于条件语句之间具有的相关性检测不可达路径的方法,通过考察这些条件语句之间的相关性,可以检测不可达路径,生成程序的可达路径集。
- 姚婷
- 关键词：软件测试不可达路径
- 一种基于程序切片的不可达路径检测方法
- 本发明给出了一种基于程序切片的软件安全测试方法，该方法对程序切片技术进行了探讨，并提出了一种基于程序切片的不可达路径检测方案。本方法以网页中提取的JavaScript脚本语言代码为输入，将其转换成为LLVM中间表示，然后...
- 张迎周徐曼青马凤娇居友道滕庆亚张卫丰周国强王子元
- 一种程序不可达路径的自动检测方法
- 本发明公开了一种程序不可达路径的自动检测方法，通过将待检测的计算机程序转化为控制流图；将控制流图转化为程序模型，进行可达性分析得到不可达状态，通过自动检测不可达状态得到不可达状态的集合，然后根据不可达状态的集合得到不可达...
- 唐郑熠王金水薛醒思洪茂雄胡文瑜刘建华
- 基于层次聚类的不可达路径检测方法研究
- 随着科技的发展,社会的进步,软件已经被广泛应用到各个领域。在很多领域的应用场景中,软件的质量与可靠性至关重要。软件测试是保证软件质量与可靠性的重要手段。路径测试是软件测试中一种常用的测试方法。路径测试尝试使用合适的测试用...
- 王红阳
- 关键词：不可达路径层次聚类
- 基于分支相关性分析的不可达路径检测方法被引量：1
- 2016年
- 软件测试中,不可达路径的存在会导致测试资源浪费,有效地检测程序中的不可达路径有助于节约测试资源、提高测试效率.分支相关性的存在是不可达路径产生的主要起因.因此,确定分支的相关性在不可达路径的检测中占据十分重要的地位.提出了一种利用关联分析和数据流分析确定分支相关性的方法,进而实现不可达路径的自动检测.首先,结合静态分析和动态分析,构建反映程序中各分支判断语句静态依赖关系和动态执行信息的数据集;然后,利用关联分析和数据流分析技术确定分支的相关性;最后,根据分支相关性信息检测不可达路径.基于一组基准程序和开源程序,开展不可达路径检测实验.实验结果表明,该方法能够准确地检测出程序中的不可达路径,可以有效地提高软件测试的效率.
- 姜淑娟韩寒史娇娇张艳梅鞠小林钱俊彦
- 关键词：软件测试不可达路径数据流分析
- 基于程序切片和符号执行的不可达路径检测方法
- 针对不可达路径的检测是十分重要的，是保障程序质量的重要手段之一。若软件测试中被选定的测试数据是针对那些位于不可达路径上的语句，那么在测试过程中将并不会真正被测试到，这将对测试数据的生成阶段造成大量的浪费。目前不可达路径的...
- 徐曼青
- 关键词：软件测试程序切片
- 基于关联规则挖掘的不可达路径检测方法
- <b>本发明涉及一种基于关联规则挖掘的不可达路径检测方法，该基于关联规则挖掘的不可达路径检测方法包括获取数据集、基于关联规则挖掘的分支相关性的确定及不可达路径的检测。该检测方法有效地将静态分析方法和动态分析技...
- 姜淑娟韩寒张艳梅袁冠
- 基于子路径扩展的不可达路径检测方法被引量：2
- 2015年
- 不可达路径是造成软件测试资源消耗的一个重要方面.在路径测试之前,检测程序中的不可达路径可以有效节约软件测试资源.提出了一种基于子路径扩展的不可达路径静态检测方法.该方法首先生成程序的子路径集,将路径的可达性问题转换为不等式组的求解问题.使用约束求解器判断子路径的可达性,可以分为:可达子路径,不可达子路径和无法判定三个部分,并对后面两部分的子路径扩展出的路径做二次可达性检测,最终获得程序中所有路径的可达性信息.可达性检测工作主要在子路径集上进行,因此有效地解决了路径爆炸问题.实验结果表明本文方法可以准确有效地检测出程序中的不可达路径.
- 王红阳姜淑娟王兴亚鞠小林张艳梅
- 关键词：软件测试
相关作者
- 宫云战
- 作品数：316被引量：533H指数：14
- 供职机构：北京邮电大学
- 研究主题：软件测试 控制流 抽象语法树 控制流图 测试用例
- 姜淑娟
- 作品数：160被引量：409H指数：12
- 供职机构：中国矿业大学计算机科学与技术学院
- 研究主题：软件测试 异常处理 程序切片 切片 堆栈
- 韩寒
- 作品数：12被引量：33H指数：3
- 供职机构：中国矿业大学计算机科学与技术学院
- 研究主题：不可达路径 软件测试 数据流分析 复杂度 盒子
- 张艳梅
- 作品数：95被引量：222H指数：10
- 供职机构：中国矿业大学
- 研究主题：软件测试 切片 软件测试技术 复杂度 教学改革
- 王雅文
- 作品数：124被引量：153H指数：9
- 供职机构：北京邮电大学
- 研究主题：控制流 软件测试 抽象语法树 测试用例 语句
