沈雷

作品数：5被引量：8H指数：2
导出分析报告
供职机构：中国电子科技集团公司第三十二研究所更多>>
发文主题：国产化软件测试操作系统国产操作系统测试工具更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《数字技术与应用》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于SCADE高安全软件的模型覆盖测试
《数字技术与应用》2023年第12期111-113,共3页虞佳伟 沈雷 邵锴 林娇娇 
随着SCADE在航空航天、轨道交通、核能电子、轨道交通等安全关键行业的广泛应用,为了保证软件系统的正确性和可靠性,模型覆盖测试成为了一种重要的测试方法。本文将介绍基于SCADE高安全软件的模型覆盖测试技术,探讨它在软件开发测试中...
关键词：覆盖测试 安全软件 安全关键系统 嵌入式软件 SCADE 安全关键软件 软件开发 应用程序开发 
高安全软件代码覆盖率自动化测试工具应用被引量：2
《数字技术与应用》2021年第10期13-15,共3页沈雷 林娇娇 
高安全领域对电子产品的安全性分析提出了具体的要求。作为运行在高安全系统中的软件,必须在测试过程中进行代码覆盖率分析,通常要求MC/DC覆盖率达到100%。本文分析了常用单元测试软件对C语言开发的嵌入式项目进行自动化单元测试的覆盖...
关键词：单元测试 代码覆盖率 安全软件 MC/DC 自动化测试工具 安全性分析 电子产品 测试过程 
基于国产操作系统的开源测试工具整合方案研究被引量：2
《数字技术与应用》2020年第8期80-82,共3页沈雷 杨竣铎 
随着国产化工作的推进,国产生态环境日益成熟,运行于国产平台的软件数量不断增加,对测试工具的需求也越来越高。文章对国产计算机系统的开源测试工具进行研究,从静态分析、单元测试、功能测试、性能测试和覆盖测试对工具进行了分类,提...
关键词：国产化 开源工具 软件测试 
国产化平台自主可控测试工具研究设计被引量：3
《数字技术与应用》2019年第2期154-158,共5页沈雷 左芸 解群 李翔 
国产计算机系统的自主可控评价可从两方面考虑,一是知识产权自主可控;二是运行安全可靠。文章对国产计算机系统的自主可控评估方法开展研究。重点关注软件自主可控度的评价,对软件代码克隆检测、软件演化分析及溯源分析等方法进行分析,...
关键词：国产化 自主可控 软件测试 
基于Cantata的高安全性操作系统软件单元测试被引量：2
《数字技术与应用》2019年第1期202-204,共3页左芸 沈雷 张杨 
高安全性操作系统软件单元测试是对操作系统基本组成进行单元测试。Cantata测试工具提供了基于Eclipse的完整测试开发环境,使用Cantata对操作系统软件进行单元测试,可以自动化搭建测试环境,执行测试,评估测试结果并生成测试报告,能快速...
关键词：CANTATA MCDC覆盖 高安全 操作系统 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部