程序切片

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机技术与发展x
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于程序切片和服务构件的语义Web服务组合被引量：2
《计算机技术与发展》2011年第11期141-144,148,共5页王伟 杨庚 张迎周 孔华云 
国家(973)规划课题(2011CB302903);国家自然科学基金资助项目(60873231);江苏省自然科学基金(BK2009426)
文中利用程序切片技术,根据用户的请求,将目标细分成一个个单一的需求,利用程序切片对依赖图进行函数抽取,将服务中实际需要使用的功能抽取出来,形成更小型的原子服务,作为服务构件并纳入构件库,进行服务组合。同时通过使用Wordnet词典...
关键词：WEB服务组合 程序切片 WORDNET 服务构件 
基于时序逻辑的Object-Z类切片的扩展
《计算机技术与发展》2009年第6期13-16,21,共5页佟长英 沈云付 
国家863项目(2007AA01Z144)
文中对程序切片进行了研究,报告了程序切片的现状,进行了Object-Z类切片方面的调查。为使Object-Z规格易于验证,对Object-Z作切片处理是必须的。以Object-Z的通用堆栈类为实例,对类的描述进行扩展,给出了相应的Kripke结构。通过面向对...
关键词：程序切片 KRIPKE结构 OBJECT-Z 时序逻辑 间隔逻辑 通用堆栈 
程序切片技术在并发程序模型检查中的应用
《计算机技术与发展》2008年第11期163-167,171,共6页高鹏飞 沈云付 
模型检查技术在硬件和协议设计方面已经取得很大成功,但在软件验证方面仍存在很多困难。其主要问题是如何从源代码中自动抽取验证所要模型并精简其状态空间。文中通过对程序切片技术的研究,来解决并发程序验证的建模问题,包括把验证公...
关键词：并发程序 模型检查 程序切片 状态空间 切片准则 
基于程序切片技术的回归测试方法研究被引量：3
《计算机技术与发展》2007年第12期113-115,176,共4页陈永郑 李龙澍 
国家自然科学基金(60273043);安徽省自然科学基金(050420204);安徽省教育厅自然科学研究项目(2006KJ098B)
软件测试是软件开发过程的一个重要组成部分,是进行软件有效性检查、提高软件质量的重要手段。随着软件规模的不断增大、复杂度的不断提高,传统的软件测试技术在处理大规模复杂软件系统时会出现许多问题。程序切片是一种程序分解术,主...
关键词：程序切片 软件维护 回归测试 
一种C++程序切片系统的设计与实现
《计算机技术与发展》2006年第7期20-22,25,共4页周婕 慕晓冬 王杰 
程序切片是一种程序分析技术,它主要应用在程序的调试和逆向工程。文中介绍了笔者设计并实现的一个C++程序切片系统。其中包括系统的总体框架,系统中使用的数据结构以及切片生成算法。本系统已经成功应用到了X型导弹指挥软件的故障诊断中。
关键词：程序切片 程序依赖图 抽象语法树 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部