程序切片技术

作品数：17被引量：38H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：李必信张迎周王伟陈平尹秀更多>>
相关机构：上海莞东拿信息科技有限公司南京大学南京邮电大学四川大学更多>>
相关期刊：《现代导航》《计算机技术与发展》《高技术通讯》《智能计算机与应用》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家教育部博士点基金天津市自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于最弱前置条件的程序正确性分析
《高技术通讯》2019年第6期556-563,共8页郭莎莎 侯春燕 王劲松 
国家自然基金(61402333,61272450);天津市自然科学基金(18JCZDJC30700);赛尔网络下一代互联网技术创新项目(NGII20160121)资助
随着软件的不断更新迭代,软件正确性检测的必要性愈加凸显,软件正确性检测的处理时间直接决定软件的维护成本。动态测试的断言编写和静态分析的符号执行均针对程序正确性进行优化完善,但分析结果易出现路径缺失甚至错误无法识别等问题...
关键词：程序正确性 最弱前置条件 静态分析 路径扩展 程序切片技术 
基于GCC关键变量数据流分析算法的程序切片技术被引量：2
《计算机工程与应用》2017年第24期40-47,54,共9页杨小川 姜军 马晓东 漆锋滨 
国家"863"计划基金资助项目(No.2012AA010903)
随着程序的规模的扩大和复杂度的提高,通过直接分析源码进行程序切片,变得十分困难。在现有的利用编译优化技术来优化程序切片的方法中,存在无法有效利用程序的编译时信息和编译器的优化技术,以及对语言的支持不完善的问题。为此,分析了...
关键词：程序切片 目标函数 关键变量 数据流分析 GIMPLE中间表示 
基于领域的本体抽取技术研究
《科技风》2017年第16期262-262,共1页王智学 张瑞 
本文以一个微型本体片段为例,采用程序切片技术对实验本体进行抽取,内容涉及基于本体的依赖图构建、分层化简本体依赖图的生成以及本体切片方法的设计,是程序切片技术在本体构建领域的一种尝试。
关键词：微型本体片段 本体抽取 程序切片技术 
程序切片技术在软件测试中的应用被引量：1
《电子技术与软件工程》2014年第17期70-70,共1页张锋 
程序切片是一种应用在软件测试中的分析和理解技术,该技术通过对程序中的不同切片进行识别,达到缩小软件测试范围的目的,从而有效的提高测试效率。同时,程序切片技术应用在程序存在的基础上,两者具有依赖关系,能够提高测试的准确性。本...
关键词：程序切片 软件测试 数据信息 系统 
程序切片技术在程序理解中的应用被引量：1
《智能计算机与应用》2013年第2期97-99,共3页杜均 罗扬 
随着计算机软件技术的飞速发展,软件系统的规模变得越来越大,软件的维护工作也随之越来越复杂。绝大部分软件开发的主要精力都消耗在维护或者扩展原有的系统上面,而不是重新开发新系统。因此,对于软件系统的维护问题变得极其重要,对于...
关键词：程序切片 程序理解 逆向工程 
基于程序依赖图的静态BPEL程序切片技术被引量：2
《计算机应用》2012年第8期2338-2341,共4页王洪达 邢建春 宋巍 杨启亮 
国家自然科学基金资助项目(61003019;61073031);高等学校博士学科点专项科研基金资助项目(20113219120021)
传统程序切片技术在计算BPEL程序切片时会产生切片不完备问题,为此,提出一种基于程序依赖图的BPEL静态程序切片技术。该技术根据BPEL语言的特点,通过建立BPEL程序依赖图,计算BPEL程序切片。案例分析表明,该技术能够获得更加全面的程序切...
关键词：WEB服务组合 BPEL程序依赖图 静态程序切片 异步调用依赖 
软件测试中的程序切片技术被引量：1
《现代导航》2012年第3期231-234,共4页张东源 
程序切片是一种程序分析和理解技术,在软件测试中使用程序切片技术可根据程序的不同切片来缩小软件的测试范围、提高软件测试的效率。同时由于程序切片考虑了程序存在的各种依赖关系,使得测试的准确性得到提高。本文介绍了目前的切片技...
关键词：程序切片 软件测试 错误定位 回归测试 
基于粗粒度程序切片技术的遗产软件系统理解方法研究
《中国科技信息》2010年第24期101-102,共2页杜林 胡秀琴 江海燕 
A new object-oriented program slicing method is presented for the comprehension of the legacy software.This method combines ripple effect analysis and system dependency graph.It can analyzes semantic relations in obje...
关键词：遗产软件 系统理解 程序切片 
基于切片技术的GUI回归测试用例选择被引量：3
《微计算机信息》2008年第27期178-180,共3页魏冬梅 洪玫 袁伟 刘丽 
国家863计划资助项目(2006AA12A104)
本文通过分析基于GUI的面向对象软件系统中界面元素和类方法之间的依赖关系,应用程序切片技术,给出系统回归测试的方案。在系统修改后,通过系统中对象之间的依赖性界定修改波及的影响,再根据切片技术计算出相应的程序切片,进一步设计或...
关键词：回归测试 GUI 程序切片技术 OO 
程序切片技术在并发程序模型检查中的应用
《计算机技术与发展》2008年第11期163-167,171,共6页高鹏飞 沈云付 
模型检查技术在硬件和协议设计方面已经取得很大成功,但在软件验证方面仍存在很多困难。其主要问题是如何从源代码中自动抽取验证所要模型并精简其状态空间。文中通过对程序切片技术的研究,来解决并发程序验证的建模问题,包括把验证公...
关键词：并发程序 模型检查 程序切片 状态空间 切片准则 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部