本發(fā)明涉及一種基于形式化規(guī)則的飛行引導(dǎo)控制軟件可靠性分析系統(tǒng),它包括飛行引導(dǎo)控制軟件需求建模模塊、飛行引導(dǎo)控制軟件可靠性分析規(guī)則管理模塊、飛行引導(dǎo)控制軟件可靠性分析規(guī)則形式化描述模塊和基于形式化規(guī)則的飛行引導(dǎo)控制軟件可靠性自動分析模塊,本發(fā)明圍繞需求模型進行自動化遍歷失效模式分析,充分識別需求中尚未明確或考慮的潛在邏輯分支,分析存在的安全隱患。提升軟件可靠性分析工作的效率和質(zhì)量,確保需求質(zhì)量與完整性,保障軟件可靠性水平滿足飛行引導(dǎo)控制系統(tǒng)的研制要求。
聲明:
“基于形式化規(guī)則的飛行引導(dǎo)控制軟件可靠性分析系統(tǒng)與方法” 該技術(shù)專利(論文)所有權(quán)利歸屬于技術(shù)(論文)所有人。僅供學(xué)習(xí)研究,如用于商業(yè)用途,請聯(lián)系該技術(shù)所有人。
我是此專利(論文)的發(fā)明人(作者)