邢志偉,王偉,陸志肖,宋治惠,胡尊帆
(中國直升機設計研究所 機電軟件專業,天津,300300)
目前,直升機機電管理軟件采用傳統軟件的開發流程,主要包括:軟件需求、概要設計、詳細設計、編碼、單元測試、集成測試以及系統測試,以編碼為開發核心[1]。通常存在以下幾個問題:概要設計和詳細設計階段可能會存在歧義,無法模擬仿真,驗證工作量大且難以評價[2];人工編碼,開發周期較長,易引入人工編寫錯誤,而且軟件后續的維護工作量大;需要進行單元測試,耗時長;測試工作復雜,難以保證驗證充分性。
而使用SCADE作為開發工具,采用基于模型的軟件開發流程如圖1所示,是一個“Y”型開發流程。概要設計與詳細設計階段通過直觀的圖形化建模與仿真,能夠在開發初期階段就發現并解決大量的設計缺陷,并保證與用戶需求的一致性[3]。此外SCADE能夠實現模型的零時間代碼生成,其代碼生成器滿足DO-178C標準質量認證,能夠避免人工錯誤,無需進行單元測試[4]。省去的編碼工作和簡化的測試工作能夠使得軟件的開發周期得到有效縮減,使開發設計人員能夠專注于軟件功能實現與結構優化,能夠在較大程度上實現軟件開發的自動化,也有利于軟件的升級和維護工作。

圖1 基于模型(SCADE)的軟件開發流程
本文探討了基于SCADE的軟件開發方法在機電管理軟件上的應用,并結合了典型模塊-燃油功能模塊,從需求分析、建模、仿真和代碼生成等方面探索了整個基本流程和技術要點,并對代碼進行了度量分析。……