[發(fā)明專利]用于軟件的自動化誤差檢測和驗證的方法有效
| 申請?zhí)枺?/td> | 201110096514.8 | 申請日： | 2011-04-18 |
| 公開（公告）號： | CN102262586A | 公開（公告）日： | 2011-11-30 |
| 發(fā)明（設計）人： | D.巴特;D.V.奧格勒斯比;K.A.施勒格爾;G.馬德爾 | 申請（專利權）人： | 霍尼韋爾國際公司 |
| 主分類號： | G06F11/36 | 分類號： | G06F11/36 |
| 代理公司： | 中國專利代理(香港)有限公司 72001 | 代理人： | 王岳;蔣駿 |
| 地址： | 美國新*** | 國省代碼： | 美國;US |
| 權利要求書： | 查看更多 | 說明書： | 查看更多 |
| 摘要： | |||
| 搜索關鍵詞： | 用于 軟件 自動化 誤差 檢測 驗證 方法 | ||
【權利要求書】：
1.?一種用于軟件的自動誤差檢測和驗證的方法，該方法包括：?
提供軟件的模型，該模型包括一個或多個模型輸入和一個或多個模型輸出，以及被嵌入模型中的、每個具有相關區(qū)塊類型的多個區(qū)塊，所述區(qū)塊類型每個都具有多個相關區(qū)塊級要求；?
通過所有區(qū)塊的計算語義學從模型輸入向模型輸出拓撲地傳播一定范圍的信號值或變量值及誤差界；?
識別并檢驗用于給定區(qū)塊的每個行為樞紐值以確定以該誤差界來修改或擴展傳播范圍是否將或可能促使信號值落在行為樞紐值的任一側；以及?
報告將或可能落在行為樞紐值的任一側的信號值的所有出現(xiàn)。
2.?權利要求1的方法，其中，從模型輸入拓撲地傳播包括提供輸入值的一個或多個范圍和誤差界。
3.?權利要求2的方法，其中，使用增加了實現(xiàn)無關和實現(xiàn)相關的類型信息的區(qū)間來表達輸入值的誤差界和范圍。
下載完整專利技術內(nèi)容需要扣除積分，VIP會員可以免費下載。
該專利技術資料僅供研究查看技術是否侵權等信息，商用須獲得專利權人授權。該專利全部權利屬于霍尼韋爾國際公司，未經(jīng)霍尼韋爾國際公司許可，擅自商用是侵權行為。如果您想購買此專利、獲得商業(yè)授權和技術合作，請聯(lián)系【客服】
本文鏈接：http://www.szxzyx.cn/pat/books/201110096514.8/1.html，轉(zhuǎn)載請聲明來源鉆瓜專利網(wǎng)。
