程序切片

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

检索结果分析

结果分析中...
选择条件：
  • 基金=国家重点基础研究发展计划x
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
回归测试用例选择技术研究综述被引量：6
《计算机科学》2013年第10期1-9,共9页陈翔 顾卫江 徐慧 顾庆 陈道蓄 
国家重点基础研究发展计划(2009CB320705);国家高技术研究发展计划(2006AA01Z177);国家自然科学基金(60873027;61202006);江苏省高校自然科学研究项目(12KJB520014);南通市应用研究计划项目(BK2012023和BK2012027);南京大学计算机软件新技术国家重点实验室开放课题(KFKT2012B29);南通大学自然科学研究项目(03040844)资助
回归测试用例选择(Regression Test Case Selection,RTS)问题是回归测试研究中的一个热点,旨在从已有测试用例集中选择出所有可检测代码修改的测试用例。但迄今为止,国内研究人员并未对RTS问题的已有研究成果进行系统总结和比较。首先...
关键词：回归测试 测试用例选择 图遍历法.程序切片 线性规划 
基于程序切片的软件交互行为可信性分析模型被引量：1
《北京工业大学学报》2013年第5期713-721,共9页王丹 孙浩扬 王进 付利华 
国家"973"计划资助项目(2007CB311106);北京市自然科学基金资助项目(4122007)
为研究面向交互行为的软件行为可信性分析和动态度量问题,从软件与外界数据交换时所产生的信息流动过程中,确定并提取依赖于输入数据的语句和变量的集合,作为软件交互行为的预期模型.在软件实际运行过程中,通过动态获取软件的实际行为,...
关键词：可信软件 交互 动态度量 
含指针程序的单子切片方法被引量：5
《计算机学报》2010年第3期473-482,共10页张迎周 吴重强 钱巨 张卫丰 徐宝文 
国家自然科学基金(60703086;90818027;60633010;60873049;60973046;60903026);国家"八六三"高技术研究发展计划目标导向类项目(2009AA01Z147);国家"九七三"重点基础研究发展规划项目基金(2009CB320703)资助
传统的含指针程序切片方法将指向分析与切片计算分开,增加了一定系统开销,为此文中提出一种可同时进行切片计算和指向分析的单子切片算法.该算法将程序正向切片思想与数据流迭代分析相结合,它是流敏感的,具有一定的精度,而且因指向分析...
关键词：程序切片 单子切片 数据流迭代 指针 指向分析 
非经典切片技术及其在形式验证中的应用综述
《计算机工程与应用》2007年第36期43-47,54,共6页高新岩 吴尽昭 闫炜 周宁 
国家自然科学基金(the National Natural Science Foundation of China under Grant No.60373113);国家重点基础研究发展规划(973)(the National Grand Fundamental Research 973 Program of China under Grant No.2004CB318000)
切片技术最初是作为一种程序分解抽取的分析技术而出现的,经过20多年的不断发展和完善,应用范围已遍及软件工程学科的各个方面。特别是从本世纪初,随着非经典切片:计算切片和证明切片两个新兴研究方向的出现,其学术研究和工程价值越发...
关键词：程序切片 计算切片 证明切片 约简 形式验证 性质验证 模型检验 
一种基于异常传播分析的依赖性分析方法被引量：10
《软件学报》2007年第4期832-841,共10页姜淑娟 徐宝文 史亮 周晓宇 
SupportedbytheNationalNaturalScienceFoundationofChinaunderGrantNo.60373066(国家自然科学基金);theNationalScienceFoundationforDistinguishedYoungScholarsofChinaunderGrantNo.60425206(国家杰出青年科学基金);theNationalGrandFundamentalResearch973ProgramofChinaunderGrantNo.2002CB312000(国家重点基础研究发展规划(973));theProgramforCross-CenturyOutstandingTeachersoftheMinistryofEducationofChina(国家教育部跨世纪优秀人才基金);theHighTechnologyResearchProjectofJiangsuProvinceofChinaunderGrantNo.BG2005032(江苏省高技术研究项目);theNaturalScienceFoundationofJiangsuProvinceofChinaunderGrantNo.BK2006094(江苏省自然科学基金);theScienceResearchFoundationofChinaUniversityofMiningandTechnologyunderGrantNo.OD4527(中国矿业大学科学研究基金)
在分析异常处理结构对程序依赖性分析影响的基础上,对传统的控制流图进行改进,提出了一种新的能够描述包括异常处理结构在内的函数内和函数间的C++程序的依赖性分析模型,并给出了相应的构造算法.该方法既克服了因忽略异常处理结构对程...
关键词：异常处理 程序分析 异常传播 依赖性分析 程序切片 健壮性 
一种基于模块单子语义的动态程序切片方法被引量：13
《计算机学报》2006年第4期526-534,共9页张迎周 徐宝文 
国家杰出青年基金(60425206);国家自然科学基金(60373066;90412003;60403016);国家"九七三"重点基础研究发展规划项目基金(2002CB312000);国家教育部博士点基金(20020286004);江苏省高校自然科学研究计划项目基金(05KJD520151)资助.
提出一种基于程序模块单子语义的新动态切片方法———模块单子动态切片.首先通过单子转换器,将切片这一类计算抽象成独立于具体语言的实体:切片单子转换器.然后,将该切片转换器作为模块加载到实际程序中,并给出相应的模块单子动态切片...
关键词：程序切片 动态切片 单子 单子转换器 模块单子语义 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部