-
公开(公告)号：CN110309085B
公开(公告)日：2023-05-05
申请号：CN201910440318.4
申请日：2019-05-24
Applicant: 中国工程物理研究院计算机应用研究所
Abstract: 本发明公开了一种基于FPGA的一体化I2C接口验证控制器设计方法，验证控制器基于FPGA开发，采用主从机一体化设计架构；主从机一体化设计架构通过对I2C通信过程进行分层抽象，将I2C通信主、从机集成于一体，实现验证控制器外部接口的统一封装和内部结构层次设计；外部接口包括地址总线接口、数据总线接口、控制请求信号接口、数据请求信号接口和完成信号接口，内部层次结构包括前者包含后者的主控制单元、字节控制单元和比特控制单元。本发明能够提高I2C接口验证控制器的可配置性、可复用性、操作简便性，I2C接口验证充分性和效率都得到极大提高，验证效率至少提高40％以上。
-
公开(公告)号：CN111666571A
公开(公告)日：2020-09-15
申请号：CN202010481723.3
申请日：2020-05-29
Applicant: 中国工程物理研究院计算机应用研究所
IPC: G06F21/57
Abstract: 本发明公开了一种信息安全控制措施的效能分析方法，用于考查信息安全控制措施的落实情况。该方法基于信息安全控制措施的效能分析模型，考察信息安全工作实施过程中使用安全控制措施的效能。该模型包括，根据制定的信息安全控制目标，确定效能分析测量对象集合、测量指标集合、测量方法集合和测量目标值集合；使用测量方法对测量对象的测量指标进行分别测量，记录并计算测量结果、符合性参数和有效性参数；基于符合性参数、有效性参数和措施符合性阈值，通过效能分析模型考察信息安全控制措施的效能。
-
公开(公告)号：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: 本发明公开了一种基于可信特征度量的软件可信性评估与改进方法，包括以下步骤：软件可信评估架构：采用层次性结构，自底向上依次为度量指标、度量元、子属性、属性、研制阶段可信性、软件可信性，其中度量指标、度量元、子属性、属性组成了软件的可信特征；基于线性加权与非线性加权的可信值集结；可信特征对软件可信性实际贡献分析；可信特征对软件可信性实际贡献与期望贡献偏差分析；可信特征对软件可信性实际贡献与理想贡献占比分析；软件可信改进分析。本发明采用层次性结构实现软件可信评估架构，获得以相同量值度量元可信度提升的软件可信改进最好效果的目标，能够为软件研制能力与生产水平的提高以及软件是否达到可信要求提供定量判断的依据。
-
Patent Agency Ranking
公开(公告)号：CN110309085A
公开(公告)日：2019-10-08
申请号：CN201910440318.4
申请日：2019-05-24
Applicant: 中国工程物理研究院计算机应用研究所
Abstract: 本发明公开了一种基于FPGA的一体化I2C接口验证控制器设计方法，验证控制器基于FPGA开发，采用主从机一体化设计架构；主从机一体化设计架构通过对I2C通信过程进行分层抽象，将I2C通信主、从机集成于一体，实现验证控制器外部接口的统一封装和内部结构层次设计；外部接口包括地址总线接口、数据总线接口、控制请求信号接口、数据请求信号接口和完成信号接口，内部层次结构包括前者包含后者的主控制单元、字节控制单元和比特控制单元。本发明能够提高I2C接口验证控制器的可配置性、可复用性、操作简便性，I2C接口验证充分性和效率都得到极大提高，验证效率至少提高40％以上。
-
公开(公告)号：CN117349146A
公开(公告)日：2024-01-05
申请号：CN202211534224.1
申请日：2022-12-02
Applicant: 中国工程物理研究院计算机应用研究所
IPC: G06F11/36
Abstract: 本申请公开了一种基于状态节点优先级覆盖的用例设计方法。该方法包括获取状态机模型，对状态机模型的正确性、合规性进行验证；对模型进行解析，依据与软件功能需求关系的密切程度，将状态节点按照风险优先级划分为3个等级，即Trunk(主干)，Relation（关联）和Normal（普通）；分别抽取状态机模型中所有Trunk、Relation和Normal节点进行全排列组合得到路径集合；对数据模型图进行解析，仅覆盖主干节点和关联节点，并且对于模型图中Trunk和Relation节点之间存在多条路径的，只选择其中的一条路径；综合生成的测试路径和测试数据，通过采用关键字驱动和数据驱动的模式组合生成可自动执行测试用例。本发明能够有效提高测试需求分析、测试用例生成、测试结果判断的自动化和规范化程度。
-
公开(公告)号：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
11
records
(took 0.031 seconds)
