Skip to main content

C2303

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

Category: Required

Decidability: Undecidable

依据

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

代码追溯到文档化的需求的方式必须由项目决定。实现可追溯的一种方法是对照相应的设计文档来审查代码,而又对照需求来来审查设计文档。

登录查看完整文章