期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到172篇文章
< 1 2 … 9 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
面向对象软件回归测试技术研究 被引量：31
1
作者 方菲 孙家骕 +1 位作者 王立福 杨芙清 《软件学报》 EI CSCD 北大核心 2001年第3期372-376,共5页
回归测试的目标之一是在程序修改后 ,只对进行修改的部分重新测试 ,从而达到与完全测试相同的测试覆盖 .利用数据流或部分数据流技术 ,对结构化程序进行回归测试的技术已相继提出 .随着面向对象方法的逐渐成熟 ,对面向对象软件测试技术... 回归测试的目标之一是在程序修改后 ,只对进行修改的部分重新测试 ,从而达到与完全测试相同的测试覆盖 .利用数据流或部分数据流技术 ,对结构化程序进行回归测试的技术已相继提出 .随着面向对象方法的逐渐成熟 ,对面向对象软件测试技术的研究有了迫切的需求 .通过分析对象系统的特性 ,定义了对象之间的依赖关系 ,通过这个依赖关系 ,导出测试对象的方法序列 ,并应用程序切片技术 ,标识那些受到程序修改影响的测试用例 ,只有这些测试用例才需要在回归测试中重新执行 .最后给出了一完整的对象系统的回归测试解决方案 . 展开更多
关键词 面向对象 程序切片 数据流 回归测试 软件测试 软件开发
下载PDF
一种分析和理解程序的方法──程序切片 被引量：35
2
作者 李必信 郑国梁 +1 位作者 王云峰 李宣东 《计算机研究与发展》 EI CSCD 北大核心 2000年第3期284-291,共8页
程序切片是一种分析和理解程序的技术，是通过对源程序中每个兴趣点分别计算切片来达到对程序的分析和理解．程序中某个兴趣点的程序切片不仅与在该点定义和使用的变量有关，而且与影响该变量的值的语句和谓词以及受该变量的值影响的语... 程序切片是一种分析和理解程序的技术，是通过对源程序中每个兴趣点分别计算切片来达到对程序的分析和理解．程序中某个兴趣点的程序切片不仅与在该点定义和使用的变量有关，而且与影响该变量的值的语句和谓词以及受该变量的值影响的语句和谓词有关．文中详细阐述了程序切片技术的研究与进展情况，并对目前存在各种程序切片方法和工具进行了比较；简单介绍了文中提出的面向对象的分层切片方法及其算法的思想；最后分析了程序切片技术目前还存在的一些问题及其发展趋势． 展开更多
关键词 数据依赖 程序切片 分层切片 面向对象 源程序
下载PDF
一种基于切片技术度量Java耦合性的框架 被引量：36
3
作者 李必信 杨朝晖 +3 位作者 谭毅 朱平 李宣东 郑国梁 《计算机学报》 EI CSCD 北大核心 2001年第3期259-265,共7页
在研究面向对象的度量问题时 ,人们通过简单的统计方法和基于信息流的方法来度量其中的一些特征 ,例如基本度量、CK度量和 Ao Ki度量等 .文中采用一种基于程序切片的方法来度量 Java的耦合性问题 ,通过对 Java源程序中存在的耦合关系的... 在研究面向对象的度量问题时 ,人们通过简单的统计方法和基于信息流的方法来度量其中的一些特征 ,例如基本度量、CK度量和 Ao Ki度量等 .文中采用一种基于程序切片的方法来度量 Java的耦合性问题 ,通过对 Java源程序中存在的耦合关系的度量 。 展开更多
关键词 面向对象 程序切片 JAVA语言 耦合性 程序设计方法
下载PDF
软件理解研究与进展 被引量：15
4
作者 李必信 郑国梁 +2 位作者 李宣东 张勇翔 梁佳 《计算机研究与发展》 EI CSCD 北大核心 1999年第8期897-906,共10页
软件理解是进行软件维护的一个重要步骤，是一个逐层推进的递增模式匹配过程．软件理解由任务、策略、概念、模型、方法和工具（环境）等环节组成．文中分析了软件理解的任务和策略，对软件理解的各种模型进行了比较，详细论述了目前活... 软件理解是进行软件维护的一个重要步骤，是一个逐层推进的递增模式匹配过程．软件理解由任务、策略、概念、模型、方法和工具（环境）等环节组成．文中分析了软件理解的任务和策略，对软件理解的各种模型进行了比较，详细论述了目前活跃在学术界的各种软件理解方法，并对目前存在的各种软件理解工具或环境进行了归类和比较．文中还简单介绍了我们在面向对象软件理解方面所取得的一些进展． 展开更多
关键词 软件理解 程序切片 软件维护 面向对象 软件工程
下载PDF
PSS/Ada程序切片系统的设计与实现 被引量：8
5
作者 杨洪 徐宝文 《计算机研究与发展》 EI CSCD 北大核心 1997年第3期217-222,共6页
ＰＳＳ／Ａｄａ是一个Ａｄａ程序静态切片生成系统，可广泛应用于Ａｄａ程序的测试、排错、理解、维护以及Ａｄａ软件的波动性分析、并行性检测和复杂性度量等诸方面．本文介绍ＰＳＳ／Ａｄａ系统的设计思想、系统的结构。
关键词 数据依赖 PSS/Ada 程序切片系统 软件工程
下载PDF
程序切片技术综述 被引量：7
6
作者 王伟 陈平 《微电子学与计算机》 CSCD 北大核心 2002年第8期25-27,48,共4页
程序切片技术在软件维护、程序调试、测试、代码理解及逆向工程等方面有许多应用。文章介绍了目前已有的程序切片技术及其应用领域,提出了面向对象程序应用该技术时需要考虑的问题及相应的解决方法。
关键词 程序切片技术 逆向工程 面向对象 软件维护 计算机
下载PDF
软件安全建模与检测 被引量：15
7
作者 晁永胜 郑秋梅 《计算机仿真》 CSCD 2007年第10期86-88,114,共4页
为有效表示和检测软件中存在的安全缺陷和隐患,提出了一种软件安全建模与检测技术——层次融合安全建模与检测技术。该技术采用多点建模技术,通过结合抽象建模、应用建模和数据建模等机制来实现对安全特征的描述。此外该技术利用表示层... 为有效表示和检测软件中存在的安全缺陷和隐患,提出了一种软件安全建模与检测技术——层次融合安全建模与检测技术。该技术采用多点建模技术,通过结合抽象建模、应用建模和数据建模等机制来实现对安全特征的描述。此外该技术利用表示层、应用层等不同抽象层次的建模信息,通过自动机与模型合成技术来构建安全特征模型。最后结合基于应用切片技术对软件中的安全缺陷与隐患进行检测。该技术克服了常规安全建模与检测中存在的缺点,可以有效表示和检测各种安全特征,提高了安全模型的表达力、复用性和适用性,降低了安全检测的复杂度。 展开更多
关键词 安全模型 程序切片 安全检测
下载PDF
程序切片技术的研究与应用 被引量：9
8
作者 张勇翔 李必信 郑国梁 《计算机科学》 CSCD 北大核心 2000年第1期31-35,共5页
软件逆向工程和维护通常是一种繁复的任务,它需要对程序的大量阅读,透切理解,耗费大量的人力物力。正是基于这种情况,产生了大量有关程序理解的技术,而程序切片技术是其中比较突出的一种。程序切片技术(Program slicing)最早由MarkWeise... 软件逆向工程和维护通常是一种繁复的任务,它需要对程序的大量阅读,透切理解,耗费大量的人力物力。正是基于这种情况,产生了大量有关程序理解的技术,而程序切片技术是其中比较突出的一种。程序切片技术(Program slicing)最早由MarkWeiser提出,他论述了通过遍历程序依赖图(ProgramDependence Graph,PDG)得到过程内切片(intrapro cedural slice)的技术。此后,Horwitz通过将PDG扩展为系统依赖图(System Dependence Graph,SDG) 展开更多
关键词 程序切片 面向对象 软件逆向工程 软件维护
下载PDF
一种基于程序可达图的并发程序依赖性分析方法 被引量：14
9
作者 戚晓芳 徐宝文 周晓宇 《电子学报》 EI CAS CSCD 北大核心 2007年第2期287-291,共5页
依赖性分析是一种重要的程序分析手段.针对多线程共享变量通信机制,本文在提出一种新的并发程序表示—线程交互可达图(tIRG)的基础上,从全局分析并发程序的依赖关系,构建了以程序状态和语句二元组为节点的并发程序依赖图(MSDG).与传统... 依赖性分析是一种重要的程序分析手段.针对多线程共享变量通信机制,本文在提出一种新的并发程序表示—线程交互可达图(tIRG)的基础上,从全局分析并发程序的依赖关系,构建了以程序状态和语句二元组为节点的并发程序依赖图(MSDG).与传统的以语句为节点的并发程序依赖图相比,MSDG图中依赖关系不仅精确,且具有可传递性,对其遍历可获得高精度的并发程序切片,精度和效率较其它高精度切片方法有显著提高. 展开更多
关键词 并发程序 可达性分析 依赖性分析 程序切片
下载PDF
一种基于模块单子语义的动态程序切片方法 被引量：12
10
作者 张迎周 徐宝文 《计算机学报》 EI CSCD 北大核心 2006年第4期526-534,共9页
提出一种基于程序模块单子语义的新动态切片方法———模块单子动态切片.首先通过单子转换器,将切片这一类计算抽象成独立于具体语言的实体:切片单子转换器.然后,将该切片转换器作为模块加载到实际程序中,并给出相应的模块单子动态切片... 提出一种基于程序模块单子语义的新动态切片方法———模块单子动态切片.首先通过单子转换器,将切片这一类计算抽象成独立于具体语言的实体:切片单子转换器.然后,将该切片转换器作为模块加载到实际程序中,并给出相应的模块单子动态切片算法.据此,可直接在抽象语法结构上计算动态切片,不必记录程序执行历史;相应单子切片器也无需显式地构造诸如依赖图的中间结构.这种模块化抽象机制使得文中的动态切片算法具有很强的可扩展性和重用性. 展开更多
关键词 程序切片 动态切片 单子 单子转换器 模块单子语义
下载PDF
一种基于异常传播分析的依赖性分析方法 被引量：10
11
作者 姜淑娟 徐宝文 +1 位作者 史亮 周晓宇 《软件学报》 EI CSCD 北大核心 2007年第4期832-841,共10页
在分析异常处理结构对程序依赖性分析影响的基础上,对传统的控制流图进行改进,提出了一种新的能够描述包括异常处理结构在内的函数内和函数间的C++程序的依赖性分析模型,并给出了相应的构造算法.该方法既克服了因忽略异常处理结构对程... 在分析异常处理结构对程序依赖性分析影响的基础上,对传统的控制流图进行改进,提出了一种新的能够描述包括异常处理结构在内的函数内和函数间的C++程序的依赖性分析模型,并给出了相应的构造算法.该方法既克服了因忽略异常处理结构对程序依赖性的影响而造成分析结果不准确的不足,又有助于实现基于异常传播的程序依赖性分析的自动处理.最后,对这种依赖性分析方法在程序切片中的应用作了进一步的探讨. 展开更多
关键词 异常处理 程序分析 异常传播 依赖性分析 程序切片 健壮性
下载PDF
一种系统依赖图的面向对象扩充方案 被引量：7
12
作者 李必信 李宣东 郑国梁 《软件学报》 EI CSCD 北大核心 2001年第2期241-248,共8页
提出一种对传统的系统依赖图进行面向对象扩充的方案 .把传统的系统依赖图和类依赖子图、类层次子图相结合 ,从而构成了适合描述面向对象程序的面向对象系统依赖图 .详细说明了对系统依赖图进行面向对象语法、语义扩充的过程 ,同时给出... 提出一种对传统的系统依赖图进行面向对象扩充的方案 .把传统的系统依赖图和类依赖子图、类层次子图相结合 ,从而构成了适合描述面向对象程序的面向对象系统依赖图 .详细说明了对系统依赖图进行面向对象语法、语义扩充的过程 ,同时给出了构造面向对象系统依赖图的一般算法以及应用分析 . 展开更多
关键词 系统依赖图 构造算法 程序分析 程序切片 面向对象
下载PDF
提高路径敏感缺陷检测方法的效率及精度研究 被引量：9
13
作者 赵云山 宫云战 +2 位作者 刘莉 肖庆 杨朝红 《计算机学报》 EI CSCD 北大核心 2011年第6期1100-1113,共14页
路径敏感的缺陷检测方法其缺陷状态会关联当前控制流节点的所有数据流信息,由于其中包含与缺陷检测无关的数据流,因此会导致分析效率下降.为了避免全路径敏感分析时的路径爆炸问题,一般会在控制流汇合节点进行缺陷状态合并,而这种粗糙... 路径敏感的缺陷检测方法其缺陷状态会关联当前控制流节点的所有数据流信息,由于其中包含与缺陷检测无关的数据流,因此会导致分析效率下降.为了避免全路径敏感分析时的路径爆炸问题,一般会在控制流汇合节点进行缺陷状态合并,而这种粗糙的合并策略带来的精度损失会引起误报.针对上述问题,文中提出一种基于缺陷的程序切片方法,该方法基于缺陷特征和路径条件建立切片准则,根据控制流节点上的数据流信息与切片准则的包含关系进行程序切片,得到的切片程序在缺陷检测时切片掉了缺陷无关节点且与源程序完全等价,以提高缺陷检测效率.为了进一步减少路径敏感分析方法的误报,提出一种基于切片的缺陷状态合并策略,根据控制流分支节点的路径条件,对缺陷状态添加状态属性,从而有选择地对控制流汇合节点进行状态合并,减少精度损失.文中所述方法已在缺陷检测系统(DTSGCC)中实现.对大量Linux中GCC开源工程的测试结果表明,文中提出的方法可以提高路径敏感缺陷检测方法的效率,并减少误报. 展开更多
关键词 静态分析 缺陷检测 路径敏感 误报 程序切片 上下文敏感分析 域敏感分析
下载PDF
一种基于覆盖测试的动态切片的计算方法 被引量：3
14
作者 易彤 吴方君 《应用科学学报》 CAS CSCD 2004年第2期205-210,共6页
针对现有动态切片方法的缺陷,提出了一种基于覆盖测试的动态切片的计算方法.该方法的关键是建立一个基于覆盖测试的动态依赖图,它既利用动态执行信息又利用静态信息.文中提供的动态切片方法还克服了以往动态切片方法的缺点,即动态切片... 针对现有动态切片方法的缺陷,提出了一种基于覆盖测试的动态切片的计算方法.该方法的关键是建立一个基于覆盖测试的动态依赖图,它既利用动态执行信息又利用静态信息.文中提供的动态切片方法还克服了以往动态切片方法的缺点,即动态切片不会因切片标准变化而重新计算. 展开更多
关键词 覆盖测试 动态切片 计算方法 程序分析 程序切片 软件测试 动态依赖图
下载PDF
一种回归测试后的错误定位方法 被引量：2
15
作者 蒋曹清 张大方 缪力 《计算机工程与科学》 CSCD 2005年第4期14-15,39,共3页
测试和调试之间的关系是极端密切的。回归测试是软件测试和维护过程中的一个重要活动。在程序中找出错误是一个复杂的过程,它涉及到理解程序的用途、结构、语意和导致错误的测试的相关特征。本文提出了一种基于Chopping技术进行错误定... 测试和调试之间的关系是极端密切的。回归测试是软件测试和维护过程中的一个重要活动。在程序中找出错误是一个复杂的过程,它涉及到理解程序的用途、结构、语意和导致错误的测试的相关特征。本文提出了一种基于Chopping技术进行错误定位的方法。这种方法反复利用调试信息和回归测试结果,通过从程序中抽取出与特定的语句有关的、相对原来的程序小得多的语句集,实现准确、快速的错误定位。 展开更多
关键词 软件测试 回归测试 软件开发 程序切片错误定位方法 Chopping技术 程序分解技术
下载PDF
基于模糊C均值聚类的软件多缺陷定位方法 被引量：8
16
作者 王兴亚 姜淑娟 +4 位作者 高鹏飞 陆凯 薄莉莉 鞠小林 张艳梅 《计算机学报》 EI CSCD 北大核心 2020年第2期206-232,共27页
缺陷间的相互干扰会使程序的频谱信息和运行结果发生变化,进而影响基于频谱信息的缺陷定位方法(SBFL)的有效性.本文对缺陷干扰现象进行了研究,通过分析单缺陷程序与多缺陷程序在缺陷运行、感染和传播过程及程序运行结果间的差异定义了... 缺陷间的相互干扰会使程序的频谱信息和运行结果发生变化,进而影响基于频谱信息的缺陷定位方法(SBFL)的有效性.本文对缺陷干扰现象进行了研究,通过分析单缺陷程序与多缺陷程序在缺陷运行、感染和传播过程及程序运行结果间的差异定义了两类缺陷干扰,并根据干扰前后缺陷在互斥子集中的分布变化分析了缺陷干扰对SBFL方法有效性的影响.研究结果表明:与特定缺陷无关的失败测试用例是降低SBFL方法缺陷定位有效性的主要原因.在此基础上,本文提出了一种基于模糊C均值聚类的多缺陷定位方法FCMFL:首先,通过模糊C均值聚类分析失败测试用例与不同缺陷间的隶属关系,得到每个缺陷相关的失败测试信息;其次,基于隶属度矩阵加权计算每条语句的可疑度,并通过互斥子集优先级分析确定不同语句集合的检查顺序,最终生成一个语句检查序列指导开发人员进行程序调试.实验结果表明:(1)缺陷干扰会对SBFL方法产生影响,降低SBFL方法的缺陷定位有效性;(2)FCMFL方法可以降低多缺陷对SBFL方法的影响,提高SBFL方法的缺陷定位有效性. 展开更多
关键词 程序调试 缺陷定位 程序切片 缺陷干扰 模糊聚类
下载PDF
Android应用软件功能泄露漏洞挖掘工具的设计与实现 被引量：8
17
作者 方喆君 刘奇旭 张玉清 《中国科学院大学学报（中英文）》 CAS CSCD 北大核心 2015年第1期127-135,共9页
Android平台的功能泄露漏洞会导致权限提升和隐私泄露等严重危害,常被恶意软件用于绕过安全机制.针对这一问题,提出一个基于静态分析的功能泄露漏洞挖掘工具CLDroid.CLDroid使用逆向控制流的程序切片算法从源代码中提取程序逻辑,并利用... Android平台的功能泄露漏洞会导致权限提升和隐私泄露等严重危害,常被恶意软件用于绕过安全机制.针对这一问题,提出一个基于静态分析的功能泄露漏洞挖掘工具CLDroid.CLDroid使用逆向控制流的程序切片算法从源代码中提取程序逻辑,并利用可定制的安全规则库来检测违规行为.实验结果表明,CLDroid能有效挖掘Android源代码中的功能泄露漏洞,且具有较好的可扩展性. 展开更多
关键词 功能泄露漏洞 静态分析 程序切片 Android安全
下载PDF
一种用于测试数据生成的动态程序切片算法 被引量：6
18
作者 王雪莲 赵瑞莲 李立健 《计算机应用》 CSCD 北大核心 2005年第6期1445-1447,1450,共4页
介绍了程序切片技术的基本概念,提出了一种基于前向分析的动态程序切片算法,探讨了程序切片在软件测试数据生成中的应用,结果表明可以有效地提高基于路径的测试数据生成效率。
关键词 程序切片 测试数据生成 前向分析 动态程序切片算法
下载PDF
一种面向对象程序的过程间切片算法 被引量：2
19
作者 刘芳 陈雨亭 +2 位作者 朱平 谭毅 郑国梁 《小型微型计算机系统》 CSCD 北大核心 2002年第9期1092-1095,共4页
程序切片是一种程序分析技术 ,它通过把程序减少到只包含与某个特定计算相关的那些语句来分析程序 .过程间切片作为图形可达性问题时 ,需要扩展过程内切片所用的程序依赖图 (PDG)成系统依赖图 (SDG) ,然后利用两阶段图形可达性算法计算... 程序切片是一种程序分析技术 ,它通过把程序减少到只包含与某个特定计算相关的那些语句来分析程序 .过程间切片作为图形可达性问题时 ,需要扩展过程内切片所用的程序依赖图 (PDG)成系统依赖图 (SDG) ,然后利用两阶段图形可达性算法计算比较精确的切片 .目前程序切片技术的研究以面向对象程序切片为主 ,文中讨论了一种适合面向对象程序的分层切片方法 。 展开更多
关键词 面向对象程序 过程间切片算法 两阶段图形可达性 分层切片 程序切片
下载PDF
基于.NET的单元测试自动化方法研究 被引量：5
20
作者 高共革 杨静 《微计算机信息》 北大核心 2008年第19期280-281,312,共3页
本文在.NET的框架下,运用Reflection、CodeDom以及与Excel、XML相结合的应用技术,完成了自动生成测试数据、测试脚本,还运用程序切片技术快速找到缺陷部位,改进了单元测试。实现了单元测试的自动化。
关键词 软件测试 自动化测试 单元测试 程序切片
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 9 下一页 到第 页
使用帮助 返回顶部