軟體工程中的系統文獻對映研究例項-軟體開發中的假設條件有哪些定義（第二部分）
之前的部落格詳細描述了軟體工程中的系統文獻對映研究方法。這裡接著給出一個我曾經做過的工作作為例子，以更直觀地展示這種研究型別。該研究的背景資訊這裡不再贅述。
這篇部落格主要介紹第一個研究問題的結果，即軟體開發中的假設條件有哪些定義。
下面的表中給出假設條件的定義的分類，並對映到相關的軟體開發活動。其中環境的假設條件包括系統環境（如硬體環境）或者製品環境（如制定特定決策的原理）；一般性的假設條件指對假設條件進行字面解釋（如採用英語字典的定義）。此係統文獻對映研究重述了文獻中對假設條件的定義，但並未改變它們的原意。
| 型別 |
軟體開發活動 |
核心概念 |
定義 |
| 環境的假設條件 |
需求工程、軟體設計、軟體維護和演化 |
不確定性和期望 |
環境的假設條件指制定設計決策的環境（如制定決策的原因）的不確定性以及期望。 |
| 需求工程 |
假設條件 |
環境的假設條件指關於現實世界的規則以及其他系統行為的假設條件。 |
|
| 需求工程 |
不確定的描述性的陳述 |
環境的假設條件指不確定為真但需要在問題域中滿足的描述性的陳述。 |
|
| 需求工程、軟體設計、軟體構造 |
假設條件 |
環境的假設條件指約束環境行為的假設條件。 |
|
| 需求工程、軟體設計 |
不確定的陳述 |
環境的假設條件指關於硬體以及系統外的事物且被接受和認可的陳述。 |
|
| 可信的假設條件 |
需求工程、軟體設計 |
可信的選擇、陳述和意見 |
可信的假設條件指關注系統的行為和屬性的顯式或隱式的選擇、陳述、意見。 |
| 體系結構假設條件 |
需求工程、軟體設計、軟體構造、軟體測試、軟體維護和演化 |
隱式的設計決策及其原理 |
體系結構假設條件指隱式的設計決策及其原理。 |
| 早期的體系結構假設條件 |
需求工程、軟體設計 |
假設條件 |
早期的體系結構假設條件指關於期望的體系結構的初始元素的假設條件（如系統模組）。這些假設條件早於體系結構設計決策的制定。 |
| 一般性的假設條件 |
需求工程 |
不確定的斷言 |
假設條件指對事實的斷言或理所當然認可的事物。 |
| 需求工程、軟體設計、軟體維護和演化 |
不變形 |
假設條件指系統或環境的不可變性。 |
|
| 方面的假設條件 |
需求工程、軟體設計、軟體構造、軟體測試、軟體維護和演化 |
假設條件 |
方面的假設條件指在面向方面的軟體開發中一個方面的環境的假設條件。 |
| 服務的假設條件 |
軟體設計 |
假設條件 |
服務的假設條件指在服務合成中不確定的事物。 |