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

關(guān)鍵詞：有限狀態(tài)自動(dòng)機(jī)；消息序列圖；需求驗(yàn)證；場景；活動(dòng)序列