-
公开(公告)号：CN102968369A
公开(公告)日：2013-03-13
申请号：CN201210447321.7
申请日：2012-11-09
Applicant: 中国科学院计算技术研究所
IPC: G06F11/36
Abstract: 本发明公开一种动态断点的自动生成方法和系统，所述系统包括：创建动态依赖图模块，用于在程序执行过程中，利用动态插桩技术，收集程序语句的执行实例，实例之间的执行顺序以及依赖关系，依此创建动态依赖图；精化调试范围模块，用于利用程序动态切片技术，提取动态依赖图与程序失效描述相关的部分；构建状态流程图模块，用于将精化调试范围模块输出的动态依赖图中的结点和边互换，将调试范围转化成状态流程图；生成动态断点模块，用于生成动态断点以及断点处需要检查的表达式的集合；收集调试反馈模块，用于收集用户对所提供的断点以及断点处需要检查的表达式的集合的判断结果。
-
公开(公告)号：CN101710305A
公开(公告)日：2010-05-19
申请号：CN200910242657.8
申请日：2009-12-14
Applicant: 中国科学院计算技术研究所
IPC: G06F11/36
Abstract: 本发明涉及一种计算机软件白盒测试的实现方法及系统。该实现方法包括：步骤1，求解判定布尔表达式中各个条件的独立对；步骤2，基于各个条件对应的独立对求解判定最小独立对集合，求解判定出的最小独立对集合构成参考用例集合；步骤3，选择参考用例集合中一个最小独立对集合，并生成与该最小独立对集合对应的测试用例集合，该测试用例集合即为最小测试集；步骤4，用最小测试集对源程序进行修正条件/判定覆盖测试。本发明可以减少修正条件/判定覆盖(MC/DC)测试的成本，避免了生成大量的测试用例以及对测试用例进行精简的过程。
-
公开(公告)号：CN104424097B
公开(公告)日：2017-06-27
申请号：CN201310379397.5
申请日：2013-08-27
Applicant: 华为技术有限公司 , 中国科学院计算技术研究所
Abstract: 本发明公开了一种程序日志检测方法及装置，包括：获取程序中需要检测的待测日志输出语句所在程序点、以及期望涵盖的程序语句；判断期望涵盖的程序语句中每个被执行定值操作的变量是否均满足第一条件且满足第二条件，第一条件为该变量被执行定值操作后确定的定值可到达至少一条待测日志输出语句所在程序点，该程序点为可达程序点，第二条件为该变量在至少一个可达程序点处的待测日志输出程序语句中被引用；如果是，确定待测日志输出语句有效，否则，确定待测日志输出语句失效，实现了对程序中的日志输出语句检测的目的。本发明还公开了一种程序日志推荐方法及装置，实现了辅助用户为缺少或者无日志输出语句的程序推荐有效新日志输出语句的目的。
-
公开(公告)号：CN104866417A
公开(公告)日：2015-08-26
申请号：CN201410064881.3
申请日：2014-02-25
Applicant: 华为技术有限公司 , 中国科学院计算技术研究所
IPC: G06F11/36
Abstract: 本发明实施例提供一种路径敏感检测方法和装置，本发明路径敏感检测方法，包括：根据值流错误类型为变量设置初始的与错误相关的属性，沿着定值引用链传播初始的与错误相关的属性，在潜在错误语句处识别变量的与错误相关的属性，根据在潜在错误语句处识别的变量的与错误相关的属性，确定潜在错误语句为可能错误语句，根据可能错误语句获得路径敏感检测的语句输入集，根据路径敏感检测的语句输入集进行路径敏感检测。从而解决现有技术中检测值流错误存在的可扩展性并不理想，无法有效应用于大规模的应用程序的问题，通过减少路径敏感检测的语句输入集降低了检测开销，能够有效应用于大规模的应用程序。
-
公开(公告)号：CN102968369B
公开(公告)日：2015-02-04
申请号：CN201210447321.7
申请日：2012-11-09
Applicant: 中国科学院计算技术研究所
IPC: G06F11/36
Abstract: 本发明公开一种动态断点的自动生成方法和系统，所述系统包括：创建动态依赖图模块，用于在程序执行过程中，利用动态插桩技术，收集程序语句的执行实例，实例之间的执行顺序以及依赖关系，依此创建动态依赖图；精化调试范围模块，用于利用程序动态切片技术，提取动态依赖图与程序失效描述相关的部分；构建状态流程图模块，用于将精化调试范围模块输出的动态依赖图中的结点和边互换，将调试范围转化成状态流程图；生成动态断点模块，用于生成动态断点以及断点处需要检查的表达式的集合；收集调试反馈模块，用于收集用户对所提供的断点以及断点处需要检查的表达式的集合的判断结果。
-
Patent Agency Ranking
公开(公告)号：CN101866315B
公开(公告)日：2013-01-02
申请号：CN201010204249.6
申请日：2010-06-11
Applicant: 中国科学院计算技术研究所
IPC: G06F11/36
Abstract: 本发明涉及软件开发工具的测试方法及其系统，方法包括：步骤1，配置模块获得并存储开源软件项目的构建命令，保存配置的对所述构建命令的修改方式；步骤2，测试执行模块读取存储的构建命令，依据配置的修改方式修改所述构建命令流，以将构建命令流转化为测试命令流；步骤3，测试执行模块调用待测试的软件开发工具执行所述测试命令流，进行构建过程重放；步骤4，测试执行模块监控构建过程重放，测试报告生成模块根据测试执行模块输出的监控结果生成测试报告。本发明能够提高对软件开发工具的测试的效率。
-
公开(公告)号：CN105630789B
公开(公告)日：2019-07-12
申请号：CN201410588240.8
申请日：2014-10-28
Applicant: 华为技术有限公司 , 中国科学院计算技术研究所
IPC: G06F16/903
Abstract: 本发明实施例公开了一种查询计划转化方法及装置，涉及计算机领域，可以更大程度的减少构成物理查询计划的物理查询任务的数量。具体方案为：从逻辑查询计划中提取第一查询操作符和第二查询操作符；若第一查询操作符的分区属性为第二查询操作符的分区属性的前缀，则改写逻辑查询计划中第二查询操作符的分区属性，以使得第二查询操作符的分区属性与第一查询操作符的分区属性相同；从逻辑查询计划中删除第二查询操作符的分区操作符，并根据第二查询操作符、第一查询操作符以及第一查询操作符的分区操作符生成一个物理查询任务，以构成物理查询计划，本发明用于逻辑查询计划转化为物理查询计划的过程中。
-
公开(公告)号：CN105701128B
公开(公告)日：2019-03-08
申请号：CN201410711901.1
申请日：2014-11-28
Applicant: 华为技术有限公司 , 中国科学院计算技术研究所
IPC: G06F16/2453
Abstract: 本发明实施例公开了一种查询语句的优化方法和装置，涉及数据查询技术领域，用以解决由于需要缓存历史逻辑查询树及其对应的查询结果而导致的占用大量的存储空间的问题。本发明实施例提供的查询语句的优化方法包括：接收n个查询语句；将所述n个查询语句生成n个逻辑查询树；根据预设规则为所述n个逻辑查询树中的操作符对应的操作数添加版本号；对所对应的操作数的版本号相同、且所属不同逻辑查询树的操作符进行优化，以减少所述n个逻辑查询树生成的物理任务的数量。本发明实施例提供的技术方案可用于大数据查询系统对数据仓库进行批量查询的过程中。
-
公开(公告)号：CN104679484B
公开(公告)日：2018-02-06
申请号：CN201310617816.4
申请日：2013-11-27
Applicant: 华为技术有限公司 , 中国科学院计算技术研究所
Abstract: 本发明公开了一种并发分析方法及装置，包括：获取程序控制流图，其中，在所述程序控制流图中，线程创建节点为所述线程创建节点所创建的线程的开始节点的直接前驱节点，计算程序控制流图中每个线程的开始节点的初始并发节点集合、每个线程创建节点的直接后继节点的初始并发节点集合、以及每个线程终止节点的直接后继节点的初始无法并发节点集合，初始化程序控制流图的首节点的并发节点集合，从程序控制流图的首节点开始向下遍历，在遍历过程中，根据继承规则计算出遍历到的每个节点的并发节点集合，由于一次遍历即得到每个节点的并发节点集合，运算简单且运算量小，实现了提高并发分析效率的目的。
-
公开(公告)号：CN104252346B
公开(公告)日：2017-08-29
申请号：CN201310262639.2
申请日：2013-06-27
Applicant: 华为技术有限公司 , 中国科学院计算技术研究所
CPC classification number: G06F8/45
Abstract: 本发明公开了一种并发分析的方法及装置，涉及程序分析技术领域，在对PEG上不同节点间的并发分析过程中，简化了处理流程，提高了并发分析的效率。本发明的具体实施例包括：获取PEG中的根节点，将该根节点以及PEG中入度为0的节点压入预设栈，并获取该预设栈的栈顶节点组成待处理序列，进而确定当前处理节点在该待处理序列中的位置，并在待处理序列的该位置之后查找包含于工作集中的节点，从而减少并发分析中的迭代次数。本发明实施例主要应用于并发分析流程中。
-
-
-
-
-
-
-
-
-
Search Results
27
records
(took 0.046 seconds)
