您的位置： 专家智库 > >

高峰

作品数：21 被引量：12H指数：2
供职机构：中国工程物理研究院计算机应用研究所更多>>
发文基金：国防基础科研计划国家部委资助项目更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 18篇专利
  • 3篇期刊文章

领域

  • 10篇自动化与计算...

主题

  • 10篇仿真
  • 5篇仿真测试
  • 4篇软总线
  • 4篇通信
  • 4篇全数字
  • 4篇总线
  • 4篇半实物
  • 4篇层次化
  • 3篇用例设计
  • 3篇嵌入式
  • 3篇架构
  • 3篇分布式
  • 3篇测试用例
  • 2篇动态二进制
  • 2篇对等通信
  • 2篇对接
  • 2篇心跳检测
  • 2篇异构
  • 2篇远程
  • 2篇远程过程

机构

  • 21篇中国工程物理...
  • 1篇北京航空航天...

作者

  • 21篇高峰
  • 15篇邓霏
  • 14篇颜运强
  • 10篇李春雷
  • 4篇漆莲芝
  • 4篇胡驰
  • 4篇张谊
  • 1篇岳旸
  • 1篇李海峰
  • 1篇陈泉根
  • 1篇张浩

传媒

  • 2篇计算机工程
  • 1篇计算机研究与...

年份

  • 1篇2024
  • 2篇2023
  • 4篇2022
  • 1篇2021
  • 1篇2020
  • 7篇2019
  • 2篇2018
  • 1篇2017
  • 2篇2016
共 21 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于可信特征度量的软件可信性评估与改进方法
本发明公开了一种基于可信特征度量的软件可信性评估与改进方法，包括以下步骤：软件可信评估架构：采用层次性结构，自底向上依次为度量指标、度量元、子属性、属性、研制阶段可信性、软件可信性，其中度量指标、度量元、子属性、属性组成...
漆莲芝郭兴林周昱瑶张谊颜运强高峰
文献传递
一种多源异构嵌入式软件协同仿真测试方法
本发明公开了一种多源异构嵌入式软件协同仿真测试方法，包括基于混合式P2P的协同仿真测试方法、基于滑动窗口的时钟同步方法和基于时间系数矩阵的动态时间推进方法。本发明采用的基于混合式P2P的协同仿真测试方法可以实现多源异构嵌...
马思友高峰颜运强尚小虎邓霏邹伟李春雷仵林博
一种动态二进制翻译中基于代码热度的翻译缓存管理方法
本发明提供了一种动态二进制翻译中基于代码热度的翻译缓存管理方法，所述方法包括步骤：将整个翻译缓存划分两级缓存；当有新的基本块需要翻译时，根据所述基本块的地址在所述热代码缓存查找代码块；根据所述基本块的地址在所述子代码缓存...
邓霏高峰
文献传递
一种基于状态节点优先级覆盖的用例设计方法
本申请公开了一种基于状态节点优先级覆盖的用例设计方法。该方法包括获取状态机模型，对状态机模型的正确性、合规性进行验证；对模型进行解析，依据与软件功能需求关系的密切程度，将状态节点按照风险优先级划分为3个等级，即Trunk...
仵林博马思友尚小虎胡驰邓霏邹伟高峰张浩周昱瑶
一种基于远程过程调用的软总线通信方法
本发明公开了一种基于远程过程调用的软总线通信方法，具体步骤如下：步骤一，远程调用软总线总体架构；步骤二，建立Actor模型机制；步骤三，建立规则链表；步骤四，连接仿真节点；步骤五，启动Actor生命周期。本发明的方法中软...
李春雷高峰颜运强邹伟邓霏马思友
文献传递
一种基于路径深度覆盖的测试用例设计方法
本发明公开一种基于路径深度覆盖的测试用例设计方法，包括：层次化测试建模及测试覆盖准则设计，多约束条件下的测试覆盖算法设计，基于模型的自动化测试用例生成。本发明采用的测试用例设计方法基于用户需求风险，科学抽样，保证充分性同...
仵林博彭艳红沈亚峰邓霏高峰胡驰颜运强马思友李春雷
一种用于软件可信性评估的可信证据分析与度量方法
本发明公开了一种用于软件可信性评估的可信证据分析与度量方法，包括以下步骤：基于软件研制文档与标准的软件可信需求的获取；基于软件可信特性的软件可信证据模型的构建；基于证据模型设计软件可信评估证据体系；基于粒度标准的软件可信...
漆莲芝郭兴林周昱瑶张谊颜运强高峰
一种多源异构嵌入式软件协同仿真测试方法
本发明公开了一种多源异构嵌入式软件协同仿真测试方法，包括基于混合式P2P的协同仿真测试方法、基于滑动窗口的时钟同步方法和基于时间系数矩阵的动态时间推进方法。本发明采用的基于混合式P2P的协同仿真测试方法可以实现多源异构嵌...
马思友高峰颜运强尚小虎邓霏邹伟李春雷仵林博
文献传递
一种用于软件可信性评估的可信证据分析与度量方法
本发明公开了一种用于软件可信性评估的可信证据分析与度量方法，包括以下步骤：基于软件研制文档与标准的软件可信需求的获取；基于软件可信特性的软件可信证据模型的构建；基于证据模型设计软件可信评估证据体系；基于粒度标准的软件可信...
漆莲芝郭兴林周昱瑶张谊颜运强高峰
文献传递
一种基于P2P网络的全数字协同仿真系统通信方法
本发明提供了一种基于P2P网络的全数字协同仿真系统通信方法，所述的方法包括:基于P2P的全数字协同仿真模型，P2P构建及主题订阅与发布，基于数据交互的仿真时序推进，仿真节点的心跳检测；所述基于P2P的全数字协同仿真模型，...
高峰邓霏
文献传递
全选 清除 导出
共3页<123>
聚类工具0