基于Tornado的嵌入式软件单元测试

王 泉

（中国航空西安软件测评中心，陕西 西安710068）

0 引 言

随着软件工程化的不断推进和用户对软件质量要求的日趋严格，软件测试作为软件质量保证的关键环节，正受到越来越多的重视。目前国内已产生通过GJB2725A资质认可的军用软件测评实验室，借助各自的测试技术和方法，开展各种级别的测试工作，发现并摒除软件缺陷，提升军用软件质量。

嵌入式软件通常为嵌入式系统中的关键部件，具有实时性强、开发工具昂贵、软硬件联系紧密、CPU种类繁多等特性。嵌入式软件的特性决定了嵌入式软件测试是软件测试的难点和重点，引发了众多测评机构对其进行研究［1－2］。软件单元测试是验证软件正确性的最基本测试类型，但针对嵌入式软件的单元测试，各软件开发单位或测评机构方法各异［3－5］，未形成一种统一规范的测评方法。

本文作者以某计算机系统嵌入式软件测试为原型项目，在以往单元测试方法的基础上，提出了一种基于Tornado开发环境的嵌入式软件单元测试方法。该方法借助Testbed自动测试工具及Tbconfig，基于Tornado编译环境进行动态单元测试，消除了测试环境造成的差异性；采用黑/白盒结合的隔离单元测试技术；使用TbrunReporter辅助工具定制测试报告模板，大幅提高了测试效率。该方法最终作为一种通用且规范性的嵌入式软件单元测试方法在所在测评机构加以推广使用。

1 单元测试基本理论

单元测试作为系统开发过程中要进行的最低级别的测试活动，集中对源代码实现的每一个程序单元进行测试，检查各程序单元是否正确实现了软件详细设计文档规定的功能、性能、接口和其他设计约束要求，发现函数单元可能存在的错误［6］。……