委托单位：珠海欧比特公司

测试类型：鉴定测试

项目概述及背景

SPARC-RTEMS-GCC编译器是开源编译器GCC的一个分支，用来编译SPARC处理器的嵌入式软件。使用该编译器编译时，可对库函数进行调用；该编译器具有中断嵌套和中断过程中支持浮点运算的功能，以及编译连接优化的功能（-O参数）。SPARC-RTEMS-GCC编译器将用于国防军工领域，为验证软件的功能性、可靠性和安全性，珠海欧比特公司按照军方相关单位要求，委托具备资质的检测中心进行鉴定测试。

测试目标

通过确认SPARC-RTEMS-GCC常用库函数的功能、其对中断嵌套及中断过程中对浮点运算的支持、编译连接优化的功能，并进行53个常用库函数测试的语句覆盖率和分支覆盖率统计分析，鉴定SPARC-RTEMS-GCC编译器的功能性、可靠性和安全性。

测试效果

1、53个库函数的功能基本实现；

2、当使用了lecore.S编译的目标代码lecore.o时，级别较高的中断能中断当前的中断服务，而且中断浮点寄存器正确保存并返回；

3、加载优化参数编译时，软件的正常功能基本能实现

4、21个常用数学库函数的语句和分支覆盖率：达到80%以上，目前正在实施其他函数的覆盖率测试。

5、检测中心承担该项目，不仅配合珠海欧比特公司用于国防军工领域重大安全项目，由于测试技术要求较高、测试难度较大、测试时间紧迫历练了检测中心技术团队提升技术能力的步伐和速度。

测试技术：

摸索了开源程序文档缺乏的测试补救方法；

采纳了人工开发测试程序完成脚本与自动化测试工具相结合的测试方法；

探讨了影响语句覆盖率和分支覆盖率达不到设计要求的相关技术要素；

对圈复杂度、基本复杂度和代码行数等进行静态分析，研究相关指标对程序结构和执行的影响，积累了高内聚低偶合原理相关技术数据。

测试工具：McCabe EQ、 Cantata＋＋