刘颖祺
- 作品数：7 被引量：7H指数：2
- 供职机构：中国矿业大学更多>>
- 发文基金：国家自然科学基金中央高校基本科研业务费专项资金江苏省研究生培养创新工程项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 具有程序分析功能的程序调试系统
- <B>本发明涉及</B> <B>一种</B> <B>具有程序分析功能的程序调试系统，该程序调试系统的调试步骤包括与目标虚拟机建立连接、标准调试及扩展调试；</B> <B>该程序调试系统不再局限于传统的程序调试方式，使调试...
- 王兴亚刘颖祺郭超群韩众和张艳梅姜淑娟
- 文献传递
- 基于程序执行轨迹的过程间动态程序切片系统
- 本发明涉及一种基于程序执行轨迹的过程间动态程序切片系统，具体方法依据以下五步进行：轨迹分析，首先利用调试器的信息记录程序执行轨迹，找出该次执行中涉及的类和方法；类层次分析，对涉及的类建立类层次图；程序调用分析，在类层次图...
- 姜淑娟王兴亚刘颖祺张艳梅于巧
- 文献传递
- 一种空指针异常的自动故障定位方法
- <B>本发明涉及一种空指针异常的自动故障定位方法，分为三个步骤：（</B> <B>1</B> <B>）程序切片，（</B> <B>2</B> <B>）故障定位，包括对切片后的程序进行空指针分析和别名分析，（</B> <B...
- 姜淑娟于巧张艳梅刘颖祺
- 文献传递
- 基于UIO序列的类重要性度量被引量：2
- 2015年
- 程序理解是测试和维护大规模面向对象程序的关键,选择程序的关键类优先开展分析是理解程序结构的一个有效的方法.为支持自动识别软件系统中的关键类,本文提出了一种基于UIO序列的类重要性度量方法.首先将软件系统抽象为一个以类为转换的有限自动机模型,随后求解该自动机的UIO序列,将该序列集合转化为状态转换树.通过递归计算状态转换树的节点复杂度求得类重要度.并在考虑异常传播的基础上改进了算法.最后通过实验验证了算法的有效性.
- 姜淑娟鞠小林王兴亚李海洋张艳梅刘颖祺
- 关键词：有限状态机UIO
- 具有程序分析功能的程序调试系统
- <b>本发明涉及</b><b>一种</b><b>具有程序分析功能的程序调试系统，该程序调试系统的调试步骤包括与目标虚拟机建立连接、标准调试及扩展调试；</...
- 王兴亚刘颖祺郭超群韩众和张艳梅姜淑娟
- 文献传递
- 基于程序执行轨迹的过程间动态程序切片系统
- 本发明涉及一种基于程序执行轨迹的过程间动态程序切片系统，具体方法依据以下五步进行：轨迹分析，首先利用调试器的信息记录程序执行轨迹，找出该次执行中涉及的类和方法；类层次分析，对涉及的类建立类层次图；程序调用分析，在类层次图...
- 姜淑娟王兴亚刘颖祺张艳梅于巧
- 空指针异常的自动故障定位方法被引量：5
- 2015年
- 提出一种空指针异常自动定位方法。该方法首先结合程序的静态分析技术,利用程序运行时的堆栈信息指导程序切片,然后对得到的切片进行空指针分析及别名分析,得出引发空指针异常的可疑语句集合,最终给出错误定位报告。实验结果表明,所提方法虽然因收集堆栈信息和别名分析增加了时间开销,但是利用堆栈信息可以缩小问题搜索空间,别名分析可以发现隐含的值传递过程,从而克服单独使用静态方法分析结果引起误报和漏报的缺陷,使最终的错误定位结果更精确。
- 姜淑娟王兴亚张艳梅李威鞠小林刘颖祺
- 关键词：程序切片别名分析
