形式化需求說明技術_第1頁
形式化需求說明技術_第2頁
形式化需求說明技術_第3頁
形式化需求說明技術_第4頁
形式化需求說明技術_第5頁
已閱讀5頁，還剩15頁未讀， 繼續免費閱讀

下載本文檔

版權說明：本文檔由用戶提供并上傳，收益歸屬內容提供方，若內容存在侵權，請進行舉報或認領

文檔簡介

1、矛盾二義性含糊性不完整性抽象層次混亂能夠簡潔、精確地描述需求可以在不同的軟件工程活動之間平滑過渡利于證明軟件（包括中間產品）的正確性應當選用適當的表示方法。但不要過分和盲目依賴形式化。正確認識形式化、半形式化和非形式化之間的關系，不應該放棄傳統的開發方法。應該估算形式化方法對軟件成本的影響。應該有形式化方法顧問隨時提供咨詢。建立詳盡的文檔。不應該放棄質量標準。測試仍然非常重要。應該重視重用。BA報警保險箱鎖定保險箱解鎖初始態1L2L3R轉盤的任何其它轉動終態轉盤的任何其它轉動轉盤的任何其它轉動保險箱鎖定AB1LA報警報警1R報警報警報警2L報警報警保險箱解鎖2R報警報警報警3L報警報警報警3R

2、報警B報警n可以把有窮狀態機表示為一個五元組J,K,T,S,F)n狀態集J:鎖定,A,B,解鎖,報警,有窮非空狀態集n輸入集K:1L,1R,2L,2R,3L,3R,有窮非空輸入集n轉換函數T是一個從(J-F) K到J的轉換函數n初態集SJ,是一個初始狀態:保險箱鎖定n終態集FJ:解鎖,報警f (State A, Event) State Sf (State A, Event 1, Event 2, ,Event N) State Sf (State A, Event 1, Event 2, ,Event N) State1, State2,State M n帶有標記的nP =p1,p2,pn nT =t1,t2,tm nI:TP為輸入函數,是由轉換到位置無序單元組的映射n

溫馨提示

  • 1. 本站所有資源如無特殊說明，都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等，如果需要附件，請聯系上傳者。文件的所有權益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙，網頁內容里面會有圖紙預覽，若沒有圖紙預覽就沒有圖紙。
  • 4. 未經權益所有人同意不得將文件中的內容挪作商業或盈利用途。
  • 5. 人人文庫網僅提供信息存儲空間，僅對用戶上傳內容的表現方式做保護處理，對用戶上傳分享的文檔內容本身不做任何修改或編輯，并不能對任何下載內容負責。
  • 6. 下載文件中如有侵權或不適當內容，請與我們聯系，我們立即糾正。
  • 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

評論

0/150

提交評論