需求圖

需求圖提供需求及其相互連接以及與其他記錄元素的視覺化。建模規範遵循 SysML v1.6 所定義的規範。

呈現需求很簡單。

語法

需求圖有三種類型的元件：需求、元素和關係。

以下定義每個元件的語法。以角括號表示的文字，例如 <word>，是列舉的關鍵字，選項在表格中詳細說明。user_defined_... 用於預期使用者輸入的任何位置。

關於使用者文字的重要注意事項：所有輸入可以用引號括起來，也可以不括起來。例如，Id: "這裡是一個範例" 和 Id: 這裡是一個範例 都是有效的。但是，使用者必須小心未加引號的輸入。如果偵測到另一個關鍵字，剖析器將會失敗。

需求定義包含需求類型、名稱、ID、文字、風險和驗證方法。語法如下

<type> user_defined_name {
    id: user_defined_id
    text: user_defined text
    risk: <risk>
    verifymethod: <method>
}

類型、風險和方法是 SysML 中定義的列舉。

關鍵字	選項
類型	requirement, functionalRequirement, interfaceRequirement, performanceRequirement, physicalRequirement, designConstraint
風險	Low, Medium, High
驗證方法	Analysis, Inspection, Test, Demonstration

元素定義包含元素名稱、類型和文件參考。這三個都是使用者定義的。元素功能旨在輕量級，但允許將需求連接到其他文件的部分。

element user_defined_name {
    type: user_defined_type
    docref: user_defined_ref
}

關係由來源節點、目的地節點和關係類型組成。

每個都遵循以下定義格式

{name of source} - <type> -> {name of destination}

或

{name of destination} <- <type> - {name of source}

"來源名稱" 和 "目的地名稱" 應該是在其他地方定義的需求或元素節點的名稱。

關係類型可以是 contains、copies、derives、satisfies、verifies、refines 或 traces 其中之一。

每個關係都會在圖表中標示。

此範例使用圖表的所有功能。