程序切片

作品数：195被引量：456H指数：10
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：张迎周李必信徐宝文郑国梁姜淑娟更多>>
相关机构：东南大学南京邮电大学南京大学南京航空航天大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划江苏省自然科学基金国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=软件学报x
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
有效覆盖引导的定向灰盒模糊测试被引量：4
《软件学报》2022年第11期3967-3982,共16页杨克 贺也平 马恒太 蔡春芳 谢异 董柯 
中国科学院战略性先导科技专项(XDA-Y01-01,XDC02010600)。
定向灰盒模糊测试技术在度量种子对目标执行状态的搜索能力时,除了考虑种子逼近目标代码的程度之外,还需要分析种子对多样化执行状态的发现能力,从而避免陷入局部最优.现有的定向灰盒模糊测试主要根据全程序的覆盖统计来度量种子搜索多...
关键词：定向模糊测试 有效覆盖 冗余种子 能量调度 程序切片 
一种基于程序功能标签切片的制导符号执行分析方法被引量：4
《软件学报》2019年第11期3259-3280,共22页甘水滔 王林章 谢向辉 秦晓军 周林 陈左宁 
国家自然科学基金(91318301,61170066,6147179)~~
提出了一种基于程序功能标签切片的制导符号执行分析方法OPT-SSE.该方法从程序功能文档提取功能标签,利用程序控制流分析,建立各功能标签和程序基本块的映射关系,并根据功能标签在程序执行中的顺序关系生成功能标签执行流.针对给定的代...
关键词：制导符号执行 分支覆盖率 指令覆盖率 搜索策略 程序切片 
结合用例约简与联合依赖概率建模的错误定位被引量：6
《软件学报》2014年第7期1492-1504,共13页苏小红 龚丹丹 王甜甜 马培军 
国家自然科学基金(61173021;61202092);教育部博士点基金(20112302120052)
现有的测试用例约简方法不能有效提高错误定位精度,现有的软件错误定位方法不能充分分析元素间的依赖关系.针对以上问题,提出结合测试用例约简和联合依赖概率建模的软件错误自动定位方法,将测试用例约简与软件错误定位统一为一个整体....
关键词：程序分析 错误定位 测试用例约简 程序切片 统计分析 
静态程序切片的GPU通用计算功耗预测模型被引量：6
《软件学报》2013年第8期1746-1760,共15页王海峰 陈庆奎 
国家自然科学基金(60970012);教育部博士点专项基金(20113120110008);上海重点科技攻关项目(09511501000;09220502800);上海市一流学科建设项目(XTKX2012)
随着图形处理器通用计算的发展,GPU(graphics processing unit)通用计算程序功耗的度量与优化成为绿色计算领域中的一个基础问题.当前,GPU计算能耗评测主要通过硬件来实现,而开发人员无法在编译之前了解应用程序能耗,难以实现能耗约束...
关键词：功耗模型 GPU计算 非线性回归 程序切片 小波神经网络 
一种基于异常传播分析的依赖性分析方法被引量：10
《软件学报》2007年第4期832-841,共10页姜淑娟 徐宝文 史亮 周晓宇 
SupportedbytheNationalNaturalScienceFoundationofChinaunderGrantNo.60373066(国家自然科学基金);theNationalScienceFoundationforDistinguishedYoungScholarsofChinaunderGrantNo.60425206(国家杰出青年科学基金);theNationalGrandFundamentalResearch973ProgramofChinaunderGrantNo.2002CB312000(国家重点基础研究发展规划(973));theProgramforCross-CenturyOutstandingTeachersoftheMinistryofEducationofChina(国家教育部跨世纪优秀人才基金);theHighTechnologyResearchProjectofJiangsuProvinceofChinaunderGrantNo.BG2005032(江苏省高技术研究项目);theNaturalScienceFoundationofJiangsuProvinceofChinaunderGrantNo.BK2006094(江苏省自然科学基金);theScienceResearchFoundationofChinaUniversityofMiningandTechnologyunderGrantNo.OD4527(中国矿业大学科学研究基金)
在分析异常处理结构对程序依赖性分析影响的基础上,对传统的控制流图进行改进,提出了一种新的能够描述包括异常处理结构在内的函数内和函数间的C++程序的依赖性分析模型,并给出了相应的构造算法.该方法既克服了因忽略异常处理结构对程...
关键词：异常处理 程序分析 异常传播 依赖性分析 程序切片 健壮性 
面向对象软件回归测试技术研究被引量：31
《软件学报》2001年第3期372-376,共5页方菲 孙家骕 王立福 杨芙清 
国家"九五"重点科技攻关项目资助!(98- 780 - 0 1- 0 2 )&&
回归测试的目标之一是在程序修改后 ,只对进行修改的部分重新测试 ,从而达到与完全测试相同的测试覆盖 .利用数据流或部分数据流技术 ,对结构化程序进行回归测试的技术已相继提出 .随着面向对象方法的逐渐成熟 ,对面向对象软件测试技术...
关键词：面向对象 程序切片 数据流 回归测试 软件测试 软件开发 
基于简化系统依赖图的静态粗粒度切片方法被引量：10
《软件学报》2001年第2期204-211,共8页李必信 王云峰 张勇翔 郑国梁 
国家863青年基金!资助项目 (86 3- 30 6 - QN2 0 0 0 - 2 ) ;江苏省自然科学基金!资助项目 (BK990 38)&&
基于系统依赖图是计算面向对象程序切片的一个有效方法 .但是 ,系统依赖图的缺点是太复杂 ,而且在建立系统依赖图的过程中容易出错 ,一旦出现错误就可能导致切片结果的不准确 .通过对系统依赖图进行简化 ,得到了简化的系统依赖图 .它省...
关键词：系统依赖图 简化系统依赖图 粗粒度切片 面向对象 程序切片 
一种系统依赖图的面向对象扩充方案被引量：7
《软件学报》2001年第2期241-248,共8页李必信 李宣东 郑国梁 
国家863青年基金!资助项目 (86 3- 30 6 - QN2 0 0 0 - 2 ) ;江苏省自然科学基金!资助项目 (BK990 38)&&
提出一种对传统的系统依赖图进行面向对象扩充的方案 .把传统的系统依赖图和类依赖子图、类层次子图相结合 ,从而构成了适合描述面向对象程序的面向对象系统依赖图 .详细说明了对系统依赖图进行面向对象语法、语义扩充的过程 ,同时给出...
关键词：系统依赖图 构造算法 程序分析 程序切片 面向对象 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部