陈雨亭
- 作品数:5 被引量:8H指数:2
- 供职机构:南京大学更多>>
- 发文基金:江苏省自然科学基金国家高技术研究发展计划更多>>
- 相关领域:自动化与计算机技术更多>>
- 一种面向对象程序的过程间切片算法被引量:5
- 2002年
- 程序切片是一种程序分析技术 ,它通过把程序减少到只包含与某个特定计算相关的那些语句来分析程序 .过程间切片作为图形可达性问题时 ,需要扩展过程内切片所用的程序依赖图 (PDG)成系统依赖图 (SDG) ,然后利用两阶段图形可达性算法计算比较精确的切片 .目前程序切片技术的研究以面向对象程序切片为主 ,文中讨论了一种适合面向对象程序的分层切片方法 。
- 刘芳陈雨亭朱平谭毅郑国梁
- 关键词:面向对象程序分层切片程序切片
- 切片技术在形式工程方法SOFL中的应用
- 程序切片是一种程序分析和程序理解技术,它通过寻找程序内部的相关性来分解程序,再通过对分解所得程序切片的分析达到对整个程序的理解.程序切片为开发人员进行软件理解、逆向工程、测试、调试、软件维护、软件度量等提供有效的支持.将...
- 陈雨亭
- 关键词:程序切片SOFL
- 文献传递
- 一种基于Java程序分层模型的方法内切片生成算法被引量:3
- 2002年
- 程序切片作为软件理解领域的一种重要的分析技术,可以将程序分解为独立的程序线程。系统依赖图的概念及两阶段图形可达性算法的出现,则有效解决了程序切片的过程调用问题。文章介绍了程序切片的基本概念,并给出了在面向对象程序中进行静态分层切片的思想。作为分层切片思想的应用,文章给出了在一种Java程序切片工具模型JSTM(JavaSlicingToolsModel)中运用系统依赖图进行方法内切片的具体算法。
- 陈雨亭朱平刘芳刘芳谭毅
- 关键词:软件开发JAVA语言
- 一种用于系统异常处理测试的程序集生成方法和装置
- 本发明公开了一种用于系统异常处理测试的程序集生成方法和装置,该方法对原始程序进行插桩,形成插桩程序,然后执行插桩程序,通过所插桩的指令跟踪异常处理链,根据异常处理链对程序进行迭代变异,形成变异程序集。由此,程序员可以依据...
- 陈博钏陈雨亭卜磊
- 软件分析:技术、应用与趋势
- 软件分析是软件生命周期中许多活动(分析、设计、实现、测试、维护等)的基础,也是软件领域长期稳定的研究内容.本文首先对软件分析进行概述,然后结合近5~10年来发表的学术文章,分别介绍了软件分析技术的主要进展、软件分析技术应...
- 王千祥张健谢涛张路熊英飞陈雨亭陈振邦卜磊陈立前梁彬江贺李征李戈彭鑫钟浩董威贾向阳马菲菲蒲戈光刘烃刘辉
- 关键词:软件质量