7.3 满足论据
第7.2 节讨论的基本可跟踪性实现，对于很多机构都是一个重要发展步骤。的确，改变机构文化，采用即使是这种简单方法，其本身也可能是一大步。但是，总是还有更多可以做的。
在图7.1 所示的例子中，三个系统需求在一定程度上充分满足了用户需求。但是，由非专家来检验这种断言是困难的，因为没有给出推理。
更好的方法是为每个用户需求提供一个“满足论据”。对于如图7.1 所示的基本可跟踪性，所提供的唯一信息是三个系统需求在满足论据中充当某种角色，但是没有确切地指示论据是什么的东西。
丰富可跟踪性是一种捕获满足论据的方法。这种方法是用户需求和对应的系统需求之间的另一种描述，如图7.3 所示。
不仅满足论据采用文本方式描述，而且还使用逻辑关系操作符描述系统需求合并的方式：
● 与（&）操作符表示用户需求满足论据成立要求有全部系统需求；
● 或（or）操作符表示用户需求满足论据成立要求有任意一个系统需求。
图7.4 给出了一个或的例子，提供电热圈，或燃气圈，或两种圈，都可以满足。请注意论据的两层逻辑关系结构。
现在提供了越来越多的有关被满足的用户需求的信息，即使不是领域专家也能够评估论据的重要方面。文字有助于评估论据逻辑的正确与完整性。操作符使论据结构更准确。
请特别注意，对于图7.2，系统需求集合表示替代解决方案很不清晰，而对于图7.4，这种事实被表达得非常具体。如果不能提供电热圈，则通过燃气圈仍然可以满足需求。
作者最初接触丰富可跟踪性是通过“西海岸铁路现代化”项目，Praxis Critical System公司的一个团队提出了一种需求管理过程和使用了“设计评价”的数据模型。相同的概念也可以在各种类似的方法中找到，其中的满足论据有不同叫法，例如“需求的详细细节”、“可跟踪性基本原理”、“策略”等。
除了低层需求之外，满足论据可能还取决于很多内容。图7.5 给出了一个使用“领域知识” 支持论据的例子。领域知识是关于现实世界的一种事实或假设，本身并不约束解决方案。在这个例子中，领域知识描述是满足论据的基本部分，用斜方框表示。
捕获这种假设很重要，因为现实世界以及关于现实世界所作的假设都在变化。一旦捕获了这种假设，则可以使用导出分析来理解变化着的假设对系统满足其需求能力的影响。
这方面的一个例子是纽约地铁。70 年代发生了一系列事故，原因是错误地假设了列车的刹车距离。虽然最初经过确认，但是经过若干年后列车变重了，刹车距离增加了，原有假设不再有效。虽然信号系统的运行最初是正确的，但是没有进化，变化了的假设意味着从特定时间开始，信号系统不再满足需求。
通过有效的可跟踪性，可以提供记录并跟踪这种假设角色的能力。
非需求信息在满足论据中起作用的另一个例子来自建模活动。满足论据常常通过复杂的建模
活动中导出，其完备的细节过于详细，不能在丰富可跟踪性中捕获。
图7.6给出了来自一个铁路项目的例子，其中的满足论据取决于使用一种叫做VISION工具的复杂时间表建模活动。通过这个建模工具导出了一组假设和子系统需求，并按丰富可跟踪性结构形成文档。这个参考模型采用圆角方框表示。
在这个例子中，需要重新考虑的建模活动显然会对分析产生影响。
丰富可跟踪性当然也可以被用于多层需求或对象。图7.7 给出了三个层次以及层次之间的可跟踪性。
文章来源于领测软件测试网 https://www.ltesting.net/
