| 注册
首页|期刊导航|数字技术与应用|基于Cantata的高安全性操作系统软件单元测试

基于Cantata的高安全性操作系统软件单元测试

左芸 沈雷 张杨

数字技术与应用2019,Vol.37Issue(1):202-204,3.
数字技术与应用2019,Vol.37Issue(1):202-204,3.DOI:10.19695/j.cnki.cn12-1369.2019.01.104

基于Cantata的高安全性操作系统软件单元测试

Software Unit Test of High Security Operating Syste Based on Cantata

左芸 1沈雷 1张杨1

作者信息

  • 1. 中国电子科技集团公司第三十二研究所,上海 201808
  • 折叠

摘要

关键词

Cantata/MCDC覆盖/高安全/操作系统

分类

信息技术与安全科学

引用本文复制引用

左芸,沈雷,张杨..基于Cantata的高安全性操作系统软件单元测试[J].数字技术与应用,2019,37(1):202-204,3.

数字技术与应用

1007-9416

访问量0
|
下载量0
段落导航相关论文