作  者

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
手机远见搜索 |设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

程序切片技术及其在面向对象软件度量和软件测试中的应用  CNKI文献

程序切片是一种程序分析技术,它是通过把程序减少到只包含与某个特定计算相关的那些语句来分析程序的。切片回答了这样一个问题“哪些程序语句潜在地影响变量v 在语句s 的值?”Mark Weiser 引入程序切片概念,因为他观...

李必信 导师:郑国梁 南京大学 2000-12-01 博士论文

关键词: 程序切片技术 / 结点 / 动态切片 / 静态切片

下载(1336)| 被引(36)

一种分析和理解程序的方法──程序切片  CNKI文献

程序切片是一种分析和理解程序的技术,是通过对源程序中每个兴趣点分别计算切片来达到对程序的分析和理解.程序中某个兴趣点的程序切片不仅与在该点定义和使用的变量有关,而且与影响该变量的值的语句和谓词以及受该...

李必信 郑国梁... 《计算机研究与发展》 2000年03期 期刊

关键词: 数据依赖 / 控制依赖 / 依赖图 / 程序切片

下载(1086)| 被引(93)

一种面向对象程序的分层切片方法  CNKI文献

程序切片是一种程序分析技术 ,广泛应用于程序的调试、测试、理解和维护等软件开发的各个阶段 .在研究静态类型面向对象的程序切片时发现 ,利用系统依赖图计算程序切片虽然是一种有效的方法 ,但构造 OO程序的系统依赖...

李必信 刘小东 ... 《软件学报》 2001年12期 期刊

关键词: 层次模型 / 分层切片 / 逐步求精 / 类层次结构切片

下载(365)| 被引(38)

基于简化系统依赖图的静态粗粒度切片方法  CNKI文献

基于系统依赖图是计算面向对象程序切片的一个有效方法 .但是 ,系统依赖图的缺点是太复杂 ,而且在建立系统依赖图的过程中容易出错 ,一旦出现错误就可能导致切片结果的不准确 .通过对系统依赖图进行简化 ,得到了简化的...

李必信 王云峰... 《软件学报》 2001年02期 期刊

关键词: 系统依赖图 / 简化系统依赖图 / 粗粒度切片 / 静态切片

下载(298)| 被引(31)

一种系统依赖图的面向对象扩充方案  CNKI文献

提出一种对传统的系统依赖图进行面向对象扩充的方案 .把传统的系统依赖图和类依赖子图、类层次子图相结合 ,从而构成了适合描述面向对象程序的面向对象系统依赖图 .详细说明了对系统依赖图进行面向对象语法、语义扩充...

李必信 李宣东... 《软件学报》 2001年02期 期刊

关键词: 系统依赖图 / 面向对象系统依赖图 / 构造算法 / 程序分析

下载(233)| 被引(27)

一种基于程序切片技术的软件测试方法  CNKI文献

1 引言软件测试是人们发现、纠正、预防软件错误以及完善软件功能的重要手段。软件测试的目的就是为了发现程序中的错误。对于传统程序设计语言书写的软件,软件测试人员普遍接受三个级别的测试:单元测试、集成测试和系...

李必信 方祥圣... 《计算机科学》 2001年12期 期刊

关键词: 软件测试 / 集成测试 / 程序切片技术 / 数据依赖图

下载(338)| 被引(15)

软件理解研究与进展  CNKI文献

软件理解是进行软件维护的一个重要步骤,是一个逐层推进的递增模式匹配过程.软件理解由任务、策略、概念、模型、方法和工具(环境)等环节组成.文中分析了软件理解的任务和策略,对软件理解的各种模型进行了比较,...

李必信 郑国梁... 《计算机研究与发展》 1999年08期 期刊

关键词: 软件理解 / 基本因素 / 程序切片 / 概念分析

下载(249)| 被引(43)

一种基于切片技术度量Java耦合性的框架  CNKI文献

在研究面向对象的度量问题时 ,人们通过简单的统计方法和基于信息流的方法来度量其中的一些特征 ,例如基本度量、CK度量和 Ao Ki度量等 .文中采用一种基于程序切片的方法来度量 Java的耦合性问题 ,通过对 Java源程序中...

李必信 杨朝晖... 《计算机学报》 2001年03期 期刊

关键词: 面向对象 / 程序切片 / 耦合度量 / Java

下载(196)| 被引(19)

面向对象软件耦合的度量和验证  CNKI文献

在研究面向对象软件度量过程中,提出了一种基于程序切片和信息流分析技术的面向对象软件耦合性度量方法.该方法首先计算面向对象程序的前向切片和后向切片,然后通过信息流分析技术分析程序中可能存在的输入耦合、输出...

李必信 《东南大学学报(自然科学版)》 2006年03期 期刊

关键词: 面向对象 / 基本组件 / 耦合性度量 / 理论验证

下载(286)| 被引(7)

一种基于类层次图的分析面向对象程序的框架  CNKI文献

从类层次图 CHG( class hierarchy graph)出发 ,提出一个基于 CHG的分析面向对象程序的框架 OOAF( object- oriented analyzing framework) ,讨论了 OOAF的功能、算法和设计思想 ,给出了子对象识别以及可见方法、主导...

李必信 梁佳... 《软件学报》 2000年05期 期刊

关键词: 类层次图 / 面向对象 / 分析框架 / 子对象识别

下载(149)| 被引(15)

基于数据切片度量JAVA内聚性  CNKI文献

面向对象的程序切片在程序分析、程序理解、软件测试和调试以及软件维护方面有着广泛的用途 .首先建立了抽象数据切片和类内切片的概念 ,然后基于这两种切片讨论了 JAVA语言中存在的内聚问题 ,通过分析这些切片与数据...

李必信 朱平 ... 《软件学报》 2001年12期 期刊

关键词: 抽象数据切片 / 类内切片 / 数据类聚 / 类内聚

下载(154)| 被引(6)

程序理解研究与进展  CNKI文献

随着社会对软件需求的不断增长,正在使用和开发的软件与日俱增,许多大型复杂的软件已投放市场。同时,由于各种各样的新型程序设计方法的兴起,如逻辑式程序设计方法,函数式程序设计方法,对象式程序设计方法,分布式程序...

李必信 李宣东... 《计算机科学》 1999年05期 期刊

关键词: Program / comprehension / Traditional / software

下载(169)| 被引(5)

一种基于层次模型的面向对象类型分析框架  CNKI文献

建立了一种用于静态类型面向对象程序的类型分析框架 .该框架集成了目前最为实用的 4种类型分析方法 ,即唯一名分析、类层次分析、快速类型分析以及指针别名分析 .首先在这 4种方法的基础上提出了类型分析的层次模型 ...

李必信 沈驿梅... 《南京大学学报(自然科学版)》 2000年05期 期刊

关键词: 类型分析 / 唯一名 / 类层次分析 / 快速类型分析

下载(78)| 被引(4)

CIMS环境下基于面向对象技术的信息集成研究  CNKI文献

1 概述信息技术既给企业带来了严酷的市场竞争和挑战,也为企业带来了新的机遇。信息技术和现代化管理技术的结合可以为企业提供如下的生产模式、管理技术和设计、制造技术:①物料资源规划(MRP)、制造资源规划(MRP-Ⅱ)...

李必信 高同启... 《计算机科学》 2000年02期 期刊

关键词: CIMS / Information / integration / Framework

下载(31)| 被引(11)

基于微分动态逻辑的CPS建模与属性验证  CNKI文献

随着信息物理融合系统(Cyber-Physical Systems,CPS)应用的越来越普及,CPS的设计和实现能否满足实际需求显得至关重要.本文提出了一种CPS建模与属性验证框架.在框架中,首先使用HybridUML对CPS进行建模,然后将该通用模...

朱敏 李必信... 《电子学报》 2012年06期 期刊

关键词: 信息物理融合系统 / 微分动态逻辑 / HybridUML / 模型转换

下载(527)| 被引(29)

动态投资分配模型及其优化  CNKI文献

动态投资分配模型及其优化李必信,张康培(合肥经济技术学院基础部,合肥230052)(安徽大学数学系,合肥230039)当拥有资金的某个决策者面临多个投资去向时,如何选择投资项和投资比例以在短时路中能取...

李必信 张康培 《工科数学》 1996年01期 期刊

关键词: 投资 / 合肥经济技术学院 / 康培 / 必信

下载(132)| 被引(1)

一种在静态类型面向对象语言中构造VFCG的方法  CNKI文献

阐述了在静态类型面向对象语言中构造虚函数调用图 (VFCG)的方法 :先构造可见方法类层次图 (VM CHG) ,再计算继承集、改写集 ,确定改写边界 ,最后利用VM CHG和改写边界构造VFCG .同时说明了VFCG在静态类型面向对象语言...

李必信 王云峰... 《南京大学学报(自然科学版)》 2000年02期 期刊

关键词: 可见方法类层次图 / 继承集 / 改写集 / 改写边界

下载(35)| 被引(2)

面向对象的类型-子类型分析及推理规则  CNKI文献

1 引言面向对象的方法中,对象是作为现实世界中事物的自然映射。为了表达事物的分类关系,在面向对象领域中引入类型的概念,同一类对象具有相同的类型,不同类对象属于不同的类型。另一方面,在面向对象的软件开发的早期...

李必信 王云峰... 《计算机科学》 1999年07期 期刊

关键词: Subtype / analysis / Behavioral / inheritance

下载(62)| 被引(2)

一种基于层次切片谱的软件错误定位技术  CNKI文献

传统的软件错误定位技术通常利用测试覆盖信息计算程序语句发生错误的可疑度进行软件错误定位,但是这种定位技术没有充分考虑程序本身固有的依赖信息,缺乏语句筛选,从而使错误定位的精度受限.提出了一种基于层次切片谱...

文万志 李必信... 《软件学报》 2013年05期 期刊

关键词: 层次切片模型 / 层次切片谱 / 可疑度 / 错误定位

下载(436)| 被引(31)

对象类型与对象子类型研究  CNKI文献

本文揭示了对象类型的子类型关系,给出对象子类型的性质及规范,分析了对象子类型关系存在的语法条件、语义条件、充要条件,阐述了对象子类型与程序精化的联系,最后给出对象子类型的推理规则。

李必信 王云峰... 《计算机应用与软件》 2001年11期 期刊

关键词: 子类型关系 / 子类型规范 / 对象子类型 / 推理规则

下载(52)| 被引(1)

学术研究指数分析(近十年)详情>>

  • 发文趋势

热门学者(按发文篇数排行)

相关机构

轻松读懂《孙子兵法》