[發(fā)明專利]用于軟件的自動化誤差檢測和驗證的方法

有效

• 申請?zhí)枺?/td>: 201110096514.8
• 申請日: 2011-04-18
• 公開（公告）號: CN102262586A
• 公開（公告）日: 2011-11-30
• 發(fā)明（設(shè)計）人: D.巴特;D.V.奧格勒斯比;K.A.施勒格爾;G.馬德爾
• 申請（專利權(quán)）人: 霍尼韋爾國際公司
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 中國專利代理(香港)有限公司 72001
• 代理人: 王岳;蔣駿

1.?一種用于軟件的自動誤差檢測和驗證的方法，該方法包括：?

提供軟件的模型，該模型包括一個或多個模型輸入和一個或多個模型輸出，以及被嵌入模型中的、每個具有相關(guān)區(qū)塊類型的多個區(qū)塊，所述區(qū)塊類型每個都具有多個相關(guān)區(qū)塊級要求；?

通過所有區(qū)塊的計算語義學(xué)從模型輸入向模型輸出拓撲地傳播一定范圍的信號值或變量值及誤差界；?

識別并檢驗用于給定區(qū)塊的每個行為樞紐值以確定以該誤差界來修改或擴展傳播范圍是否將或可能促使信號值落在行為樞紐值的任一側(cè)；以及?

報告將或可能落在行為樞紐值的任一側(cè)的信號值的所有出現(xiàn)。

2.?權(quán)利要求1的方法，其中，從模型輸入拓撲地傳播包括提供輸入值的一個或多個范圍和誤差界。

3.?權(quán)利要求2的方法，其中，使用增加了實現(xiàn)無關(guān)和實現(xiàn)相關(guān)的類型信息的區(qū)間來表達輸入值的誤差界和范圍。