陈聪明
- 作品数：16 被引量：14H指数：2
- 供职机构：华为技术有限公司更多>>
- 发文基金：国家重点基础研究发展计划国家高技术研究发展计划国家科技重大专项更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种计算机软件白盒测试的实现方法及系统
- 本发明涉及一种计算机软件白盒测试的实现方法及系统。该实现方法包括：步骤1，求解判定布尔表达式中各个条件的独立对；步骤2，基于各个条件对应的独立对求解判定最小独立对集合，求解判定出的最小独立对集合构成参考用例集合；步骤3，...
- 陈聪明李丰冯晓兵霍玮
- 一种并发分析方法及装置
- 本发明公开了一种并发分析方法及装置，包括：获取程序控制流图，其中，在所述程序控制流图中，线程创建节点为所述线程创建节点所创建的线程的开始节点的直接前驱节点，计算程序控制流图中每个线程的开始节点的初始并发节点集合、每个线程...
- 陈聪明霍玮李丰冯晓兵
- 文献传递
- 一种并发分析的方法及装置
- 本发明公开了一种并发分析的方法及装置，涉及程序分析技术领域，在对PEG上不同节点间的并发分析过程中，简化了处理流程，提高了并发分析的效率。本发明的具体实施例包括：获取PEG中的根节点，将该根节点以及PEG中入度为0的节点...
- 陈聪明霍玮李丰冯晓兵
- 文献传递
- 软件开发工具的测试方法及系统
- 本发明涉及软件开发工具的测试方法及其系统，方法包括：步骤1，配置模块获得并存储开源软件项目的构建命令，保存配置的对所述构建命令的修改方式；步骤2，测试执行模块读取存储的构建命令，依据配置的修改方式修改所述构建命令流，以将...
- 霍玮丁兆伟于洪涛李丰陈聪明王雪张兆庆冯晓兵
- 指针分析方法及装置
- 本发明实施例提供一种指针分析方法及装置。本发明提供的指针分析方法，包括：读取待分析的多线程程序中的语句信息；根据所述程序的语句信息对所述程序进行指针分析，获得所述程序的共享信息，所述共享信息包括共享量、指针指向集和访存行...
- 陈聪明霍玮李丰冯晓兵
- 文献传递
- 一种并发分析方法及装置
- 本发明公开了一种并发分析方法及装置，包括：获取程序控制流图，其中，在所述程序控制流图中，线程创建节点为所述线程创建节点所创建的线程的开始节点的直接前驱节点，计算程序控制流图中每个线程的开始节点的初始并发节点集合、每个线程...
- 陈聪明霍玮李丰冯晓兵
- 文献传递
- 一种动态断点的自动生成方法及系统
- 本发明公开一种动态断点的自动生成方法和系统，所述系统包括：创建动态依赖图模块，用于在程序执行过程中，利用动态插桩技术，收集程序语句的执行实例，实例之间的执行顺序以及依赖关系，依此创建动态依赖图；精化调试范围模块，用于利用...
- 李丰霍玮陈聪明李龙衷璐洁冯晓兵
- 文献传递
- 基于包含的指针分析优化技术综述被引量：10
- 2011年
- 指针分析是程序分析和编译优化的基础,针对基于包含的指针分析算法的改进一直是指针分析领域研究的热点之一.文中从该指针分析算法改进的两类技术来总结近二十年来相关的研究工作,包括在线优化技术如约束图上的强连通分量的检测和消除等和离线优化技术如变量替换等.通过实验对比了7种较有影响力的分析算法和三种离线优化算法,并从性能、内存开销等方面进行了评述和总结.文章最后阐述了基于包含的指针分析今后潜在的研究方向.
- 陈聪明霍玮于洪涛冯晓兵
- 关键词：约束图
- 一种计算机软件白盒测试的实现方法及系统
- 本发明涉及一种计算机软件白盒测试的实现方法及系统。该实现方法包括：步骤1，求解判定布尔表达式中各个条件的独立对；步骤2，基于各个条件对应的独立对求解判定最小独立对集合，求解判定出的最小独立对集合构成参考用例集合；步骤3，...
- 陈聪明李丰冯晓兵霍玮
- 文献传递
- 一种基于最小调试边界的断点自动生成技术
- 2013年
- 时至今日,调试仍然占据软件开发过程中近70%的时间;以断点的设置和检查为基础的传统交互式调试依旧是实际工作中最常用的错误定位手段.日常调试过程中,断点的选择和调试的效率主要依赖于调试人员自身的经验以及对所调试程序的理解程度.提出一种基于最小调试边界的断点自动生成方法.最小调试边界描述了一个由程序执行轨迹上一组轨迹点构成的结合.该集合具有对错误传播的阻隔性,以及所对应的程序状态规模最小化的特征.受益于最小调试边界(minimum debugging frontier set,简称MDFS)的错误阻隔性,一旦查明其上的程序状态是否符合设计预期,即可确定错误触发位置与该MDFS在程序执行轨迹上的先后顺序,将错误触发的范围限定在MDFS的一侧.而状态规模的最小化也减轻了用户检查断点处语句实例的开销.为评价断点质量,还制定了一组断点评价标准,用于考量断点与程序失效之间的关联性、断点本身的易判性以及对调试收敛的帮助.实验结果表明,采用该方法生成的断点具有检查开销低、加速调试收敛等优势;采用所提供的断点的调试流程,与基于经典错误定位方法的流程相比,能以更低的人工开销定位更多的错误.
- 李丰霍玮陈聪明李龙衷璐洁冯晓兵
- 关键词：断点
