您的位置: 专家智库 > >

谭毅

作品数:7 被引量:58H指数:4
供职机构:南京大学计算机科学与技术系更多>>
发文基金:江苏省自然科学基金国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 6篇期刊文章
  • 1篇学位论文

领域

  • 7篇自动化与计算...

主题

  • 3篇面向对象
  • 3篇JAVA语言
  • 3篇程序切片
  • 2篇软件开发
  • 2篇分层切片
  • 2篇JAVA程序
  • 2篇JAVA
  • 1篇软件工程
  • 1篇设计方法
  • 1篇死锁
  • 1篇切片
  • 1篇切片技术
  • 1篇耦合性
  • 1篇面向对象程序
  • 1篇内聚性
  • 1篇可达性
  • 1篇基于数据
  • 1篇分析方案
  • 1篇SPIN
  • 1篇程序设计

机构

  • 7篇南京大学

作者

  • 7篇谭毅
  • 6篇郑国梁
  • 6篇朱平
  • 4篇李必信
  • 2篇李宣东
  • 2篇陈雨亭
  • 2篇刘芳
  • 1篇杨朝晖

传媒

  • 1篇计算机学报
  • 1篇计算机工程
  • 1篇小型微型计算...
  • 1篇软件学报
  • 1篇计算机工程与...
  • 1篇计算机科学

年份

  • 3篇2002
  • 4篇2001
7 条 记 录,以下是 1-7
排序方式:
一种基于切片技术度量Java耦合性的框架被引量:40
2001年
在研究面向对象的度量问题时 ,人们通过简单的统计方法和基于信息流的方法来度量其中的一些特征 ,例如基本度量、CK度量和 Ao Ki度量等 .文中采用一种基于程序切片的方法来度量 Java的耦合性问题 ,通过对 Java源程序中存在的耦合关系的度量 。
李必信杨朝晖谭毅朱平李宣东郑国梁
关键词:程序切片JAVA语言耦合性程序设计方法
一个分层切片工具模型被引量:1
2001年
Most of the traditional methods of slicing are based on dependence graph. But constructing dependence graph for object oriented programs directly is very complicated. The design and implementation of a hierarchical slicing tool model are described. By constructing the package level dependence graph, class level dependence graph, method level dependence graph and statement level dependence graph, package level slice, class level slice, method level slice and program slice are obtained step by step.
谭毅朱平李必信郑国梁
关键词:面向对象
一种面向对象程序的过程间切片算法被引量:5
2002年
程序切片是一种程序分析技术 ,它通过把程序减少到只包含与某个特定计算相关的那些语句来分析程序 .过程间切片作为图形可达性问题时 ,需要扩展过程内切片所用的程序依赖图 (PDG)成系统依赖图 (SDG) ,然后利用两阶段图形可达性算法计算比较精确的切片 .目前程序切片技术的研究以面向对象程序切片为主 ,文中讨论了一种适合面向对象程序的分层切片方法 。
刘芳陈雨亭朱平谭毅郑国梁
关键词:面向对象程序分层切片程序切片
Java程序的死锁检验技术
随着模型检验技术的日趋完善,用这种有限状态验证技术来检验软件的相关性质已逐渐成为软件工程领域研究的一个新的热点.Spin是当今世界上最好的模型检验工具之一.该文论述了用Spin来检查并发的Java程序中的死锁的方法.这大...
谭毅
关键词:SPINJAVA程序
文献传递
一种基于分层切片模型思想的源程序信息分析方案被引量:7
2001年
作为软件理解的手段之一,程序切片技术通过寻找程序内部的相关性来分解程序,再通过对分解所得程序切片的分析达到对整个程序的分析和理解。程序切片算法必须建立在对源程序信息正确、完整分析的基础上。详细地描述了一种基于分层切片模型思想的程序信息提取方案。该方案已成功运用到一种Java程序切片工具模型JSTM(Java Slicing Tools Model)中。
朱平谭毅李必信郑国梁
关键词:程序切片软件工程
一种基于Java程序分层模型的方法内切片生成算法被引量:3
2002年
程序切片作为软件理解领域的一种重要的分析技术,可以将程序分解为独立的程序线程。系统依赖图的概念及两阶段图形可达性算法的出现,则有效解决了程序切片的过程调用问题。文章介绍了程序切片的基本概念,并给出了在面向对象程序中进行静态分层切片的思想。作为分层切片思想的应用,文章给出了在一种Java程序切片工具模型JSTM(JavaSlicingToolsModel)中运用系统依赖图进行方法内切片的具体算法。
陈雨亭朱平刘芳刘芳谭毅
关键词:软件开发JAVA语言
基于数据切片度量JAVA内聚性被引量:5
2001年
面向对象的程序切片在程序分析、程序理解、软件测试和调试以及软件维护方面有着广泛的用途 .首先建立了抽象数据切片和类内切片的概念 ,然后基于这两种切片讨论了 JAVA语言中存在的内聚问题 ,通过分析这些切片与数据、方法、类之间的关系来度量数据、方法以及类的内聚性问题 .
李必信朱平谭毅李宣东郑国梁南京大学
关键词:JAVA语言面向对象软件开发
共1页<1>
聚类工具0