摘要:在軟件需求分析工作中,需要檢驗獲取的需求是否同客戶的需求相一致。文章提出一種基于場景的軟件需求驗證方法,給出了基于場景的系統模型檢驗驗證算法,并通過一個實例對其進行了檢驗。該方法運用有限狀態自動機對軟件需求進行建模,以消息序列圖描述作為驗證條件的場景,對獲取的需求的正確性和完備性進行驗證。
關鍵詞:有限狀態自動機;消息序列圖;需求驗證;場景;活動序列
計算機時代2008年11期
1《師道·教研》2024年10期
2《思維與智慧·上半月》2024年11期
3《現代工業經濟和信息化》2024年2期
4《微型小說月報》2024年10期
5《工業微生物》2024年1期
6《雪蓮》2024年9期
7《世界博覽》2024年21期
8《中小企業管理與科技》2024年6期
9《現代食品》2024年4期
10《衛生職業教育》2024年10期
關于參考網