公开(公告)号：CN105677683A

公开(公告)日：2016-06-15

申请号：CN201410673523.2

申请日：2014-11-21

Applicant: 华为技术有限公司 ,  中国科学院计算技术研究所

Inventor： 李丰 ,  王蕾 ,  张赟 ,  冯晓兵

IPC: G06F17/30

CPC classification number: G06F17/30463 ,  G06F17/30433 ,  G06F17/3046

Abstract: 本发明实施例提供一种批量数据查询方法和装置，通过获取多条查询语句对应的多棵逻辑查询计划树，根据每棵逻辑查询计划树的各操作符将多棵逻辑查询计划树划分为多个查询组，每个查询组中的逻辑查询计划树之间具有下述关系：查询间写读依赖关系、操作符重叠关系或操作数重叠关系，然后，对每个查询组内的逻辑查询计划树进行查询间优化，根据优化后的多棵逻辑查询计划树生成对应的多棵物理查询计划树，最后，根据多棵物理查询计划树执行物理查询得到多条查询语句的查询结果。所述方法通过对多棵逻辑查询计划树进行分组，提高了查询组内的逻辑查询计划树之间的优化机会，通过对查询组内的逻辑查询计划树进行查询间优化，提高了批量数据查询的效率。

公开(公告)号：CN104424097A

公开(公告)日：2015-03-18

申请号：CN201310379397.5

申请日：2013-08-27

Applicant: 华为技术有限公司 ,  中国科学院计算技术研究所

Inventor： 李丰 ,  霍玮 ,  陈聪明 ,  冯晓兵

IPC: G06F11/36 ,  G06F17/30

Abstract: 本发明公开了一种程序日志检测方法及装置，包括：获取程序中需要检测的待测日志输出语句所在程序点、以及期望涵盖的程序语句；判断期望涵盖的程序语句中每个被执行定值操作的变量是否均满足第一条件且满足第二条件，第一条件为该变量被执行定值操作后确定的定值可到达至少一条待测日志输出语句所在程序点，该程序点为可达程序点，第二条件为该变量在至少一个可达程序点处的待测日志输出程序语句中被引用；如果是，确定待测日志输出语句有效，否则，确定待测日志输出语句失效，实现了对程序中的日志输出语句检测的目的。本发明还公开了一种程序日志推荐方法及装置，实现了辅助用户为缺少或者无日志输出语句的程序推荐有效新日志输出语句的目的。

公开(公告)号：CN101710305B

公开(公告)日：2012-04-18

申请号：CN200910242657.8

申请日：2009-12-14

Applicant: 中国科学院计算技术研究所

Inventor： 陈聪明 ,  李丰 ,  冯晓兵 ,  霍玮

IPC: G06F11/36

Abstract: 本发明涉及一种计算机软件白盒测试的实现方法及系统。该实现方法包括：步骤1，求解判定布尔表达式中各个条件的独立对；步骤2，基于各个条件对应的独立对求解判定最小独立对集合，求解判定出的最小独立对集合构成参考用例集合；步骤3，选择参考用例集合中一个最小独立对集合，并生成与该最小独立对集合对应的测试用例集合，该测试用例集合即为最小测试集；步骤4，用最小测试集对源程序进行修正条件/判定覆盖测试。本发明可以减少修正条件/判定覆盖(MC/DC)测试的成本，避免了生成大量的测试用例以及对测试用例进行精简的过程。

公开(公告)号：CN103902273B

公开(公告)日：2017-07-07

申请号：CN201210584770.6

申请日：2012-12-28

Applicant: 华为技术有限公司 ,  中国科学院计算技术研究所

Inventor： 李丰 ,  霍玮 ,  陈聪明 ,  衷璐洁 ,  张兆庆 ,  冯晓兵

IPC: G06F9/44

Abstract: 本发明的实施例提供一种无损压缩系统依赖图的方法及装置，涉及计算机领域，能够实现系统依赖图的无损压缩，并降低系统依赖图的规模，从而降低以系统依赖图为基础的切片算法的开销。其方法为：首先提取程序中所有变量之间的等价关系，而后通过该等价关系将程序中所有变量分为不同的等价类，并根据这些等价类为系统依赖图中的节点设置键值，而后根据系统依赖图中的节点的键值压缩系统依赖图。本发明实施例用于对系统依赖图进行压缩。

公开(公告)号：CN105701128A

公开(公告)日：2016-06-22

申请号：CN201410711901.1

申请日：2014-11-28

Applicant: 华为技术有限公司 ,  中国科学院计算技术研究所

Inventor： 李丰 ,  王蕾 ,  张赟 ,  冯晓兵

IPC: G06F17/30

Abstract: 本发明实施例公开了一种查询语句的优化方法和装置，涉及数据查询技术领域，用以解决由于需要缓存历史逻辑查询树及其对应的查询结果而导致的占用大量的存储空间的问题。本发明实施例提供的查询语句的优化方法包括：接收n个查询语句；将所述n个查询语句生成n个逻辑查询树；根据预设规则为所述n个逻辑查询树中的操作符对应的操作数添加版本号；对所对应的操作数的版本号相同、且所属不同逻辑查询树的操作符进行优化，以减少所述n个逻辑查询树生成的物理任务的数量。本发明实施例提供的技术方案可用于大数据查询系统对数据仓库进行批量查询的过程中。

公开(公告)号：CN105630789A

公开(公告)日：2016-06-01

申请号：CN201410588240.8

申请日：2014-10-28

Applicant: 华为技术有限公司 ,  中国科学院计算技术研究所

Inventor： 李丰 ,  康炎丽 ,  冯晓兵

IPC: G06F17/30

Abstract: 本发明实施例公开了一种查询计划转化方法及装置，涉及计算机领域，可以更大程度的减少构成物理查询计划的物理查询任务的数量。具体方案为：从逻辑查询计划中提取第一查询操作符和第二查询操作符；若第一查询操作符的分区属性为第二查询操作符的分区属性的前缀，则改写逻辑查询计划中第二查询操作符的分区属性，以使得第二查询操作符的分区属性与第一查询操作符的分区属性相同；从逻辑查询计划中删除第二查询操作符的分区操作符，并根据第二查询操作符、第一查询操作符以及第一查询操作符的分区操作符生成一个物理查询任务，以构成物理查询计划，本发明用于逻辑查询计划转化为物理查询计划的过程中。

公开(公告)号：CN104657257A

公开(公告)日：2015-05-27

申请号：CN201310589292.2

申请日：2013-11-20

Applicant: 华为技术有限公司 ,  中国科学院计算技术研究所

Inventor： 陈聪明 ,  霍玮 ,  李丰 ,  冯晓兵

IPC: G06F11/36

Abstract: 本发明实施例提供一种指针分析方法及装置。本发明提供的指针分析方法，包括：读取待分析的多线程程序中的语句信息；根据所述程序的语句信息对所述程序进行指针分析，获得所述程序的共享信息，所述共享信息包括共享量、指针指向集和访存行为，其中，共享量包括全局共享量和局部共享量；根据所述程序的共享信息对所述共享量进行补偿分析。本发明实施例解决现有技术中对多线程程序的指针分析仅局限于程序中的全局共享量，分析结果不全面的问题，提高了指针分析的精度，并相应地提高了程序优化的实施范围和效果。