[發(fā)明專利]用于檢查技術(shù)系統(tǒng)的方法和設(shè)備

在審

• 申請?zhí)枺?/td>: 202110471055.0
• 申請日: 2021-04-29
• 公開（公告）號: CN113590456A
• 公開（公告）日: 2021-11-02
• 發(fā)明（設(shè)計）人: C·格拉迪施;D·塞勒-圖爾;J·孫斯;P·格拉瑟爾;T·赫因茲;尹智洙
• 申請（專利權(quán)）人: 羅伯特·博世有限公司
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 中國專利代理(香港)有限公司 72001
• 代理人: 張濤;劉春元

用于檢查技術(shù)系統(tǒng)的方法（10）和設(shè)備，其特征在于以下特征：借助于對所述系統(tǒng)的仿真（11）來執(zhí)行測試（12），在對所述系統(tǒng)的定量要求的滿足度量（13）和所述仿真（11）的誤差度量（14）方面對所述測試（12）進(jìn)行評估，根據(jù)滿足度量（13）和誤差度量（14）將所述測試（12）歸類（15）為可靠（16）或不可靠（17）。

技術(shù)領(lǐng)域

本發(fā)明涉及一種用于檢查技術(shù)系統(tǒng)的方法。此外，本發(fā)明還涉及一種對應(yīng)的設(shè)備、一種對應(yīng)的計算機(jī)程序以及一種對應(yīng)的存儲介質(zhì)。

背景技術(shù)

在軟件技術(shù)中，用上位概念“基于模型的測試”（model-based testing，MBT）匯總了將模型用于對測試活動自動化并在測試過程中生成測試假象（Testartefakte）的用途。例如，由描述待測試系統(tǒng)的目標(biāo)行為的模型生成測試情況是眾所周知的。

特別是嵌入式系統(tǒng)（embedded systems）依賴于傳感器的確定性輸入信號，并且又通過向極為不同的執(zhí)行器輸出的信號來刺激其環(huán)境。因此，在這種系統(tǒng)的驗證和前期開發(fā)階段的過程中，對該系統(tǒng)的模型（model in the loop，循環(huán)中的模型，MiL）、軟件（softwarein the loop，循環(huán)中的軟件，SiL）、處理器（processor in the loop，循環(huán)中的處理器，PiL）或整個硬件（hardware in the loop，循環(huán)中的硬件，HiL）與環(huán)境模型一起在調(diào)節(jié)回路中進(jìn)行仿真。在車輛技術(shù)中，有時將與該原理相對應(yīng)的用于根據(jù)測試階段和測試對象檢查電子控制設(shè)備的仿真器稱為組件檢查臺、模塊檢查臺或集成檢查臺。

DE10303489A1公開了這種用于測試車輛、電動工具或機(jī)器人系統(tǒng)的控制單元的軟件的方法，其中通過測試系統(tǒng)至少部分地仿真可由所述控制單元控制的受控段，其方式是從所述控制單元產(chǎn)生輸出信號并且將所述控制單元的輸出信號經(jīng)由第一連接傳輸?shù)降谝挥布K，將第二硬件模塊的信號作為輸入信號經(jīng)由第二連接傳輸?shù)剿隹刂茊卧渲兴鲚敵鲂盘栕鳛檐浖械牡谝豢刂浦堤峁┎⑶腋郊拥亟?jīng)由通信接口相對于所述受控段實時地傳輸?shù)剿鰷y試系統(tǒng)。

這種仿真在各種技術(shù)領(lǐng)域中得到廣泛應(yīng)用，并且例如用于檢查電動工具中的嵌入式系統(tǒng)、用于驅(qū)動、轉(zhuǎn)向和制動系統(tǒng)的電機(jī)控制設(shè)備、相機(jī)系統(tǒng)、具有人工智能和機(jī)器學(xué)習(xí)組件的系統(tǒng)、機(jī)器人系統(tǒng)或自主車輛在它們的早期開發(fā)階段中的適用性。然而，由于缺乏對根據(jù)現(xiàn)有技術(shù)的仿真模型結(jié)果的可靠性的信任，根據(jù)現(xiàn)有技術(shù)的仿真模型結(jié)果僅有限地包含在釋放判定中。

發(fā)明內(nèi)容

本發(fā)明提供了根據(jù)獨立權(quán)利要求的用于檢查技術(shù)系統(tǒng)的方法、對應(yīng)的設(shè)備、對應(yīng)的計算機(jī)程序以及對應(yīng)的存儲介質(zhì)。

根據(jù)本發(fā)明的方法基于以下認(rèn)識：仿真模型的品質(zhì)對于可以用所述仿真模型實現(xiàn)的測試結(jié)果的正確可預(yù)測性起決定性作用。在MBT領(lǐng)域，確認(rèn)（Validierung）的子學(xué)科具有將真實測量與仿真結(jié)果進(jìn)行比較的任務(wù)。為此使用各種度量、數(shù)值或其他比較器，它們應(yīng)當(dāng)將信號彼此邏輯關(guān)聯(lián)并且在下文中統(tǒng)稱為信號度量（SM）。這種信號度量的示例是將大小、相移和相關(guān)性進(jìn)行比較的度量。一些信號度量通過相關(guān)標(biāo)準(zhǔn)定義，例如按照ISO 18571。

一般而言，不確定性量化技術(shù)支持對仿真和模型品質(zhì)的估計。使用信號度量或更一般地使用不確定性量化方法針對特定輸入X（所述特定輸入可以是參數(shù)或場景）來評估模型品質(zhì)的結(jié)果在下面稱為仿真模型誤差度量（簡稱：誤差度量）SMerrorX。為了針對先前未考察的輸入、參數(shù)或場景X來一般化（內(nèi)插和外推）SMerrorX，可以使用機(jī)器學(xué)習(xí)模型，例如基于所謂的高斯過程的機(jī)器學(xué)習(xí)模型。