-
公开(公告)号：CN117762780A
公开(公告)日：2024-03-26
申请号：CN202311604489.9
申请日：2023-11-28
Applicant: 中国工程物理研究院计算机应用研究所
IPC: G06F11/36 , G06F18/214 , G06F18/23213 , G06N5/022
Abstract: 本发明公开了一种基于EPOST领域本体建模的软件测试知识关联分析方法，包括以下步骤：获取软件测试领域的各类文档材料以及测试过程的数据记录信息载体，进行归档归类处理；按照EPOST模型涵盖的知识要素开展知识本体建模；将获得的信息载体粗文档集进行预处理，然后切分为训练集和待处理集；将训练集文档进行标注；录入EPOST模型映射的关系型数据库，建立例化的知识网络；对知识网络进行类簇知识的自组织和刷新；按参数要求完成知识的链式关联性分析和知识条目输出。本发明可适用于不同业务类型的软件测试机构，提供一种按照自身需求构建软件测试知识模型的方法，通过此方法实现对领域知识结构最全面的覆盖，达到多层次知识汇聚的目的。
-
公开(公告)号：CN110442518B
公开(公告)日：2022-11-11
申请号：CN201910661748.9
申请日：2019-07-22
Applicant: 中国工程物理研究院计算机应用研究所
IPC: G06F11/36
Abstract: 本发明公开了一种基于可信特征度量的软件可信性评估与改进方法，包括以下步骤：软件可信评估架构：采用层次性结构，自底向上依次为度量指标、度量元、子属性、属性、研制阶段可信性、软件可信性，其中度量指标、度量元、子属性、属性组成了软件的可信特征；基于线性加权与非线性加权的可信值集结；可信特征对软件可信性实际贡献分析；可信特征对软件可信性实际贡献与期望贡献偏差分析；可信特征对软件可信性实际贡献与理想贡献占比分析；软件可信改进分析。本发明采用层次性结构实现软件可信评估架构，获得以相同量值度量元可信度提升的软件可信改进最好效果的目标，能够为软件研制能力与生产水平的提高以及软件是否达到可信要求提供定量判断的依据。
-
公开(公告)号：CN110442518A
公开(公告)日：2019-11-12
申请号：CN201910661748.9
申请日：2019-07-22
Applicant: 中国工程物理研究院计算机应用研究所
IPC: G06F11/36
Abstract: 本发明公开了一种基于可信特征度量的软件可信性评估与改进方法，包括以下步骤：软件可信评估架构：采用层次性结构，自底向上依次为度量指标、度量元、子属性、属性、研制阶段可信性、软件可信性，其中度量指标、度量元、子属性、属性组成了软件的可信特征；基于线性加权与非线性加权的可信值集结；可信特征对软件可信性实际贡献分析；可信特征对软件可信性实际贡献与期望贡献偏差分析；可信特征对软件可信性实际贡献与理想贡献占比分析；软件可信改进分析。本发明采用层次性结构实现软件可信评估架构，获得以相同量值度量元可信度提升的软件可信改进最好效果的目标，能够为软件研制能力与生产水平的提高以及软件是否达到可信要求提供定量判断的依据。
-
公开(公告)号：CN110309085A
公开(公告)日：2019-10-08
申请号：CN201910440318.4
申请日：2019-05-24
Applicant: 中国工程物理研究院计算机应用研究所
Abstract: 本发明公开了一种基于FPGA的一体化I2C接口验证控制器设计方法，验证控制器基于FPGA开发，采用主从机一体化设计架构；主从机一体化设计架构通过对I2C通信过程进行分层抽象，将I2C通信主、从机集成于一体，实现验证控制器外部接口的统一封装和内部结构层次设计；外部接口包括地址总线接口、数据总线接口、控制请求信号接口、数据请求信号接口和完成信号接口，内部层次结构包括前者包含后者的主控制单元、字节控制单元和比特控制单元。本发明能够提高I2C接口验证控制器的可配置性、可复用性、操作简便性，I2C接口验证充分性和效率都得到极大提高，验证效率至少提高40％以上。
-
Patent Agency Ranking
公开(公告)号：CN119849920A
公开(公告)日：2025-04-18
申请号：CN202411857127.5
申请日：2024-12-17
Applicant: 中国工程物理研究院计算机应用研究所
IPC: G06Q10/0635 , G06Q50/04
Abstract: 本发明公开了一种基于风险与属性的装备嵌入式系统安全性评估方法，包括以下步骤：对装备嵌入式系统进行分析，分解出系统资产层级结构，构建安全性评估模型；根据不同作用效果，从资产安全属性的维度构建安全性评估指标体系；表征安全风险要素的特征属性，对装备嵌入式系统的安全风险要素进行识别赋值；依据安全性评估模型与指标体系，通过权重设计方法对评估指标进行赋权，并采用安全性融合计算算法按照系统资产层级结构从不同安全属性的维度完成系统安全性评估计算。本发明通过对装备嵌入式系统体系架构和任务场景进行分析，分解同时考虑系统组件单元的不同安全属性，实现对装备嵌入式系统多层级多维度的安全性评估，评估结果更加充分、准确。
-
公开(公告)号：CN110309085B
公开(公告)日：2023-05-05
申请号：CN201910440318.4
申请日：2019-05-24
Applicant: 中国工程物理研究院计算机应用研究所
Abstract: 本发明公开了一种基于FPGA的一体化I2C接口验证控制器设计方法，验证控制器基于FPGA开发，采用主从机一体化设计架构；主从机一体化设计架构通过对I2C通信过程进行分层抽象，将I2C通信主、从机集成于一体，实现验证控制器外部接口的统一封装和内部结构层次设计；外部接口包括地址总线接口、数据总线接口、控制请求信号接口、数据请求信号接口和完成信号接口，内部层次结构包括前者包含后者的主控制单元、字节控制单元和比特控制单元。本发明能够提高I2C接口验证控制器的可配置性、可复用性、操作简便性，I2C接口验证充分性和效率都得到极大提高，验证效率至少提高40％以上。
-
公开(公告)号：CN116738365A
公开(公告)日：2023-09-12
申请号：CN202310712732.2
申请日：2023-06-16
Applicant: 中国工程物理研究院计算机应用研究所
IPC: G06F18/25 , G06F18/20 , G06F18/21 , G06F18/2115
Abstract: 本发明涉及多源信息融合相关技术领域，尤其为一种基于Pignistic概率转换和奇异值分解的证据冲突度量方法，包括以下步骤，步骤一：建立信息融合辨识框架Θ，采集传感器数据构建证据基本概率分配函数(BPA)；步骤二：建立证据基本概率分配函数矩阵M和焦元Pignistic概率转换矩阵P，对M进行Pignistic概率转换，将证据焦元差异映射到信度差异上，得到证据基本信任函数矩阵M′；步骤三：根据证据基本概率分配函数矩阵M和基本信任函数矩阵M′，构建了证据复合信任函数矩阵M″；步骤四：对证据复合信任函数矩阵M″进行奇异值分解，根据证据矩阵的相似特性和冲突特性，将矩阵空间划分为相似子空间S和冲突子空间N，将冲突子空间奇异值和与相似子空间奇异值之比作为证据冲突度量因子GSVD。本发明克服了传统证据冲突度量方法适应性差、准确性低、稳定性差的问题，提升了证据理论在信息融合领域运用的准确性。
-
公开(公告)号：CN110569197B
公开(公告)日：2022-11-11
申请号：CN201910865517.X
申请日：2019-09-12
Applicant: 中国工程物理研究院计算机应用研究所
Abstract: 本发明公开了一种用于软件可信性评估的可信证据分析与度量方法，包括以下步骤：基于软件研制文档与标准的软件可信需求的获取；基于软件可信特性的软件可信证据模型的构建；基于证据模型设计软件可信评估证据体系；基于粒度标准的软件可信需求的分解；软件可信需求与证据源追溯关系的建立；软件可信需求优先级的确定；软件可信需求实现的分析与判定；软件可信证据直接度量元的采集与软件可信证据间接度量元的度量。本发明基于软件可信证据模型，通过可信需求驱动的证据分析与判定方法开展证据数据采集、度量，保证了用于软件可信性评估的证据数据的准确性与客观性，从而提高了软件可信性评估结果的可靠性。
-
公开(公告)号：CN110569197A
公开(公告)日：2019-12-13
申请号：CN201910865517.X
申请日：2019-09-12
Applicant: 中国工程物理研究院计算机应用研究所
Abstract: 本发明公开了一种用于软件可信性评估的可信证据分析与度量方法，包括以下步骤：基于软件研制文档与标准的软件可信需求的获取；基于软件可信特性的软件可信证据模型的构建；基于证据模型设计软件可信评估证据体系；基于粒度标准的软件可信需求的分解；软件可信需求与证据源追溯关系的建立；软件可信需求优先级的确定；软件可信需求实现的分析与判定；软件可信证据直接度量元的采集与软件可信证据间接度量元的度量。本发明基于软件可信证据模型，通过可信需求驱动的证据分析与判定方法开展证据数据采集、度量，保证了用于软件可信性评估的证据数据的准确性与客观性，从而提高了软件可信性评估结果的可靠性。
-
-
-
-
-
-
-
-
Search Results
9
records
(took 0.029 seconds)
