C2303

所有代码必须能够被追溯到文档化的需求

Category: Required

Decidability: Undecidable

依据

如果项目中的某功能无需满足项目需求，就会产生不必要的路径。软件的开发者或许意识不到多余的功能可能会带来的深远影响。例如，开发者可能会添加一段代码，作用是每次达到程序中的特定点时切换处理器输出引脚的状态。在开发过程中，这段代码可能对于测量时间或触发仿真器或逻辑分析器非常有用。然而，因为软件的要求细则中没有提到关于引脚的问题，看起来引脚好像没有被使用，但实际上它可能已被连接到目标控制器中的一个执行器上。这会带来意想不到的外部影响。

必须依据项目来决定如何让代码追溯到文档化的需求。实现可追溯的一种办法是对照相应的设计文档来审查代码，且对照需求来审查设计文档。

登录查看完整文章