您的位置： 专家智库 > >

沈雷

作品数：6 被引量：8H指数：2
供职机构：中国电子科技集团公司第三十二研究所更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 5篇期刊文章
  • 1篇专利

领域

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

主题

  • 3篇操作系
  • 3篇操作系统
  • 2篇软件测试
  • 2篇国产操作系统
  • 2篇国产化
  • 2篇测试工具
  • 1篇代码
  • 1篇代码覆盖
  • 1篇代码覆盖率
  • 1篇电子产品
  • 1篇应用程序
  • 1篇应用程序开发
  • 1篇软件单元测试
  • 1篇软件开发
  • 1篇输出模块
  • 1篇配置信息
  • 1篇嵌入式
  • 1篇嵌入式软件
  • 1篇子产
  • 1篇自动化

机构

  • 6篇中国电子科技...

作者

  • 6篇沈雷
  • 1篇何建安
  • 1篇王勇
  • 1篇朱辉
  • 1篇封亮
  • 1篇崔红军
  • 1篇李翔

传媒

  • 5篇数字技术与应...

年份

  • 1篇2023
  • 1篇2021
  • 1篇2020
  • 2篇2019
  • 1篇2016
共 6 条 记 录，以下是 1-6
全选 清除 导出
排序方式：
国产操作系统验证平台及建立方法
本发明提供了一种国产操作系统验证平台，包括至少一个功能模块，还包括平台适配模块、运行控制模块和结果输出模块；其中：所述平台适配模块用于编译各功能模块的配置信息，使各功能模块通过平台适配模块与国产操作系统适配连接；所述运行...
崔红军沈雷何建安封亮王勇朱辉
文献传递
国产化平台自主可控测试工具研究设计被引量：3
2019年
国产计算机系统的自主可控评价可从两方面考虑,一是知识产权自主可控;二是运行安全可靠。文章对国产计算机系统的自主可控评估方法开展研究。重点关注软件自主可控度的评价,对软件代码克隆检测、软件演化分析及溯源分析等方法进行分析,给出了软件自主可控测试工具的设计方案。
沈雷左芸解群李翔
关键词：国产化软件测试
基于Cantata的高安全性操作系统软件单元测试被引量：2
2019年
高安全性操作系统软件单元测试是对操作系统基本组成进行单元测试。Cantata测试工具提供了基于Eclipse的完整测试开发环境,使用Cantata对操作系统软件进行单元测试,可以自动化搭建测试环境,执行测试,评估测试结果并生成测试报告,能快速完成单元测试,提升操作系统软件质量。
左芸沈雷张杨
关键词：CANTATA操作系统
基于SCADE高安全软件的模型覆盖测试
2023年
随着SCADE在航空航天、轨道交通、核能电子、轨道交通等安全关键行业的广泛应用,为了保证软件系统的正确性和可靠性,模型覆盖测试成为了一种重要的测试方法。本文将介绍基于SCADE高安全软件的模型覆盖测试技术,探讨它在软件开发测试中的应用,对模型覆盖测试技术进行研究、分析和实践。SCADE[1](Safety Critical Application Development Environment,SCADE)是高安全性的应用程序开发环境,适用于开发嵌入式安全关键系统,它为嵌入式软件提供了一套基于模型的开发方式。基于SCADE高安全软件的模型覆盖测试是一种基于模型的安全关键软件全覆盖测试方法。
虞佳伟沈雷邵锴林娇娇
关键词：安全关键系统嵌入式软件SCADE安全关键软件软件开发应用程序开发
高安全软件代码覆盖率自动化测试工具应用被引量：2
2021年
高安全领域对电子产品的安全性分析提出了具体的要求。作为运行在高安全系统中的软件,必须在测试过程中进行代码覆盖率分析,通常要求MC/DC覆盖率达到100%。本文分析了常用单元测试软件对C语言开发的嵌入式项目进行自动化单元测试的覆盖率情况,通过比较得出单元测试的最优解决方案。
沈雷林娇娇
关键词：代码覆盖率MC/DC自动化测试工具电子产品
基于国产操作系统的开源测试工具整合方案研究被引量：2
2020年
随着国产化工作的推进,国产生态环境日益成熟,运行于国产平台的软件数量不断增加,对测试工具的需求也越来越高。文章对国产计算机系统的开源测试工具进行研究,从静态分析、单元测试、功能测试、性能测试和覆盖测试对工具进行了分类,提出了国产操作系统开源测试工具整合方案。
沈雷杨竣铎
关键词：国产化开源工具软件测试
全选 清除 导出
共1页<1>
聚类工具0