陶彬贤
- 作品数：6 被引量：5H指数：1
- 供职机构：南京航空航天大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电气工程更多>>
- 一种利用指向组合优化依赖图构建的方法
- 2013年
- 指针的动态性使得程序分析中一个指针变量往往被认为有多个可能的指向目标,构成多个指向关系。现有的依赖图构建方法虽然较全面地考虑了指针的多指向性,但并未考虑指向关系之间的可组合性,因此精度上仍存在许多不足。为此,提出了一种利用无效指向组合优化依赖图构建的方法,新方法可以排除现有方法所不能识别的伪依赖,从而有效地提高依赖图的构建精度。
- 张磊陶彬贤钱巨
- 关键词：依赖图别名程序切片
- Slithice:一个基于系统依赖图的Java程序切片工具被引量：3
- 2014年
- 当前程序切片的相关理论已经较为成熟,但针对Java程序的静态切片工具却非常少见。为便于展开切片应用研究,设计并实现了一个基于系统依赖图的Eclipse切片插件——Slithice。该插件支持不同粒度的底层分析和系统依赖图构建,从而可以使切片算法能够在精度和性能之间进行权衡,适应各种规模程序的分析需要。
- 钱巨陶彬贤
- 关键词：JAVA程序切片
- Slithice:一个基于系统依赖图的Java程序切片工具
- 当前程序切片的相关理论已经较为成熟，但针对Java 程序的静态切片工具却非常少见.为便于展开切片应用研究，本文设计并实现了一个基于系统依赖图的Eclipse 切片插件—Slithice.该插件支持不同粒度的底层分析和系统...
- 钱巨陶彬贤
- 关键词：JAVA程序切片
- 文献传递
- Java程序自动锁分解重构被引量：1
- 2013年
- 许多并发程序存在同步粒度过粗的问题,可以通过锁分解等代码重构来逐步演化同步结构,提高程序并行性。然而,手工重构一方面识别重构契机较为困难,另一方面代码转换也容易出错。为克服手工重构中存在的问题,提出了一种针对Java程序的自动锁分解重构方法。它可以根据已有的同步代码,自动识别锁分解重构契机,并对相关代码进行转换。实验表明,该方法可以有效识别真实程序中的可重构代码,并准确实施转换,为并发程序的演化提供支持。
- 陶彬贤张磊钱巨
- 关键词：JAVA并发
- 一种自动化的Java程序锁分解重构方法
- 许多并发程序存在同步粒度过粗的问题，对此，人们提出可以通过锁分解等代码重构来逐步演化同步结构，提高程序并行性。然而，手工重构一方面识别重构契机较为困难，另一方面代码转换也容易出错。为克服手工重构中存在的问题，本文提出了一...
- 陶彬贤张磊钱巨
- 关键词：JAVA并发
- 文献传递
- CODEREBUILDER：一种自动化Java并发程序重构工具的研究与实现
- 作为一种重要的支持技术,并发程序演化技术能够持续地改进并发代码的品质,提高软件开发与维护的效率。重构是软件演化的一种重要手段,它在不改变软件外在行为的情况下,修改程序的内在结构,从而改善代码的可读性、可维护性、可扩展性等...
- 陶彬贤
- 关键词：并发程序JAVA技术
- 文献传递
