左芸　沈雷　张杨

摘要：高安全性操作系统软件单元测试是对操作系统基本组成进行单元测试。Cantata测试工具提供了基于Eclipse的完整测试开发环境，使用Cantata对操作系统软件进行单元测试，可以自动化搭建测试环境，执行测试，评估测试结果并生成测试报告，能快速完成单元测试，提升操作系统软件质量。

关键词：Cantata；MCDC覆盖；高安全；操作系统

中图分类号：TP309 文献标识码：A 文章编号：1007-9416（2019）01-0202-03

0 引言

高安全领域，如航天、核电、轨道交通、医疗等对电子产品的安全性分析提出了具体的要求，开发高安全性操作系统软件过程中，必须在测试过程中进行单元测试，不仅要求语句、分支达到100%，还要求MCDC覆盖率达到100%。本文对源代码主要使用标准C语言进行开发的高安全性操作系统软件的Cantata单元测试进行了描述。

1 概述

使用Cantata进行高安全性操作系统软件的单元测试，主要包括静态分析、自动化用例生成、用例执行、代码覆盖分析、生成测试报告等。

Cantata的静态分析能够产生多种源代码度量，这些度量值能够辅助用户进行单元测试。Cantata分析被测代码后可以获取被测代码的参数、调用和数据信息，自动生成调用接口控制测试脚本，对于简单的被测代码，用户无需手动编写测试脚本就可以进行单元测试，用户只需在GUI界面中自动生成的测试脚本中设定变量和返回值的期望值后，即可快速运行测试用例。Cantata的测试脚本管理器支持图形化和文本化两种格式去编辑和管理单元测试用例，而且保存为开源的测试脚本，并允许测试人员复用和修改这些测试脚本。……