-
公开(公告)号：CN104424097A
公开(公告)日：2015-03-18
申请号：CN201310379397.5
申请日：2013-08-27
申请人： 华为技术有限公司 , 中国科学院计算技术研究所
摘要： 本发明公开了一种程序日志检测方法及装置，包括：获取程序中需要检测的待测日志输出语句所在程序点、以及期望涵盖的程序语句；判断期望涵盖的程序语句中每个被执行定值操作的变量是否均满足第一条件且满足第二条件，第一条件为该变量被执行定值操作后确定的定值可到达至少一条待测日志输出语句所在程序点，该程序点为可达程序点，第二条件为该变量在至少一个可达程序点处的待测日志输出程序语句中被引用；如果是，确定待测日志输出语句有效，否则，确定待测日志输出语句失效，实现了对程序中的日志输出语句检测的目的。本发明还公开了一种程序日志推荐方法及装置，实现了辅助用户为缺少或者无日志输出语句的程序推荐有效新日志输出语句的目的。
-
公开(公告)号：CN102968369A
公开(公告)日：2013-03-13
申请号：CN201210447321.7
申请日：2012-11-09
申请人： 中国科学院计算技术研究所
IPC分类号： G06F11/36
摘要： 本发明公开一种动态断点的自动生成方法和系统，所述系统包括：创建动态依赖图模块，用于在程序执行过程中，利用动态插桩技术，收集程序语句的执行实例，实例之间的执行顺序以及依赖关系，依此创建动态依赖图；精化调试范围模块，用于利用程序动态切片技术，提取动态依赖图与程序失效描述相关的部分；构建状态流程图模块，用于将精化调试范围模块输出的动态依赖图中的结点和边互换，将调试范围转化成状态流程图；生成动态断点模块，用于生成动态断点以及断点处需要检查的表达式的集合；收集调试反馈模块，用于收集用户对所提供的断点以及断点处需要检查的表达式的集合的判断结果。
-
公开(公告)号：CN101710305A
公开(公告)日：2010-05-19
申请号：CN200910242657.8
申请日：2009-12-14
申请人： 中国科学院计算技术研究所
IPC分类号： G06F11/36
摘要： 本发明涉及一种计算机软件白盒测试的实现方法及系统。该实现方法包括：步骤1，求解判定布尔表达式中各个条件的独立对；步骤2，基于各个条件对应的独立对求解判定最小独立对集合，求解判定出的最小独立对集合构成参考用例集合；步骤3，选择参考用例集合中一个最小独立对集合，并生成与该最小独立对集合对应的测试用例集合，该测试用例集合即为最小测试集；步骤4，用最小测试集对源程序进行修正条件/判定覆盖测试。本发明可以减少修正条件/判定覆盖(MC/DC)测试的成本，避免了生成大量的测试用例以及对测试用例进行精简的过程。
-
公开(公告)号：CN101866315A
公开(公告)日：2010-10-20
申请号：CN201010204249.6
申请日：2010-06-11
申请人： 中国科学院计算技术研究所
IPC分类号： G06F11/36
摘要： 本发明涉及软件开发工具的测试方法及其系统，方法包括：步骤1，配置模块获得并存储开源软件项目的构建命令，保存配置的对所述构建命令的修改方式；步骤2，测试执行模块读取存储的构建命令，依据配置的修改方式修改所述构建命令流，以将构建命令流转化为测试命令流；步骤3，测试执行模块调用待测试的软件开发工具执行所述测试命令流，进行构建过程重放；步骤4，测试执行模块监控构建过程重放，测试报告生成模块根据测试执行模块输出的监控结果生成测试报告。本发明能够提高对软件开发工具的测试的效率。
-
公开(公告)号：CN102968369B
公开(公告)日：2015-02-04
申请号：CN201210447321.7
申请日：2012-11-09
申请人： 中国科学院计算技术研究所
IPC分类号： G06F11/36
摘要： 本发明公开一种动态断点的自动生成方法和系统，所述系统包括：创建动态依赖图模块，用于在程序执行过程中，利用动态插桩技术，收集程序语句的执行实例，实例之间的执行顺序以及依赖关系，依此创建动态依赖图；精化调试范围模块，用于利用程序动态切片技术，提取动态依赖图与程序失效描述相关的部分；构建状态流程图模块，用于将精化调试范围模块输出的动态依赖图中的结点和边互换，将调试范围转化成状态流程图；生成动态断点模块，用于生成动态断点以及断点处需要检查的表达式的集合；收集调试反馈模块，用于收集用户对所提供的断点以及断点处需要检查的表达式的集合的判断结果。
-
公开(公告)号：CN101866315B
公开(公告)日：2013-01-02
申请号：CN201010204249.6
申请日：2010-06-11
申请人： 中国科学院计算技术研究所
IPC分类号： G06F11/36
摘要： 本发明涉及软件开发工具的测试方法及其系统，方法包括：步骤1，配置模块获得并存储开源软件项目的构建命令，保存配置的对所述构建命令的修改方式；步骤2，测试执行模块读取存储的构建命令，依据配置的修改方式修改所述构建命令流，以将构建命令流转化为测试命令流；步骤3，测试执行模块调用待测试的软件开发工具执行所述测试命令流，进行构建过程重放；步骤4，测试执行模块监控构建过程重放，测试报告生成模块根据测试执行模块输出的监控结果生成测试报告。本发明能够提高对软件开发工具的测试的效率。
-
公开(公告)号：CN101710305B
公开(公告)日：2012-04-18
申请号：CN200910242657.8
申请日：2009-12-14
申请人： 中国科学院计算技术研究所
IPC分类号： G06F11/36
摘要： 本发明涉及一种计算机软件白盒测试的实现方法及系统。该实现方法包括：步骤1，求解判定布尔表达式中各个条件的独立对；步骤2，基于各个条件对应的独立对求解判定最小独立对集合，求解判定出的最小独立对集合构成参考用例集合；步骤3，选择参考用例集合中一个最小独立对集合，并生成与该最小独立对集合对应的测试用例集合，该测试用例集合即为最小测试集；步骤4，用最小测试集对源程序进行修正条件/判定覆盖测试。本发明可以减少修正条件/判定覆盖(MC/DC)测试的成本，避免了生成大量的测试用例以及对测试用例进行精简的过程。
-
公开(公告)号：CN1767257A
公开(公告)日：2006-05-03
申请号：CN200410086826.0
申请日：2004-10-28
申请人： 华为技术有限公司
IPC分类号： H01M10/42
摘要： 本发明公开一种延长蓄电池供电时间的方法，该蓄电池用于基站供电，根据蓄电池放电特性至少设置三个阈值电压，其中有一个阈值电压为截止电压Vd，且其他阈值电压皆大于该截止电压Vd；检测蓄电池输出的放电电压Vf，与各个阈值电压比较，判断蓄电池的放电容量降低，分级调节总功率消耗。本发明由于采用分级调低总功率消耗，延长蓄电池供电时间；加之只要Vf＞Vd时保留基站重要负载供电，延长基站覆盖小区中的移动用户个人通信业务服务时间。
-
公开(公告)号：CN100377418C
公开(公告)日：2008-03-26
申请号：CN200410086826.0
申请日：2004-10-28
申请人： 华为技术有限公司
IPC分类号： H01M10/42
摘要： 本发明公开一种延长蓄电池供电时间的方法，该蓄电池用于基站供电，根据蓄电池放电特性至少设置三个阈值电压，其中有一个阈值电压为截止电压Vd，且其他阈值电压皆大于该截止电压Vd；检测蓄电池输出的放电电压Vf，与各个阈值电压比较，判断蓄电池的放电容量降低，分级调节总功率消耗。本发明由于采用分级调低总功率消耗，延长蓄电池供电时间；加之只要Vf＞Vd时保留基站重要负载供电，延长基站覆盖小区中的移动用户个人通信业务服务时间。
-
公开(公告)号：CN2717085Y
公开(公告)日：2005-08-10
申请号：CN200420059230.7
申请日：2004-05-28
申请人： 华为技术有限公司
IPC分类号： H02H5/04
摘要： 本实用新型公开了一种温度监控装置，该装置包括与外部控制设备连接的温度范围判断模块和不少于两个的温度检测模块，其中每个温度检测模块用于检测温度并向温度范围判断模块发送温度信号，温度范围判断模块根据收到的温度信号判断温度是否超标，并根据判断结果输出控制外部控制设备动作的温度监控信号。本实用新型显著地减少了发出错误控制指令的可能，极大地提高了环境监控的可靠性。当温度检测模块损坏时，本实用新型上报温度检测故障告警信号，可方便了解温度监控装置的工作状况。
-
-
-
-
-
-
-
-
-
搜索结果
30 条记录 (耗时 0.1 秒)
