本發(fā)明提供了一種用于對實例模型進(jìn)行約束故障分析的方法和裝置,所述方法包括步驟:為標(biāo)準(zhǔn)模型的約束定義多個模式,所述多個模式包含導(dǎo)航模式和邏輯模式;判斷由實例模型生成的約束評價樹中是否存在空節(jié)點;和如果存在空節(jié)點,則基于導(dǎo)航模式對約束評價樹進(jìn)行故障分析,否則基于邏輯模式對約束評價樹進(jìn)行故障分析。本發(fā)明提供了一種便利的工具,以在模型-約束設(shè)計者和模型用戶之間建立良好的銜接,減輕模型/約束的使用負(fù)擔(dān),簡化學(xué)習(xí)曲線,并幫助模型用戶進(jìn)行模型校正。
聲明:
“基于約束模式進(jìn)行約束故障分析的方法和裝置” 該技術(shù)專利(論文)所有權(quán)利歸屬于技術(shù)(論文)所有人。僅供學(xué)習(xí)研究,如用于商業(yè)用途,請聯(lián)系該技術(shù)所有人。
我是此專利(論文)的發(fā)明人(作者)