在需求實例化中，"Given-When-Then"是一種常用的技術(shù)，用于描述一個系統(tǒng)的功能或特性。它的格式是：

Given [某些前置條件]

When [某些事件發(fā)生]

Then [期望的結(jié)果]

下面是一個示例：

Given 用戶已經(jīng)登錄到系統(tǒng)

When 用戶點擊“注銷”按鈕

Then 系統(tǒng)應(yīng)該退出登錄，并顯示登錄頁面

這個示例中，"Given"描述了一個前置條件，即用戶已經(jīng)登錄到系統(tǒng)。"When"描述了一個事件，即用戶點擊“注銷”按鈕。"Then"描述了期望的結(jié)果，即系統(tǒng)應(yīng)該退出登錄，并顯示登錄頁面。

在編寫"Given-When-Then"語句時，需要注意以下幾點：

1. "Given"部分應(yīng)該描述系統(tǒng)的狀態(tài)或某些前置條件，以便清楚地表達(dá)場景和期望的結(jié)果。

2. "When"部分應(yīng)該描述一個事件或操作，以觸發(fā)系統(tǒng)的行為。

3. "Then"部分應(yīng)該描述期望的結(jié)果或系統(tǒng)應(yīng)該如何響應(yīng)。

4. 每個"Given-When-Then"語句應(yīng)該是獨(dú)立的，并且應(yīng)該描述一個特定的功能或特性。

5. 需要確保每個"Given-When-Then"語句都能夠被驗證和測試。

在編寫"Given-When-Then"語句時，需要注意語言的簡潔性和可讀性。使用清晰的語言和簡潔的句子可以使需求更加容易理解和實現(xiàn)。