60、提升嵌入式软件质量：静态检查、同行评审、测试与问题跟踪

提升嵌入式软件质量：静态检查、同行评审、测试与问题跟踪

在嵌入式软件开发中，确保软件质量是至关重要的。本文将介绍静态检查、同行评审、测试以及问题跟踪等关键环节，帮助开发者有效减少软件缺陷，提升软件质量。

静态检查与编译器警告

静态检查器在源代码中发现可疑之处时会产生警告。每个程序都应通过优秀的静态检查器来查找并解决潜在的漏洞。程序应无警告地编译，以确保没有潜在的漏洞被遗漏。

编译器警告的作用

编译器在遇到不喜欢的源代码时会产生警告和错误两种消息。错误是由源代码中的缺陷导致的，使得程序无法编译，必须修复才能运行。而警告则是编译器认为有问题，但不影响生成可执行程序的情况。

以下是一些常见的编译器警告示例：
- 未初始化变量 ：

int X, MyVar;
X = MyVar;   // MyVar doesn't have an initial value

这里变量 MyVar 没有被赋予初始值，所以赋给 X 的值是未定义的。这种警告通常表明存在漏洞。
- 可疑的语言使用 ：

if (x = y) { ... do this...    }

在 C 语言中，这是一个经典的错误。 x=y 在赋值语句中的含义是将 y