全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
手机远见搜索 |设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
发文数量
被引数量
学者研究热点:
    引用
    筛选:
    文献类型 文献类型
    学科分类 学科分类
    发表年度 发表年度
    基金 基金
    研究层次 研究层次
    排序:
    显示:
    CNKI为你找到相关结果

    基于时间扩展Petri网的实时嵌入式软件体系结构建模及可靠性...  CNKI文献

    软件可靠性是软件质量评估最重要的指标之一,随着软件工程和组件重用技术的发展,近年来基于体系结构的软件可靠性评估已经成为工程研究的热点之一。为有效地提高软件可靠性,调研现有体系结构的可靠性评估模型,给出了现...

    许玉堂 殷永峰... 《兵工学报》 2015年02期 期刊

    关键词: 计算机软件 / 软件体系结构 / 可靠性评估 / 时间扩展Petri网

    下载(206)| 被引(10)

    基于UML实时扩展的嵌入式软件测试用例生成技术  CNKI文献

    将统一建模语言(unified modeling language,UML)和对象约束语言(object constraint language,OCL)引入嵌入式软件测试领域,首先提出了一种基于UML实时扩展的嵌入式软件测试建模过程。然后,给出了UML状态图和类图的实...

    殷永峰 郑本焘... 《系统工程与电子技术》 2011年03期 期刊

    关键词: 软件工程 / 自动化测试 / 统一建模语言 / 嵌入式软件

    下载(477)| 被引(24)

    综合模块化航电系统软件技术研究  CNKI文献

    从软件可靠性的角度对综合模块化航电(IMA)系统进行了讨论。从IMA系统的体系结构入手,研究了软件接口定义以及系统失效。具体分析了IMA软件研制过程中各角色的作用以及这种责任的分散所带来的问题。结合国内的发展现状...

    李骁丹 殷永峰... 《航空计算技术》 2013年03期 期刊

    关键词: 航电系统 / 综合模块化航电 / 软件可靠性 / 软件测试

    下载(322)| 被引(16)

    基于本体的软件安全性需求建模和验证  CNKI文献

    由软件引起的灾难性事故原因往往源于安全性需求,目前主观的人工评审方法并不能满足软件安全性需求严格的验证要求.因此,讨论了软件安全性需求的定义,遴选了国内外公认的相关标准和手册作为需求验证的知识基础,根据&q...

    李震 刘斌... 《北京航空航天大学学报》 2012年11期 期刊

    关键词: 软件安全性 / 本体 / 形式化验证

    下载(390)| 被引(14)

    基于UML的嵌入式软件测试用例生成方法研究  CNKI文献

    基于嵌入式软件实时性、嵌入式和反应式等特点,对UML进行了实时性扩展,运用多种UML视图描述嵌入式系统的结构和行为,提出了如何从基于UML的模型中自动生成测试用例的设计思路。

    殷永峰 刘斌... 《计算机应用研究》 2008年10期 期刊

    关键词: 统一建模语言 / 面向对象 / 嵌入式软件 / 测试场景

    下载(388)| 被引(17)

    基于Petri网模型检验的安全关键软件需求验证  CNKI文献

    需求形式化建模和模型检验可以提高安全关键软件的可信性,但在模型描述、调试和解释能力方面存在局限。对使用Petri网支持软件系统建模进行了扩展,设定默认值为零的权函数、利用"非"虚线描述在状态为假和变...

    李震 刘斌... 《系统工程与电子技术》 2011年02期 期刊

    关键词: 软件工程 / Petri网 / 模型检验 / 安全关键软件

    下载(307)| 被引(8)

    实时嵌入式软件测试脚本技术研究  CNKI文献

    根据当前软件测试脚本技术的发展,结合实时嵌入式软件的特点,提出了脚本化的实时嵌入式软件测试的实现机制,并分别针对嵌入式软件测试脚本语言的设计及其相应解释器的实现进行了阐述。

    殷永峰 刘斌... 《计算机工程》 2003年01期 期刊

    关键词: 实时嵌入式软件 / 软件测试 / 脚本技术

    下载(518)| 被引(51)

    基于扩展Petri网的除冰软件安全需求建模和验证  CNKI文献

    Petri网是形式化的系统建模方法,以严格的数学基础来保证系统的正确构建,但在支持复杂软件建模和自动化验证方面存在不足.扩展了Petri网的形式语义,区别定义了状态型和数值型库所,区别定义了变迁的激发和抑制状态,引入...

    李震 刘斌... 《北京航空航天大学学报》 2012年01期 期刊

    关键词: 软件安全性 / 软件工程 / Petri网 / 模型检验

    下载(176)| 被引(8)

    智能移动终端软件自动化测试平台研究  CNKI文献

    分析了智能移动终端软件的自动化测试方法,并提出了一个智能移动终端软件测试平台。详细介绍了该平台的体系结构,并阐述了其关键技术——脚本技术的设计与实现,最后给出了一个移动终端测试的实例。

    殷永峰 刘斌... 《计算机应用研究》 2008年09期 期刊

    关键词: 软件测试 / 自动化测试 / 脚本技术 / 移动终端

    下载(269)| 被引(16)

    实时嵌入式软件测试执行引擎的设计与实现  CNKI文献

    自动化的实时嵌入式软件测试中,测试描述执行系统的设计与实现是需要解决的关键问题之一.基于面向对象的思想,设计和实现了实时嵌入式软件测试描述语言的执行引擎.介绍了测试描述驱动的实时嵌入式软件自动化测试过程,...

    殷永峰 刘斌... 《北京航空航天大学学报》 2010年06期 期刊

    关键词: 实时系统 / 嵌入式软件 / 自动化测试 / 编译器

    下载(320)| 被引(7)

    基于扩展Petri网的安全关键软件需求模型检验  CNKI文献

    Petri网是系统建模的形式化方法,为了解决其在软件需求建模和建立程序语义映射方面存在的不足,提出了一种扩展Petri网的方法来支持软件需求建模,区分了状态型和数值型库所,根据软件特点有针对性地扩展了变迁的可触发条...

    李震 刘斌... 《沈阳工业大学学报》 2011年01期 期刊

    关键词: 武器系统 / 安全关键软件 / 软件可靠性 / 软件安全性

    下载(205)| 被引(7)

    基于MVC模式的嵌入式软件测试开发环境设计  CNKI文献

    嵌入式软件仿真测试开发环境(ESTDE,Embedded Software Testing Development Environment)是嵌入式软件仿真测试平台(ESSTP,Embedded Software Simulation Testing Platform)的重要组成部分,是有效实现嵌入式软件实时...

    殷永峰 王轶辰... 《计算机工程与应用》 2007年07期 期刊

    关键词: 软件体系结构 / 嵌入式软件 / 软件测试 / 模式

    下载(244)| 被引(15)

    基于虚拟机的嵌入式软件仿真测试环境  CNKI文献

    为了提高嵌入式软件的质量和可靠性,提出了一种基于虚拟机的嵌入式软件仿真测试环境.将虚拟机技术引入到嵌入式软件仿真测试领域中,介绍了嵌入式软件仿真测试环境的构成原理,并对虚拟机技术进行了分析,提出一种基于程...

    殷永峰 刘斌... 《沈阳工业大学学报》 2011年04期 期刊

    关键词: 嵌入式软件 / 航电系统 / 软件测试 / 虚拟机

    下载(152)| 被引(5)

    基于程序变异的Simulink模型测试方法  CNKI文献

    为解决当前Simulink模型变异测试中测试执行开销大、测试用例生成效率低等问题,首先根据当前的Simulink模型变异算子集,基于程序变异技术提出了Simulink模型的变异测试过程和一组改进变异算子集.实验表明,在不影响测试...

    周艺斌 殷永峰... 《北京航空航天大学学报》 2015年03期 期刊

    关键词: 软件测试 / 程序变异 / Simulink模型测试 / 测试用例生成

    下载(127)| 被引(1)

    基于划分软件安全Petri网的需求形式化验证  CNKI文献

    为了解决Petri网对复杂软件系统进行形式化验证时在安全性描述、自动化程度和验证效率方面存在的不足,提出一种软件安全Petri网。扩展了库所定义,提出了安全距离及其计算方法,以增强Petri网对软件安全性的描述能力。设...

    李震 刘斌... 《系统工程与电子技术》 2012年09期 期刊

    关键词: 软件工程 / 软件安全性 / Petri网 / 形式化验证

    下载(139)| 被引(1)

    基于场景技术的嵌入式软件测试用例生成方法  CNKI文献

    软件测试自动化是当前软件测试的发展趋势。场景技术的引入可以更有效地进行测试用例的描述,从而有助于实现软件测试自动化,提高测试效率和测试的可维护性、可重复性。从被测系统的文档分析入手,将场景技术运用于测试...

    殷永峰 刘斌... 《计算机工程与设计》 2008年16期 期刊

    关键词: 嵌入式软件 / 软件测试 / 测试用例 / 场景技术

    下载(255)| 被引(5)

    嵌入式软件仿真测试脚本语言的设计与实现  CNKI文献

    软件测试中,脚本技术的引入是实现软件测试自动化技术的有效手段。软件测试脚本化可以减少测试人员的工作量,提高软件测试的可维护性。另外,脚本语言具有较好的移植性,有利于实现跨平台,可提高脚本代码的可重用性和测...

    殷永峰 王轶辰... 《计算机工程与设计》 2006年12期 期刊

    关键词: 嵌入式软件 / 软件测试 / 脚本技术

    下载(259)| 被引(7)

    航电设备软件系统测试过程研究  CNKI文献

    嵌入式软件广泛应用于航空电子设备中 ,对其进行全面的系统测试是提高软件质量的十分有效的途径。首先分析了航电设备软件进行系统测试的特殊性 ,而后针对其特点提出了一种有效的系统测试工程化方法 ,并详细地阐述了方...

    王轶辰 殷永峰... 《测控技术》 2004年08期 期刊

    关键词: 软件系统测试 / 航电设备软件 / 测试用例 / 软件需求规格说明

    下载(199)| 被引(9)

    基于实验的自适应随机测试效率分析  CNKI文献

    自适应随机测试通过自适应算法对随机测试进行加强,从而提高软件失效检测能力.现有研究过多强调了其在F-度量上的优势,而较少考虑输入域的诸多因素对自适应随机测试效率的影响.选取3类典型自适应随机测试算法和随机测...

    殷永峰 肖鹏... 《北京航空航天大学学报》 2014年03期 期刊

    关键词: 软件测试 / 随机测试 / 自适应随机测试 / 失效区域

    下载(122)| 被引(0)

    基于软件完整性级别的软件可靠性度量选取框架  CNKI文献

    选取合适的软件可靠性度量,对于软件质量保证及项目管理有着重要意义。现有的软件可靠性度量选取方法没有考虑软件完整性级别这个重要的设计属性。完整性级别表示软件特性的取值范围,该范围对将系统风险保持在可容忍的...

    李海峰 孟令中... 《计算机科学》 2011年01期 期刊

    关键词: 软件完整性级别 / 软件可靠性度量 / 度量选取框架

    下载(246)| 被引(1)

    学术研究指数分析(近十年)详情>>

    • 发文趋势

    获得支持基金

      同机构合作作者

      其他机构合作作者

      主要合作者关系图

      轻松读懂《孙子兵法》