您的位置： 专家智库 > >

殷永峰

作品数：79 被引量：118H指数：6
供职机构：北京航空航天大学更多>>
发文基金：中国航空科学基金国家自然科学基金中央高校基本科研业务费专项资金更多>>
相关领域：自动化与计算机技术自然科学总论电气工程更多>>

合作作者

文献类型

  • 51篇专利
  • 25篇期刊文章
  • 3篇会议论文

领域

  • 43篇自动化与计算...
  • 2篇自然科学总论
  • 1篇电气工程

主题

  • 29篇软件测试
  • 29篇嵌入式
  • 29篇嵌入式软件
  • 9篇实时嵌入式
  • 8篇自动化
  • 7篇嵌入式软件测...
  • 7篇测试用例
  • 7篇PETRI网
  • 6篇软件体系结构
  • 6篇体系结构
  • 6篇网络
  • 6篇可视化
  • 6篇架构
  • 6篇脚本
  • 5篇软件自动化
  • 5篇实时嵌入式软...
  • 5篇测试环境
  • 4篇形式化
  • 4篇软件工程
  • 4篇自动化测试

机构

  • 79篇北京航空航天...
  • 2篇江苏科技大学
  • 2篇华北计算技术...
  • 1篇北京理工大学
  • 1篇中国兵器科学...
  • 1篇航空电子系统...
  • 1篇无锡供电公司

作者

  • 79篇殷永峰
  • 29篇刘斌
  • 9篇李震
  • 8篇王轶辰
  • 7篇李昆
  • 7篇张莉
  • 5篇刘利军
  • 4篇陆民燕
  • 4篇姜同敏
  • 4篇李海峰
  • 4篇张国良
  • 4篇张弛
  • 3篇原仓周
  • 3篇肖鹏
  • 3篇王志
  • 3篇尹瑞
  • 3篇李阳
  • 3篇倪红英
  • 3篇刘畅
  • 3篇钟德明

传媒

  • 5篇北京航空航天...
  • 3篇系统工程与电...
  • 3篇测控技术
  • 2篇计算机应用研...
  • 2篇沈阳工业大学...
  • 2篇计算机工程与...
  • 2篇计算机工程与...
  • 2篇中国航空学会...
  • 1篇计算机研究与...
  • 1篇计算机工程
  • 1篇兵工学报
  • 1篇航空计算技术
  • 1篇计算机科学
  • 1篇科技广场

年份

  • 4篇2024
  • 7篇2023
  • 7篇2022
  • 6篇2021
  • 7篇2020
  • 10篇2019
  • 2篇2017
  • 2篇2015
  • 1篇2014
  • 1篇2013
  • 4篇2012
  • 9篇2011
  • 3篇2010
  • 4篇2009
  • 4篇2008
  • 2篇2007
  • 4篇2006
  • 1篇2004
  • 1篇2003
共 79 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种可复用的嵌入式软件架构建模方法和系统
本发明涉及一种可复用的嵌入式软件架构建模方法和系统，属于嵌入式软件开发技术领域，解决了现有技术中嵌入式软件架构建模容易出错建模效率低的问题。方法包括以下步骤：构建嵌入式软件的功能函数库和模块库，基于构建的功能函数库和模块...
葛宁王源胡春明殷永峰张莉
一种面向Move语言虚拟机的模糊测试方法
本发明公开了一种面向Move语言虚拟机的模糊测试方法，属于软件测试技术领域：首先，针对Move语言虚拟机，通过调用接口函数确定目标测试接口；并根据给定的语法规则，手动构建初始测试样例；分别构建目标测试接口需要的两类非字节...
姜博隋睿孙海龙殷永峰
文献传递
一种含有中断函数的嵌入式软件看门狗测试方法和装置
本发明涉及一种含有中断函数的嵌入式软件看门狗测试方法和装置。对于无中断函数的程序，直接植入触发看门狗复位信号的死循环代码，判断程序有无进行看门狗复位验证软件看门狗功能实现的正确性。对于有中断函数的程序，在除了执行上述步骤...
殷永峰闫亚琴武宁李秋儒
文献传递
实时嵌入式软件测试脚本技术研究被引量：23
2003年
根据当前软件测试脚本技术的发展，结合实时嵌入式软件的特点，提出了脚本化的实时嵌入式软件测试的实现机制，并分别针对嵌入式软件测试脚本语言的设计及其相应解释器的实现进行了阐述。
殷永峰刘斌陆民燕
关键词：实时嵌入式软件软件开发软件测试脚本技术
一种基于程序变异的Simulink模型验证方法
本发明涉及一种基于程序变异的Simulink模型验证方法，包括：1、将待验证的Simlink模型记为P；按照运行生成结果形成P(T)；2、按照选定的变异算子类型，设计相应的变异算子，形成变异模型集合L；3、在所有变异模型...
殷永峰李昆周艺斌谭先琪
文献传递
一种基于Docker的网络安全实验平台搭建方法
本发明涉及一种基于Docker的网络安全实验平台搭建方法，平台分为三个组成部分，分别负责实验的搭建，节点的虚拟化以及实验数据的处理等功能实现，实验者通过ASG模块上传实验相关内容，平台对实验内容、镜像、拓扑结构及实验者信...
殷永峰邵宇燕宿庆冉王雪峰
文献传递
一种构建非嵌入式软件可靠性测试过程模型的方法
本发明涉及一种构建非嵌入式软件可靠性测试过程模型的方法，包括以下步骤：软件可靠性测试策划阶段；软件可靠性测试大纲评审阶段；软件可靠性测试设计和实现阶段；软件可靠性测试执行阶段；软件可靠性测试总结阶段；软件可靠性测试总结评...
殷永峰张晓英武宁李秋儒
文献传递
嵌入式软件测试数据处理系统的研究被引量：2
2008年
嵌入式软件测试已成为当前测试领域的热点之一,由于嵌入式软件一般具有实时性强、接口数据复杂的特点,使得每次测试都会产生海量的测试数据,如何有效地分析、处理这些测试数据,从而获取有效的数据信息是测试分析工作的难点。给出了海量测试数据处理的关键技术和解决途径,并实现了嵌入式软件测试数据处理系统的开发。最后,通过一个实例应用验证了该系统的正确性和有效性。
殷永峰刘斌姜同敏张国良
关键词：嵌入式软件软件测试数据处理设计模式
一种飞行训练模拟器软件的测试方法及装置
本发明涉及一种飞行训练模拟器软件的测试方法及装置，根据研制单位提交的飞行训练模拟器软件任务书、需求规格说明等文档，从软件的特点和软件场景两个方面进行分析，得出软件测试需求；在已分析完软件测试需求的基础上，建立测试环境和生...
殷永峰张晓英李秋儒武宁
文献传递
一种异构无人机集群任务分配方法和系统
本发明提供一种异构无人机集群任务分配方法和系统，所述方法包括：收集异构无人机集群的常见任务分配场景，并针对场景进行强化学习环境建模，继而采用QMIX算法对不同的任务分配场景进行训练，并将所得到的Agent网络参数以及QM...
殷永峰郭洋杨溢龙宿庆冉原仓周
全选 清除 导出
共8页<12345678>
聚类工具0