本發明公開了一種基于Altarica形式化語言的軟件FMEA分析方法,包括以下步驟:步驟1:識別待分析軟件數據流并畫出數據流圖;步驟2:針對待分析軟件建立基本軟件模型;步驟3:定義待分析軟件失效,并使用步驟2中建立的基本軟件模型的各個狀態來描述待分析軟件的失效;步驟4:搜索所有滿足待分析軟件的失效定義的狀態傳輸路徑,每條傳輸路徑為一個失效模式;步驟5:分析各個滿足待分析軟件失效定義的狀態傳輸路徑,并填寫FMEA表格。本發明軟件功能單元模型化,使用形式化工具執行分析,減小工作量;軟件功能單元模型化,達到模型復用。針對不同的軟件功能單元,總結歸納驗證屬性,達到知識的積累和共享。
聲明:
“基于Altarica形式化語言的軟件FMEA分析方法” 該技術專利(論文)所有權利歸屬于技術(論文)所有人。僅供學習研究,如用于商業用途,請聯系該技術所有人。
我是此專利(論文)的發明人(作者)