高階可跟蹤性滿足論據

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 給出了三個層次以及層次之間的可跟蹤性。

高階可跟蹤性 滿足論據