-
公开(公告)号：CN110442518B
公开(公告)日：2022-11-11
申请号：CN201910661748.9
申请日：2019-07-22
Applicant: 中国工程物理研究院计算机应用研究所
IPC: G06F11/36
Abstract: 本发明公开了一种基于可信特征度量的软件可信性评估与改进方法，包括以下步骤：软件可信评估架构：采用层次性结构，自底向上依次为度量指标、度量元、子属性、属性、研制阶段可信性、软件可信性，其中度量指标、度量元、子属性、属性组成了软件的可信特征；基于线性加权与非线性加权的可信值集结；可信特征对软件可信性实际贡献分析；可信特征对软件可信性实际贡献与期望贡献偏差分析；可信特征对软件可信性实际贡献与理想贡献占比分析；软件可信改进分析。本发明采用层次性结构实现软件可信评估架构，获得以相同量值度量元可信度提升的软件可信改进最好效果的目标，能够为软件研制能力与生产水平的提高以及软件是否达到可信要求提供定量判断的依据。
-
公开(公告)号：CN113961445A
公开(公告)日：2022-01-21
申请号：CN202111020025.4
申请日：2021-09-01
Applicant: 中国工程物理研究院计算机应用研究所
IPC: G06F11/36
Abstract: 本发明公开了基于场景和数据驱动的软件流程测试方法，包括：装备软件场景分析；获得系统场景和业务场景，遍历场景；交换数据配置，制定五层交换数据配置规则，生成装备软件与外部系统之间的交换数据，形成测试数据配置文件；解析测试数据配置文件；监听多个UDP接口的输出，自动注入数据激励，自动化执行驱动装备软件的业务流程，获取测试结果。本发明能够快速建立测试环境，自动注入数据激励，降低了测试成本，提升了测试效率，有利于回归测试。
-
公开(公告)号：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
公开(公告)号：CN110321281A
公开(公告)日：2019-10-11
申请号：CN201910440294.2
申请日：2019-05-24
Applicant: 中国工程物理研究院计算机应用研究所
IPC: G06F11/36
Abstract: 本发明公开了一种基于混合自动化测试框架的Web测试平台，其总体架构包括自动化测试管理层、自动化测试引擎层和第三方测试工具，其中，自动化测试管理层用于Web自动化测试的全过程管理，支持测试实施人员进行测试需求分析、测试设计和测试结果分析与总结；自动化测试引擎层用于测试数据的封装与提供、测试脚本的分层设计、页面对象建模以及业务逻辑建模；第三方测试工具用于自动化测试脚本的开发、测试用例套的执行、结果反馈与追踪。本发明采用层次化设计模式，结合模块化测试框架和数据驱动测试框架技术，实现了测试数据与测试脚本分离，对象库和函数库分离，能够支持测试脚本按需自由灵活组合，大大降低了自动化维护成本。
-
公开(公告)号：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: 本发明公开了一种用于软件可信性评估的可信证据分析与度量方法，包括以下步骤：基于软件研制文档与标准的软件可信需求的获取；基于软件可信特性的软件可信证据模型的构建；基于证据模型设计软件可信评估证据体系；基于粒度标准的软件可信需求的分解；软件可信需求与证据源追溯关系的建立；软件可信需求优先级的确定；软件可信需求实现的分析与判定；软件可信证据直接度量元的采集与软件可信证据间接度量元的度量。本发明基于软件可信证据模型，通过可信需求驱动的证据分析与判定方法开展证据数据采集、度量，保证了用于软件可信性评估的证据数据的准确性与客观性，从而提高了软件可信性评估结果的可靠性。
-
公开(公告)号：CN110309085B
公开(公告)日：2023-05-05
申请号：CN201910440318.4
申请日：2019-05-24
Applicant: 中国工程物理研究院计算机应用研究所
Abstract: 本发明公开了一种基于FPGA的一体化I2C接口验证控制器设计方法，验证控制器基于FPGA开发，采用主从机一体化设计架构；主从机一体化设计架构通过对I2C通信过程进行分层抽象，将I2C通信主、从机集成于一体，实现验证控制器外部接口的统一封装和内部结构层次设计；外部接口包括地址总线接口、数据总线接口、控制请求信号接口、数据请求信号接口和完成信号接口，内部层次结构包括前者包含后者的主控制单元、字节控制单元和比特控制单元。本发明能够提高I2C接口验证控制器的可配置性、可复用性、操作简便性，I2C接口验证充分性和效率都得到极大提高，验证效率至少提高40％以上。
-
-
-
-
-
-
-
-
Search Results
9
records
(took 0.033 seconds)
