路径覆盖
路径覆盖的相关文献在1996年到2022年内共计99篇,主要集中在自动化技术、计算机技术、无线电电子学、电信技术、测绘学
等领域,其中期刊论文76篇、会议论文5篇、专利文献54608篇;相关期刊47种,包括科技信息、电子学报、电脑知识与技术等;
相关会议5种,包括第15届全国软件与应用学术会议(NASAC2016)、第七届中国测试学术会议、2007全国软件及其应用学术会议等;路径覆盖的相关文献由247位作者贡献,包括巩敦卫、张岩、田甜等。
路径覆盖—发文量
专利文献>
论文:54608篇
占比:99.85%
总计:54689篇
路径覆盖
-研究学者
- 巩敦卫
- 张岩
- 田甜
- 伦立军
- 钱忠胜
- 丁燚
- 丁雪梅
- 万里
- 于佩佩
- 何嘉浩
- 俞情媛
- 刘志雄
- 刘晋兰
- 周东宜
- 周子衡
- 周岩
- 周树理
- 夏春艳
- 姚昌森
- 姚香娟
- 孙力娟
- 孙朋
- 宋妍
- 廖伟志
- 张丁
- 张志华
- 张金金
- 施冬梅
- 李英梅
- 李赞
- 杜小智
- 杨尚琴
- 梁彬
- 段宇蓉
- 洪承煜
- 游伟
- 王欣明
- 王汝传
- 石文昌
- 秦朗悦
- 肖驰
- 范书平
- 莫泽枫
- 董鸿磊
- 谢智健
- 贺红梅
- 赵晓娟
- 赵淦森
- 陈鑫
- 项亮
-
-
钱忠辰;
胡勇
-
-
摘要:
定向灰盒模糊器是由M.B?hme于2017年首次提出的,称之为AFLGo,其将主要的测试时间花在特定的目标区域上,有良好的定向性和实效性,但其能量调度策略存在能量分配不公平问题及路径探索不全面问题。针对上述问题,提出一种混合能量调度策略,综合考虑种子的稀有性和距离值对其能量分配的影响。在整个模糊测试的过程中,不只按照AFLGo基于种子距离值的能量调度策略为种子分配能量,也设计基于路径覆盖的种子能量因子算法全面调整种子能量,以提高其路径探索及漏洞挖掘能力,实现基于混合能量调度策略的模糊测试工具Gem-energy。在五个应用程序上测试了Gem-energy。实验证明,相比AFLGO,在总路径数,唯一崩溃量以及分支覆盖率三个评估指标上Gem-energy有所提升,且具有定向能力。
-
-
姚会影;
周圆;
陈光亭;
陈永;
张安
-
-
摘要:
给定边权重为1或2的完全图,研究如何用2条顶点不相交的路径覆盖图中所有顶点,为了达到最大路径权重尽可能小的目标,在{1,2}-赋权图上旅行售货商问题的已有算法的基础上,设计了该问题的近似算法,并证明了算法的近似比不超过117。
-
-
-
-
范书平;
张岩;
马宝英;
万里;
姚念民;
宋妍
-
-
摘要:
为了快速生成覆盖目标路径的测试数据,提出在测试数据进化生成中,利用种群中个体穿越程序各分支的均衡程度调整进化过程.首先,在个体运行被测程序后,统计个体穿越各分支节点真假分支的情况;然后,设计并计算个体穿越程序的均衡度;最后,计算个体对程序均衡度的影响,使对程序均衡度影响大的个体具有较高的适应值,有更多机会参与到后续进化中,有效地提高了测试数据的生成效率.基准程序和工业用例的实验结果表明,与同类方法比较,所提出的方法在生成测试数据的运行时间与成功率方面具有优越性.
-
-
廖伟志;
夏小云;
贾小军
-
-
摘要:
为了提高多路径覆盖测试数据的生成效率,研究了一种基于蚁群算法的多路径覆盖测试数据生成方法.首先给出蚁群算法的一种改进方法,该算法以蚂蚁对生成测试数据的重要性作为蚂蚁状态转移和蚂蚁路径变异的依据,以引导更多蚂蚁穿越小概率节点,提高测试数据生成效率.其次,根据改进的蚁群算法分别提出了基于单信息素表和多信息素表的多路径覆盖测试数据生成方法.在基于多信息素表的方法中,每条目标路径的信息素表均被用于其它路径测试数据的求解,而且蚁群算法运行一次即可求解多条目标路径的覆盖测试数据.最后对所提出方法的有效性和复杂度进行了理论分析.实验结果表明,与其它方法相比,基于多信息素表的测试数据生成方法能够有效地生成多路径覆盖测试数据.
-
-
赵瑞莲;
郭小红;
王微微;
尚颖
-
-
摘要:
为对Web应用进行有效的测试,本文提出了一种面向Web应用服务器端敏感路径覆盖的客户端扩展有限状态机测试用例生成方法.针对Web应用客户端扩展有限状态机模型,以Web应用服务器端的敏感路径覆盖为目标,利用Memetic演化算法实现客户端扩展有限状态机模型的测试用例自动生成,对Web应用进行测试.同时,为解决由模型生成的抽象测试用例不可直接执行的问题,提出了一种基于Selenium的测试脚本自动构建方法,通过分析扩展有限状态机模型迁移的特征,利用谱聚类算法实现迁移聚类,依据映射规则将聚类之后的迁移映射为测试脚本,形成迁移脚本库,将抽象测试用例转换为可执行的测试用例.实验结果表明:基于Selenium的测试脚本自动构建能有效地将抽象测试用例转化为可执行的测试脚本;面向Web服务器端敏感路径的客户端扩展有限状态机测试用例生成方法能有效地实现Web服务器端敏感路径的覆盖,对服务器端的敏感路径进行测试.
-
-
谢章伟;
崔展齐;
郑丽伟;
张志华
-
-
摘要:
动态符号执行是一种有效的软件测试方法,但由于受到约束求解器求解能力的限制,在面对较为复杂的程序和路径条件时,动态符号执行的路径覆盖率还有待提升.针对上述问题,提出了一种遗传算法辅助的动态符号执行测试方法,并基于此方法实现了原型工具JDart-Ga.该方法结合遗传算法的优势,生成约束求解器无法求解的约束条件对应测试输入,从而提升动态符号执行的路径覆盖率.实验结果表明,在测试存在动态符号执行无法覆盖路径的3个实验对象时,所提出方法的路径覆盖率与JDart相比分别提升了16%至23%.
-
-
-
-
刘宜鑫;
伦立军;
李英梅
- 《2007全国软件及其应用学术会议》
| 2007年
-
摘要:
软件体系结构测试是对构件功能描述和接口描述的测试,是保证基于构件的软件系统质量的重要手段。本文提出了一种针对软件体系结构层配置信息的测试方法,该方法用Wright描述软件体系结构,将体系结构配置行为转换成改进的配置行为图表示构件内部计算及外部迁移信息,在相应算法的基础上,完善提出测试路径生成算法,设计并实现了测试原型工具,指导测试路径覆盖。
-
-
Gong Dunwei;
巩敦卫;
Tian Tian;
田甜
- 《第七届中国测试学术会议》
| 2012年
-
摘要:
测试数据生成是软件测试的关键.采用遗传算法生成覆盖路径的测试数据,是一种重要的测试数据生成方法,但是,已有的方法主要面向串行程序.结合并行程序自身的特点,并充分利用协同进化遗传算法的优势,本文提出一种用于覆盖消息传递并行程序路径的测试数据生成方法.首先,建立多种群协同进化模型;然后,设计不同进化种群的适应度函数;最后,给出合作团体的构成策略.将所提方法应用于典型并行程序测试中,并与随机法和传统遗传算法比较.实验结果表明,所提方法在个体评价次数和执行时间上均具有显著优越性.
-
-
邱晓康;
李宣东
- 《2004’全国软件与应用学术会议(NASAC)》
| 2004年
-
摘要:
软件测试作为保证软件质量、提高软件可靠性的重要手段,在软件开发中起着不可替代的作用.路径覆盖准则就是考察软件测试充分性的一种重要准则.由于严格的路径覆盖测试不可实现,只能选择一些对软件整体质量影响较大的重点路径进行测试,以提高软件测试工作的效率和效益.本文的工作主要针对面向对象的软件系统提出了一种通用的基于统计的自动化辅助工具,通过对程序代码的静态分析和插装.以及由大量随机测试用例驱动所得到的统计分析结果,为软件的功能测试和可靠性测试中的重点路径选择提供参考依据.本文重点对该工具的主要思想、相应算法以及一些具体的实现问题进行了阐述.
-
-
GONG Wei-gang;
龚伟刚;
YOU Wei;
游伟;
LI Zan;
李赞;
SHI Wen-chang;
石文昌;
LIANG Bin;
梁彬
- 《第15届全国软件与应用学术会议(NASAC2016)》
| 2016年
-
摘要:
目前,静态分析技术已被广泛用于对JavaScript程序进行安全性分析.但由于JavaScript支持通过eval等方法在运行时动态生成代码,仅靠静态分析难以取得动态生成代码.一种可行的解决方法是通过动态运行目标程序取得动态生成代码,再对其进行静态分析.然而,动态运行目标程序只能覆盖有限的执行路径,导致遗漏其他执行路径中的动态生成代码.针对这一问题,本文基于动态插桩实现了一个反事实执行方法.该万法通过修改JavaScript引擎,在其语法解析阶段动态插入反事实执行体,使条件不成立的分支路径和当前执行路径均能够得到执行.通过该插桩方式,即使嵌套调用eval等方法,也能在其动态生成代码中完成插桩.同时,还实现了一种按需undo方法,以消除反事实执行体中赋值操作带来的影响,且能够避免冗余操作.实验结果表明,本文实现的方法能够有效地扩大动态分析中执行路径的覆盖面.
-
-
GONG Wei-gang;
龚伟刚;
YOU Wei;
游伟;
LI Zan;
李赞;
SHI Wen-chang;
石文昌;
LIANG Bin;
梁彬
- 《第15届全国软件与应用学术会议(NASAC2016)》
| 2016年
-
摘要:
目前,静态分析技术已被广泛用于对JavaScript程序进行安全性分析.但由于JavaScript支持通过eval等方法在运行时动态生成代码,仅靠静态分析难以取得动态生成代码.一种可行的解决方法是通过动态运行目标程序取得动态生成代码,再对其进行静态分析.然而,动态运行目标程序只能覆盖有限的执行路径,导致遗漏其他执行路径中的动态生成代码.针对这一问题,本文基于动态插桩实现了一个反事实执行方法.该万法通过修改JavaScript引擎,在其语法解析阶段动态插入反事实执行体,使条件不成立的分支路径和当前执行路径均能够得到执行.通过该插桩方式,即使嵌套调用eval等方法,也能在其动态生成代码中完成插桩.同时,还实现了一种按需undo方法,以消除反事实执行体中赋值操作带来的影响,且能够避免冗余操作.实验结果表明,本文实现的方法能够有效地扩大动态分析中执行路径的覆盖面.
-
-
GONG Wei-gang;
龚伟刚;
YOU Wei;
游伟;
LI Zan;
李赞;
SHI Wen-chang;
石文昌;
LIANG Bin;
梁彬
- 《第15届全国软件与应用学术会议(NASAC2016)》
| 2016年
-
摘要:
目前,静态分析技术已被广泛用于对JavaScript程序进行安全性分析.但由于JavaScript支持通过eval等方法在运行时动态生成代码,仅靠静态分析难以取得动态生成代码.一种可行的解决方法是通过动态运行目标程序取得动态生成代码,再对其进行静态分析.然而,动态运行目标程序只能覆盖有限的执行路径,导致遗漏其他执行路径中的动态生成代码.针对这一问题,本文基于动态插桩实现了一个反事实执行方法.该万法通过修改JavaScript引擎,在其语法解析阶段动态插入反事实执行体,使条件不成立的分支路径和当前执行路径均能够得到执行.通过该插桩方式,即使嵌套调用eval等方法,也能在其动态生成代码中完成插桩.同时,还实现了一种按需undo方法,以消除反事实执行体中赋值操作带来的影响,且能够避免冗余操作.实验结果表明,本文实现的方法能够有效地扩大动态分析中执行路径的覆盖面.
-
-
GONG Wei-gang;
龚伟刚;
YOU Wei;
游伟;
LI Zan;
李赞;
SHI Wen-chang;
石文昌;
LIANG Bin;
梁彬
- 《第15届全国软件与应用学术会议(NASAC2016)》
| 2016年
-
摘要:
目前,静态分析技术已被广泛用于对JavaScript程序进行安全性分析.但由于JavaScript支持通过eval等方法在运行时动态生成代码,仅靠静态分析难以取得动态生成代码.一种可行的解决方法是通过动态运行目标程序取得动态生成代码,再对其进行静态分析.然而,动态运行目标程序只能覆盖有限的执行路径,导致遗漏其他执行路径中的动态生成代码.针对这一问题,本文基于动态插桩实现了一个反事实执行方法.该万法通过修改JavaScript引擎,在其语法解析阶段动态插入反事实执行体,使条件不成立的分支路径和当前执行路径均能够得到执行.通过该插桩方式,即使嵌套调用eval等方法,也能在其动态生成代码中完成插桩.同时,还实现了一种按需undo方法,以消除反事实执行体中赋值操作带来的影响,且能够避免冗余操作.实验结果表明,本文实现的方法能够有效地扩大动态分析中执行路径的覆盖面.
-
-
王立娟;
蒋波
- 《中国计算机用户协会信息系统分会2005年信息交流大会》
| 2005年
-
摘要:
测试数据在软件测试中起着重要的作用,它的生成对实现软件测试过程的自动化具有重要意义.文章阐述了以遗传算法作为核心搜索算法来生成软件结构测试数据的方法和技术,对具体应用中需考虑的问题进行了剖析,并给出相应的解决方案,使算法在解决本问题时更加有效.
-
-
王立娟;
蒋波
- 《中国计算机用户协会信息系统分会2005年信息交流大会》
| 2005年
-
摘要:
测试数据在软件测试中起着重要的作用,它的生成对实现软件测试过程的自动化具有重要意义.文章阐述了以遗传算法作为核心搜索算法来生成软件结构测试数据的方法和技术,对具体应用中需考虑的问题进行了剖析,并给出相应的解决方案,使算法在解决本问题时更加有效.
-
-
王立娟;
蒋波
- 《中国计算机用户协会信息系统分会2005年信息交流大会》
| 2005年
-
摘要:
测试数据在软件测试中起着重要的作用,它的生成对实现软件测试过程的自动化具有重要意义.文章阐述了以遗传算法作为核心搜索算法来生成软件结构测试数据的方法和技术,对具体应用中需考虑的问题进行了剖析,并给出相应的解决方案,使算法在解决本问题时更加有效.