本論文係研究一種電腦輔助軟體發展工具，使設計者能運用於從事即時軟體的模擬設
計，以便在其所設計的軟體系統尚未實際編寫程式前，進行效能預估和驗證。俾減少
因初期設計不當導致編寫程式後再重新修改所造成之損失。
這個工具的系統架構是建立在派翠網路和流程陳述的理論基礎上，但因兩者均不具措
述資料的能力，因此我們提出利用屬性文法產生測試資料，以彌補其缺失。
本文除介紹這個工具的設計理論和系統模型外，尚針對即時軟體的特性及效能預估加
以研究，文中並舉例以驗證其製作之可行性。