数字技术与应用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.
