公开(公告)号：CN116070777A

公开(公告)日：2023-05-05

申请号：CN202310184723.0

申请日：2023-03-01

Applicant: 北京计算机技术及应用研究所

Inventor： 张玉爽 ,  李佳珍 ,  谭艳鹃 ,  王楚珺 ,  周晓俊 ,  陈鹏 ,  李翔

IPC: G06Q10/04 ,  G06Q10/0639 ,  G06Q10/20

Abstract: 本发明涉及一种基于马尔科夫链和回归分析的应用系统可用性预测方法，属于故障预测领域。本发明确定影响应用系统可用性概率的指标集；定义指标集中每个指标的状态空间；用回归分析方法确定每个指标的状态空间与应用系统可用性概率的关系；构建使用马尔科夫链模型对每个指标的状态分布进行预测的模型；确定每个指标的初始状态；定义应用系统可用性概率预测的时间范围，对应用系统的每个指标的状态分布进行预测；根据每个指标的状态分布和每个指标的状态空间与应用系统可用性概率的关系，预测指定时间后应用系统可用性概率。本发明有效提高应用系统的可使用性，延长应用系统稳定性时长，提升用户满意度。

公开(公告)号：CN111813670B

公开(公告)日：2022-06-24

申请号：CN202010635114.9

申请日：2020-07-03

Applicant: 北京计算机技术及应用研究所

Inventor： 贾张涛 ,  付修锋 ,  安恒 ,  张玉爽 ,  金玉川 ,  李雅斯

IPC: G06F11/36 ,  G06F8/75

Abstract: 本发明涉及一种非侵入式MC/DC覆盖率统计分析方法，其中，包括：建立嵌入式软件虚拟化仿真运行环境；循环读取源码并通过分析去除源码中的注释部分，并解析源文件分支信息和逻辑表达式信息；获取逻辑表达式的目标码信息；仿真运行，读取指令、翻译指令以及执行当前指令，记录MC/DC覆盖率，并将覆盖率信息以特定的格式写入到指定路径的文件中；进行MC/DC覆盖率执行结果判读及反馈。本发明通过嵌入式软件虚拟化仿真运行环境，分析不同处理器架构下目标文件的类型和调试信息格式的类型并解析源文件分支信息和逻辑表达式信息，在此基础上获取逻辑表达式对应的目标码信息，并在仿真运行过程中获取MC/DC覆盖率信息，能够满足多种场景下MC/DC覆盖率统计分析的需求。

公开(公告)号：CN111813670A

公开(公告)日：2020-10-23

申请号：CN202010635114.9

申请日：2020-07-03

Applicant: 北京计算机技术及应用研究所

Inventor： 贾张涛 ,  付修锋 ,  安恒 ,  张玉爽 ,  金玉川 ,  李雅斯

IPC: G06F11/36 ,  G06F8/75

Abstract: 本发明涉及一种非侵入式MC/DC覆盖率统计分析方法，其中，包括：建立嵌入式软件虚拟化仿真运行环境；循环读取源码并通过分析去除源码中的注释部分，并解析源文件分支信息和逻辑表达式信息；获取逻辑表达式的目标码信息；仿真运行，读取指令、翻译指令以及执行当前指令，记录MC/DC覆盖率，并将覆盖率信息以特定的格式写入到指定路径的文件中；进行MC/DC覆盖率执行结果判读及反馈。本发明通过嵌入式软件虚拟化仿真运行环境，分析不同处理器架构下目标文件的类型和调试信息格式的类型并解析源文件分支信息和逻辑表达式信息，在此基础上获取逻辑表达式对应的目标码信息，并在仿真运行过程中获取MC/DC覆盖率信息，能够满足多种场景下MC/DC覆盖率统计分析的需求。