程序切片

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机科学x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向数据库模式变更的代码演化推荐方法被引量：2
《计算机科学》2016年第2期216-223,共8页张武能 李宏伟 沈立炜 赵文耘 
国家"863"高技术研究发展计划项目(2013AA01A605);国家自然科学基金项目(61402113)资助
许多软件依赖数据库来存储信息。数据库模式的变更可能导致程序代码中与数据库相关的SQL语句代码不能正常执行,因而找出一种能够直接定位到需要修改的SQL语句代码并推荐出这些代码可能的修改方案的方法是十分必要的。提出的面向数据库...
关键词：数据库模式 演化 SQL语句 程序切片 程序流程图 
面向自动修复并融合失效场景的缺陷定位方法
《计算机科学》2015年第12期102-104,107,共4页李昂 毛晓光 雷晏 
国家自然科学基金(61379054)资助
为了应对日益增长的软件修复开销,研究高效的软件自动修复技术成为学术界和工业界的共识。缺陷定位作为自动修复技术的前端,是实现快速准确自动修复的关键,其精度直接影响自动修复的性能。然而,初步研究表明,现有缺陷定位技术缺乏对自...
关键词：自动修复 缺陷定位 失效场景 程序切片 可疑值度量 
利用变量状态转换模型进行部分软件错误的检测
《计算机科学》2015年第B11期504-507,共4页张广梅 李景霞 
应用程序中的功能通常是通过对变量的操作来实现。应用程序中变量的操作包括赋值、引用等不同的方式。针对普通变量和指针变量在程序中的使用方式,对变量的状态进行了分析,并根据变量使用的特点,定义了普通变量和指针变量的状态转换模...
关键词：变量状态转换模型 程序切片 软件错误 
基于程序切片的测试用例生成系统研究与实现被引量：3
《计算机科学》2014年第9期71-74,共4页王志文 黄小龙 王海军 刘烃 俞乐晨 
国家自然科学基金(91118005;91218301;61221063;61203174;61202392);国家科技支撑计划(2011BAK 08B02);教育部博士点基金(20110201120010);中央高校基本科研业务费专项资金资助
介绍了一种基于程序行为切片的测试用例生成系统的实现方案,系统在不扫描全部程序路径的情况下,生成可以覆盖全部程序行为的测试用例集。系统分为静态分析、动态符号执行以及测试用例生成3个模块。在静态分析模块中根据输入的程序代码...
关键词：软件测试 测试用例集生成 动态符号执行 程序切片 
回归测试用例选择技术研究综述被引量：6
《计算机科学》2013年第10期1-9,共9页陈翔 顾卫江 徐慧 顾庆 陈道蓄 
国家重点基础研究发展计划(2009CB320705);国家高技术研究发展计划(2006AA01Z177);国家自然科学基金(60873027;61202006);江苏省高校自然科学研究项目(12KJB520014);南通市应用研究计划项目(BK2012023和BK2012027);南京大学计算机软件新技术国家重点实验室开放课题(KFKT2012B29);南通大学自然科学研究项目(03040844)资助
回归测试用例选择(Regression Test Case Selection,RTS)问题是回归测试研究中的一个热点,旨在从已有测试用例集中选择出所有可检测代码修改的测试用例。但迄今为止,国内研究人员并未对RTS问题的已有研究成果进行系统总结和比较。首先...
关键词：回归测试 测试用例选择 图遍历法.程序切片 线性规划 
一种利用指向组合优化依赖图构建的方法
《计算机科学》2013年第1期139-143,共5页张磊 陶彬贤 钱巨 
国家自然科学基金(60903026)资助
指针的动态性使得程序分析中一个指针变量往往被认为有多个可能的指向目标,构成多个指向关系。现有的依赖图构建方法虽然较全面地考虑了指针的多指向性,但并未考虑指向关系之间的可组合性,因此精度上仍存在许多不足。为此,提出了一种利...
关键词：依赖图 指针 组合 别名 程序切片 
基于变量作用域的数据流分析被引量：1
《计算机科学》2012年第3期131-134,共4页姜淑娟 赵雪峰 
江苏省自然科学基金(BK2008124);国家自然科学基金(60970032);中国矿业大学科学研究基金(OD080310)资助
数据流分析作为程序分析的一种重要手段,已广泛应用于各种软件工程任务中。传统的数据流迭代分析法没有考虑变量因作用域问题而被隐藏和覆盖的现象,导致数据流信息不准确。在传统数据流迭代分析法的基础上提出一种基于变量作用域的数据...
关键词：数据流 迭代 作用域 程序切片 
一种C程序内存访问缺陷自动化检测方法研究被引量：3
《计算机科学》2010年第6期155-158,185,共5页杨飏 张焕国 王后珍 
国家863高技术研究发展计划项目基金(2007AA01Z411;2008AA01Z404);国家自然科学基金(90718005;90718006)资助
符号执行是目前较为行之有效的软件缺陷自动化检测方法,计算代价昂贵与程序执行路径爆炸是两个影响其性能的关键问题。提出了一种针对C语言程序内存访问缺陷的符号执行检测方法,该方法可通过自动化构造的测试用例发现程序内部的内存访...
关键词：静态分析 符号执行 程序切片 约束求解 
一种基于程序切片技术的软件测试方法被引量：5
《计算机科学》2001年第12期97-101,112,共6页李必信 方祥圣 袁海 郑国梁 
It is well acknowledged that quality of software has a higher priority than the performance and functions of software. One of the ways to get high-quality software is to get more efficient software-testing techniques....
关键词：程序切片 软件测试 软件开发 面向对象 
程序切片技术的研究与应用被引量：9
《计算机科学》2000年第1期31-35,共5页张勇翔 李必信 郑国梁 
江苏省应用基础 编号BJ97036 资助。
软件逆向工程和维护通常是一种繁复的任务,它需要对程序的大量阅读,透切理解,耗费大量的人力物力。正是基于这种情况,产生了大量有关程序理解的技术,而程序切片技术是其中比较突出的一种。程序切片技术(Program slicing)最早由MarkWeise...
关键词：程序切片 面向对象 软件逆向工程 软件维护 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部