-
公开(公告)号:CN113886467B
公开(公告)日:2024-05-14
申请号:CN202111242499.3
申请日:2021-10-25
Applicant: 上海航天计算机技术研究所
IPC: G06F16/2458 , G06F16/28
Abstract: 本发明公开了一种基于关键词提取的软件缺陷库维护方法及系统,通过预先设置用于存储软件缺陷的数据库,预先设置用于存储缺陷关键词的数据库,预先确定软件缺陷和特征信息的映射关系,还包括确定软件缺陷特征信息,根据缺陷软件信息关联已有关键词,判断已有关键词与软件缺陷的匹配度,通过文本挖掘或人工录入方法获取新的关键词,建立一条特征信息采用关键词匹配的软件缺陷记录。
-
公开(公告)号:CN113934643A
公开(公告)日:2022-01-14
申请号:CN202111430805.6
申请日:2021-11-29
Applicant: 上海航天计算机技术研究所
IPC: G06F11/36
Abstract: 本发明涉及一种基于影响域路径分析的测试用例确定方法,包括,对测试程序的语法和控制流程进行分析,提取程序控制流程图的节点;对控制流程图的节点进行压缩,生成路径分支图;建立路径分支图和首轮测试用例集的映射关系;比对首轮测试程序和回归测试程序,生成回归测试的更改模块并进行更改影响域分析,生成回归测试程序的更改路径分支图;从测试用例中选取满足更改路径分支图最大覆盖率指标的最小测试用例集合,作为当前版本的回归测试用例集合。本发明还提供了测试用例确定系统。本发明的优点在于:降低回归测试所使用的测试用例的数量,提高回归测试的效率。
-
公开(公告)号:CN111307304A
公开(公告)日:2020-06-19
申请号:CN202010160021.5
申请日:2020-03-09
Applicant: 上海航天计算机技术研究所
IPC: G01J11/00
Abstract: 本发明提供了一种红外钟形脉冲特征参量提取验证方法及平台,包括:选定和加载信号模板,并绘制红外脉冲信号;根据实验需要设置环境参数;将信号模板和环境参数进行统一管理,生成实验输入数据;提取实验输出数据,生成红外钟形脉冲特征参量提取结果。本发明基于信号模板识别红外钟形脉冲特征参量,可以覆盖多种目标和干扰类型,保证测试场景的复杂多样性;使用有限集合实现红外钟形脉冲特征参量的全面验证;并且通过单次识别特征参量的标准化来实现测试标准化;在保证不变动被测软件的前提下实现动态测试。
-
公开(公告)号:CN119959896A
公开(公告)日:2025-05-09
申请号:CN202510288054.0
申请日:2025-03-12
Applicant: 上海航天计算机技术研究所
Abstract: 本发明涉及软件测试技术领域,提供了一种目标捕获方波信号频率计算模块的测试方法,包括:S1:分析目标捕获方波信号频率计算模块,制定测试所需的目标捕获方波信号波形模板;S2:根据目标捕获方波信号波形模板,生成与目标捕获方波信号波形模板相匹配的单周期可调的目标捕获方波信号;S3:选择某一目标捕获方波信号波形模板,通过IO端口将匹配的目标捕获方波信号输入被测模块;S4:执行被测模块,判定实测值与预期值是否一致,一致则通过测试,否则不通过。分析目标捕获方波信号频率计算模块,制定测试的目标捕获方波信号波形模板;生成符合要求的单周期可调的目标捕获方波信号,更精确的进行目标捕获方波信号频率计算功能测试、边界测试等。
-
公开(公告)号:CN111307304B
公开(公告)日:2021-09-07
申请号:CN202010160021.5
申请日:2020-03-09
Applicant: 上海航天计算机技术研究所
IPC: G01J11/00
Abstract: 本发明提供了一种红外钟形脉冲特征参量提取验证方法及平台,包括:选定和加载信号模板,并绘制红外脉冲信号;根据实验需要设置环境参数;将信号模板和环境参数进行统一管理,生成实验输入数据;提取实验输出数据,生成红外钟形脉冲特征参量提取结果。本发明基于信号模板识别红外钟形脉冲特征参量,可以覆盖多种目标和干扰类型,保证测试场景的复杂多样性;使用有限集合实现红外钟形脉冲特征参量的全面验证;并且通过单次识别特征参量的标准化来实现测试标准化;在保证不变动被测软件的前提下实现动态测试。
-
公开(公告)号:CN113934643B
公开(公告)日:2025-03-21
申请号:CN202111430805.6
申请日:2021-11-29
Applicant: 上海航天计算机技术研究所
IPC: G06F11/3668
Abstract: 本发明涉及一种基于影响域路径分析的测试用例确定方法,包括,对测试程序的语法和控制流程进行分析,提取程序控制流程图的节点;对控制流程图的节点进行压缩,生成路径分支图;建立路径分支图和首轮测试用例集的映射关系;比对首轮测试程序和回归测试程序,生成回归测试的更改模块并进行更改影响域分析,生成回归测试程序的更改路径分支图;从测试用例中选取满足更改路径分支图最大覆盖率指标的最小测试用例集合,作为当前版本的回归测试用例集合。本发明还提供了测试用例确定系统。本发明的优点在于:降低回归测试所使用的测试用例的数量,提高回归测试的效率。
-
公开(公告)号:CN112527671B
公开(公告)日:2023-04-21
申请号:CN202011514108.4
申请日:2020-12-18
Applicant: 上海航天计算机技术研究所
IPC: G06F11/36
Abstract: 本发明公开了一种基于事件流分析的多任务时序冲突检测方法,包括以下步骤:S1:构建各项事件处理完成时间的事件时间片集合;S2:构建任务运行时间集合;S3:确定各项事件调用软件架构中任一任务的关系,以形成事件‑任务关系集合;S4:对事件‑任务关系集合中事件时间片集合重合的时间段所调用的任务,按照先后顺序进行排序,以形成任务时间片序列集合;S5:计算任务时间片序列集合中各项事件处理占用的任务时间,判断是否出现超时现象;判断是否存在冲突,并输出出现冲突的事件和任务。本发明用于动态的检测软件时序冲突情况,可以根据软件实际运用场景精确定位软件时序冲突,并针对存在冲突的事件和任务对测试人员进行提示。
-
公开(公告)号:CN113886467A
公开(公告)日:2022-01-04
申请号:CN202111242499.3
申请日:2021-10-25
Applicant: 上海航天计算机技术研究所
IPC: G06F16/2458 , G06F16/28
Abstract: 本发明公开了一种基于关键词提取的软件缺陷库维护方法及系统,通过预先设置用于存储软件缺陷的数据库,预先设置用于存储缺陷关键词的数据库,预先确定软件缺陷和特征信息的映射关系,还包括确定软件缺陷特征信息,根据缺陷软件信息关联已有关键词,判断已有关键词与软件缺陷的匹配度,通过文本挖掘或人工录入方法获取新的关键词,建立一条特征信息采用关键词匹配的软件缺陷记录。
-
公开(公告)号:CN112527671A
公开(公告)日:2021-03-19
申请号:CN202011514108.4
申请日:2020-12-18
Applicant: 上海航天计算机技术研究所
IPC: G06F11/36
Abstract: 本发明公开了一种基于事件流分析的多任务时序冲突检测方法,包括以下步骤:S1:构建各项事件处理完成时间的事件时间片集合;S2:构建任务运行时间集合;S3:确定各项事件调用软件架构中任一任务的关系,以形成事件‑任务关系集合;S4:对事件‑任务关系集合中事件时间片集合重合的时间段所调用的任务,按照先后顺序进行排序,以形成任务时间片序列集合;S5:计算任务时间片序列集合中各项事件处理占用的任务时间,判断是否出现超时现象;判断是否存在冲突,并输出出现冲突的事件和任务。本发明用于动态的检测软件时序冲突情况,可以根据软件实际运用场景精确定位软件时序冲突,并针对存在冲突的事件和任务对测试人员进行提示。
-
-
-
-
-
-
-
-