狀態機設計，測試及驗証工具
visualSTATE®是一套用於事件導向之狀態機設計, 測試及驗證的圖形化工具; 適用於任何8, 16,或32位元目標控制器甚至是Windows之應用.有了visualSTATE, 每一發展階段都將變得更加容易.

模型導向設計的好處

• 藉著繪畫物件, 事件及行動等設計一嵌入式應用, 使用強大階層式UML狀態圖及狀態機的觀念.

• 有賴於模組導向設計方法及圖形化設計表示法, 可以與他人討論該設計及交換想法.

• 可模擬及視覺化你的應用以期在設計階段及早發現錯誤.

• 以極為強大的正式驗證器(formal verificator) 驗證你的設計執行中模型的邏輯相容性

• 可針對你的整個發展, 持續及重複地執行延伸性測試:
  狀態機行為的驗證, 反向測試(regression testing)及自動測試有效範圍(test coverage)報告.

• 使用可執行UML及RealLink的力量, 對目標系統上狀態機行為執行及視覺化

• 自動產生100%與設計相容及無錯誤之micro-tight C/C++ 程式碼.

• 發展增量, 重複使用及雛型化.

• 當市場需求改變時, 增加新功能至一現存之應用.

• 有賴於正確, 結構化之文件, 與最後設計同步, 以維護一現存之應用.

系統需求

• 欲安裝及執行此visualSTATE版本, 你必需具有:
  ﹡ 一部具有Microsoft Windows 2000(SP4)或XP(SP2)的PC
  ﹡Internet Explorer 6或更高版本
  ﹡一部Pentium處理器, 至少有256 Mbytes RAM 及200 Mbytes自由磁碟空間

• 欲存取產品訊息及線上輔助, 你必須具有:
  ﹡Microsoft HTML Help 1.4
  ﹡Adobe Acrobat Reader