-
Patent Agency Ranking
公开(公告)号：CN113849413A
公开(公告)日：2021-12-28
申请号：CN202111201800.6
申请日：2021-10-15
Applicant: 上海航天计算机技术研究所
Abstract: 本发明提供了一种基于知识库特征匹配的代码规则检查方法及系统，包括如下步骤：建立以缺陷代码规则为基础的代码知识库，所述代码知识库中的每一条缺陷代码规则具有规则描述和对应的规则特征值；分析待检测源代码，生成源代码的语法分析树，所述语法分析树用于所述源代码的代码语法结构分析以及对应规则特征值的提取和匹配；根据所述代码知识库中的规则特征值与所述语法分析树提出的规则特征值进行匹配，获取对应的缺陷代码规则，以实现所述源代码的缺陷检测。本发明采用语法分析树转化为规则特征值匹配代码规则的方法，具有误判率小，准确性高等优点，同时使用知识库的方式进行代码规则的匹配无需在新增或修改规则时对软件进行修改或重构。
-
公开(公告)号：CN113886051B
公开(公告)日：2024-10-25
申请号：CN202111244730.2
申请日：2021-10-25
Applicant: 上海航天计算机技术研究所
Abstract: 本发明公开了一种基于事件流分析的多任务资源冲突检测方法，根据软件任务书和系统环境构建事件流，并确定各事件触发条件或开始时间和各事件处理时间片的集合{M1}；根据软件设计架构确定软件的所有任务、各项任务运行时间{M2}和各项任务运行时调用的资源{M3}；根据软件设计架构确定各事件调用软件任务调用的的关系{R1}；根据{R1}以{M1}中重合的时间点所调用的任务{M2}按照先后顺序排列成时间点的集合{M4}；形成{M3}和{M4}的映射；得到每个资源的使用频段；是否存在资源冲突，以及存在冲突的事件和任务。本发明用于静态的检测软件资源冲突情况，可以根据软件实际运用场景精确定位软件资源冲突，并针对存在冲突的事件和任务对测试人员进行提示。
-
公开(公告)号：CN112527671B
公开(公告)日：2023-04-21
申请号：CN202011514108.4
申请日：2020-12-18
Applicant: 上海航天计算机技术研究所
IPC: G06F11/36
Abstract: 本发明公开了一种基于事件流分析的多任务时序冲突检测方法，包括以下步骤：S1：构建各项事件处理完成时间的事件时间片集合；S2：构建任务运行时间集合；S3：确定各项事件调用软件架构中任一任务的关系，以形成事件‑任务关系集合；S4：对事件‑任务关系集合中事件时间片集合重合的时间段所调用的任务，按照先后顺序进行排序，以形成任务时间片序列集合；S5：计算任务时间片序列集合中各项事件处理占用的任务时间，判断是否出现超时现象；判断是否存在冲突，并输出出现冲突的事件和任务。本发明用于动态的检测软件时序冲突情况，可以根据软件实际运用场景精确定位软件时序冲突，并针对存在冲突的事件和任务对测试人员进行提示。
-
公开(公告)号：CN113886051A
公开(公告)日：2022-01-04
申请号：CN202111244730.2
申请日：2021-10-25
Applicant: 上海航天计算机技术研究所
Abstract: 本发明公开了一种基于事件流分析的多任务资源冲突检测方法，根据软件任务书和系统环境构建事件流，并确定各事件触发条件或开始时间和各事件处理时间片的集合{M1}；根据软件设计架构确定软件的所有任务、各项任务运行时间{M2}和各项任务运行时调用的资源{M3}；根据软件设计架构确定各事件调用软件任务调用的的关系{R1}；根据{R1}以{M1}中重合的时间点所调用的任务{M2}按照先后顺序排列成时间点的集合{M4}；形成{M3}和{M4}的映射；得到每个资源的使用频段；是否存在资源冲突，以及存在冲突的事件和任务。本发明用于静态的检测软件资源冲突情况，可以根据软件实际运用场景精确定位软件资源冲突，并针对存在冲突的事件和任务对测试人员进行提示。
-
公开(公告)号：CN112527671A
公开(公告)日：2021-03-19
申请号：CN202011514108.4
申请日：2020-12-18
Applicant: 上海航天计算机技术研究所
IPC: G06F11/36
Abstract: 本发明公开了一种基于事件流分析的多任务时序冲突检测方法，包括以下步骤：S1：构建各项事件处理完成时间的事件时间片集合；S2：构建任务运行时间集合；S3：确定各项事件调用软件架构中任一任务的关系，以形成事件‑任务关系集合；S4：对事件‑任务关系集合中事件时间片集合重合的时间段所调用的任务，按照先后顺序进行排序，以形成任务时间片序列集合；S5：计算任务时间片序列集合中各项事件处理占用的任务时间，判断是否出现超时现象；判断是否存在冲突，并输出出现冲突的事件和任务。本发明用于动态的检测软件时序冲突情况，可以根据软件实际运用场景精确定位软件时序冲突，并针对存在冲突的事件和任务对测试人员进行提示。
-
-
-
-
Search Results
5
records
(took 0.021 seconds)
