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