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

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