一種基于場景的需求驗證方法

摘要：在軟件需求分析工作中，需要檢驗獲取的需求是否同客戶的需求相一致。文章提出一種基于場景的軟件需求驗證方法，給出了基于場景的系統模型檢驗驗證算法，并通過一個實例對其進行了檢驗。該方法運用有限狀態自動機對軟件需求進行建模，以消息序列圖描述作為驗證條件的場景，對獲取的需求的正確性和完備性進行驗證。

關鍵詞：有限狀態自動機；消息序列圖；需求驗證；場景；活動序列