不可达路径

作品数：20被引量：65H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：宫云战姜淑娟王雅文张艳梅韩寒更多>>
相关机构：北京邮电大学中国矿业大学装甲兵工程学院南华大学更多>>
相关期刊：《南华大学学报（自然科学版）》《计算机仿真》《武汉理工大学学报》《清华大学学报（自然科学版）》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划江苏省研究生培养创新工程项目江苏省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于改进遗传算法的测试用例进化生成方法研究被引量：2
《计算机时代》2022年第12期40-43,共4页林亚娜 
2021年福州理工学院校级科研基金项目“基于遗传算法的测试用例进化生成研究FTKY21057”;2021年福州理工学院校级一流本科课程建设项目“线下一流课程软件测试技术”(LGJG2021058);2021年福州理工学院校级教学改革项目“软件测试技术课程建设与实践”(LGJG2021023)。
软件测试中的路径覆盖法生成测试用例问题,可看作寻找最优路径问题。针对手工设计或随机算法生成测试用例效率不高及覆盖率难以保证等问题,提出一种改进的遗传算法。构建目标路径集合,通过改进适应度函数,拉大实际路径与目标路径差异从...
关键词：不可达路径 遗传算法 适应度函数 自动生成测试用例 
基于符号执行提高缺陷分析的准确性研究被引量：3
《北京理工大学学报》2020年第4期382-385,395,共5页王眉林 张旖旎 李明月 邵帅 刘湿润 
国家重点研发计划网络空间安全重点专项(2016YFB0800900);国家自然科学基金面上项目(61672534)。
静态分析是检测软件代码缺陷和提升软件代码质量的有效方式.由于静态分析不实际运行代码,不能获取足够的运行时信息,因此分析结果的准确性有待提高.相比而言,符号执行技术能够模拟执行程序并收集大量的数据流信息,提升数据流分析的准确...
关键词：静态分析 符号执行 缺陷检测 不可达路径 
程序不可达路径的检测方法姚婷
《电脑知识与技术》2018年第10Z期84-87,共4页姚婷 
对于复杂的大型软件,程序中不可达路径存在会浪费软件测试的资源也影响了测试的准确性。通过对程序基本路径集中不可达路径存在的问题进行了研究,提出基于条件语句之间具有的相关性检测不可达路径的方法,通过考察这些条件语句之间的相关...
关键词：软件测试 不可达路径 条件相关性 
一种混合测试用例约简和生成的方法被引量：1
《微电子学与计算机》2018年第6期17-21,27,共6页李益 吴军华 
国家自然科学基金(61672279)
软件测试是软件开发的重要的环节,如何实现路径覆盖、提高测试效率是测试研究的关键问题.从测试需求着手,通过路径分析进行测试需求的约简;利用条件概率判定条件语句间的相关性以检测不可达路径;综合遗传算法和萤火虫算法,根据层接近度...
关键词：路径覆盖 需求约简 不可达路径 遗传算法 萤火虫算法 
测试用例自动生成中等式约束处理算法
《计算机辅助设计与图形学学报》2017年第9期1740-1749,共10页张博 邢颖 宫云战 贾薇 
国家"八六三"高技术研究发展计划(2012AA011201);国家自然科学基金(91318301)
为了解决测试用例自动生成中等式约束的求解问题,提出一种加入等式处理策略的分支限界搜索算法.首先将线性代数中判定线性方程组是否有解的方法引入分支限界测试用例生成框架之中;然后在已有算法模型的基础上提出集成等式处理分支限界...
关键词：约束满足问题 线性代数 不可达路径 分支限界 
复杂系统中不可达函数调用路径检测方法研究被引量：2
《计算机仿真》2016年第9期426-430,共5页潘璐 牟永敏 张志华 
国家自然科学基金(61370129);北京市学科与研究生教育基金(PXM2015_014224_000018)
通过静态分析复杂程序可获取系统的函数调用路径,便于系统框架的理解、分析及后期测试,但提高其分析效率和提取准确度的关键在于不可达函数调用路径的检测和去除。基于控制流信息,将函数指针和函数调用对数据流的影响综合考虑,结合数据...
关键词：复杂系统 函数调用路径 不可达路径 控制流 数据流 
基于分支相关性分析的不可达路径检测方法被引量：1
《计算机研究与发展》2016年第5期1072-1085,共14页姜淑娟 韩寒 史娇娇 张艳梅 鞠小林 钱俊彦 
国家自然科学基金项目(61502497,61562015);计算机软件新技术国家重点实验室(南京大学)基金项目(KFKT2014B19);广西可信软件重点实验室(桂林电子科技大学)研究课题(kx201530);南通市应用研究计划基金项目(BK2014055)
软件测试中,不可达路径的存在会导致测试资源浪费,有效地检测程序中的不可达路径有助于节约测试资源、提高测试效率.分支相关性的存在是不可达路径产生的主要起因.因此,确定分支的相关性在不可达路径的检测中占据十分重要的地位.提出了...
关键词：软件测试 不可达路径 分支相关性 关联分析 数据流分析 
基于节点概率的路径覆盖测试数据进化生成被引量：16
《软件学报》2016年第4期802-813,共12页夏春艳 张岩 宋丽 
国家自然科学基金(61573362);牡丹江师范学院博士科研启动基金(MNUB201414);牡丹江师范学院科研项目(QN201601;QY2014001)~~
路径覆盖是软件测试领域重要的测试方法之一.为了提高路径覆盖测试效率,在采用遗传算法进化生成路径覆盖的测试数据过程中,利用被测程序条件语句的相关性判定不可达路径,除路径中必经节点外,其他节点在不可达路径中出现的概率越大,穿越...
关键词：软件测试 路径覆盖 遗传算法 不可达路径 穿越度 
基于子路径扩展的不可达路径检测方法被引量：2
《电子学报》2015年第8期1555-1560,共6页王红阳 姜淑娟 王兴亚 鞠小林 张艳梅 
国家自然科学基金(No.61340037;No.61202006);中央高校基本科研业务费专项资金(No.2013NB17);江苏省青蓝工程;江苏省333高层次人才培养工程项目;江苏省研究生培养创新工程(No.CXZZ12-0935);南通市应用研究计划(No.BK2014055)
不可达路径是造成软件测试资源消耗的一个重要方面.在路径测试之前,检测程序中的不可达路径可以有效节约软件测试资源.提出了一种基于子路径扩展的不可达路径静态检测方法.该方法首先生成程序的子路径集,将路径的可达性问题转换为不等...
关键词：软件测试 子路径扩展 不可达路径检测 约束求解 
覆盖测试中基于回溯法的路径选择被引量：4
《软件》2014年第11期9-13,共5页俞濛 黄俊飞 
国家"八六三"高技术研究发展计划基金(2007AA010302);国家自然科学基金(91018002)
单元覆盖测试的目标是达到尽可能高的覆盖率。为了提高自动化单元测试的覆盖率,本文提出了一种面向目标覆盖元素,基于回溯法遍历程序控制流图,选择可达路径的方法。该方法从函数入口节点开始,进行深度优先的路径遍历,以当前的部分路径...
关键词：软件测试 单元测试 区间运算 路径选择 不可达路径 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部