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

在審

• 申請(qǐng)?zhí)枺?/td>: 202110471479.7
• 申請(qǐng)日: 2021-04-29
• 公開(kāi)（公告）號(hào): CN113590459A
• 公開(kāi)（公告）日: 2021-11-02
• 發(fā)明（設(shè)計(jì)）人: C·格萊迪施;尹智洙;J·佐恩斯;P·格拉澤;T·亨氏;J·馮克勒
• 申請(qǐng)（專利權(quán)）人: 羅伯特·博世有限公司
• 主分類號(hào): G06F11/36
• 分類號(hào): G06F11/36
• 代理公司: 中國(guó)專利代理(香港)有限公司 72001
• 代理人: 杜荔南;陳嵐

用于檢查技術(shù)系統(tǒng)的方法和設(shè)備。用于檢查技術(shù)系統(tǒng)的方法（10），其特征在于如下特征：?借助于對(duì)所述系統(tǒng)的不同變體的仿真（11）來(lái)執(zhí)行測(cè)試（12），?所述測(cè)試（12）關(guān)于對(duì)所述系統(tǒng)的定量要求的滿足量度（13）和所述仿真（11）的誤差量度（14）來(lái)被分析，并且?根據(jù)所述滿足量度（13）和誤差量度（14）來(lái)將所述測(cè)試（12）跨所述變體地歸類（15）為可靠（16）或不可靠（17）。

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

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

背景技術(shù)

在軟件技術(shù)中，在上位概念“基于模型的測(cè)試”（model-based testing，MBT）下概括了使用模型用于測(cè)試活動(dòng)的自動(dòng)化和用于在測(cè)試過(guò)程中生成測(cè)試工件（Testartefakten）。例如，眾所周知的是從描述待測(cè)試系統(tǒng)的額定行為的模型來(lái)生成測(cè)試用例。

尤其是嵌入式系統(tǒng)（embedded systems）依賴于傳感器的合理的輸入信號(hào)，而且又通過(guò)對(duì)各種各樣的執(zhí)行器的輸出信號(hào)來(lái)刺激其周圍環(huán)境。因而，在對(duì)這種系統(tǒng)的驗(yàn)證和之前的研發(fā)階段的過(guò)程中，在調(diào)節(jié)回路中將該系統(tǒng)的模型（model in the loop（回路中的模型），MiL）、軟件（software in the loop（回路中的軟件），SiL）、處理器（processor in the loop（回路中的處理器），PiL）或者整個(gè)硬件（hardware in the loop（回路中的硬件），HiL）與周圍環(huán)境的模型一起進(jìn)行仿真。在車輛技術(shù)中，與該原理相對(duì)應(yīng)的用于檢查電子控制設(shè)備的仿真器視測(cè)試階段和對(duì)象而定有時(shí)被稱作組件、模塊或集成試驗(yàn)臺(tái)。

DE10303489A1公開(kāi)了一種用于測(cè)試車輛、電動(dòng)工具或機(jī)器人系統(tǒng)的控制單元的軟件的方法，其中通過(guò)測(cè)試系統(tǒng)來(lái)至少部分地仿真可由控制單元控制的調(diào)節(jié)對(duì)象，其方式是由控制單元產(chǎn)生輸出信號(hào)并且將該控制單元的這些輸出信號(hào)經(jīng)由第一連接傳輸?shù)降谝挥布K并且將第二硬件模塊的信號(hào)作為輸入信號(hào)經(jīng)由第二連接傳輸?shù)娇刂茊卧渲羞@些輸出信號(hào)在軟件中作為第一控制值來(lái)提供而且附加地經(jīng)由通信接口關(guān)于調(diào)節(jié)對(duì)象實(shí)時(shí)地被傳輸?shù)綔y(cè)試系統(tǒng)。

這樣的仿真在各種技術(shù)領(lǐng)域都得以推廣并且例如用于在電動(dòng)工具中的嵌入式系統(tǒng)、用于驅(qū)動(dòng)、轉(zhuǎn)向和制動(dòng)系統(tǒng)的發(fā)動(dòng)機(jī)控制設(shè)備、攝像機(jī)系統(tǒng)、具有人工智能和機(jī)器學(xué)習(xí)的組件的系統(tǒng)、機(jī)器人系統(tǒng)或自主車輛的早期開(kāi)發(fā)階段檢查它們是否合適。然而，由于缺乏對(duì)它們的可靠性的信心，根據(jù)現(xiàn)有技術(shù)的仿真模型的結(jié)果只是在有限范圍內(nèi)被包含在發(fā)布決策中。

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

本發(fā)明提供了按照獨(dú)立權(quán)利要求所述的一種用于對(duì)技術(shù)系統(tǒng)進(jìn)行檢查的方法、一種相對(duì)應(yīng)的設(shè)備、一種相對(duì)應(yīng)的計(jì)算機(jī)程序以及一種相對(duì)應(yīng)的存儲(chǔ)介質(zhì)。

按照本發(fā)明的方案基于如下認(rèn)識(shí)：仿真模型的質(zhì)量對(duì)于借此能實(shí)現(xiàn)的測(cè)試結(jié)果的正確預(yù)測(cè)來(lái)說(shuō)至關(guān)重要。在MBT領(lǐng)域，生效分類方法涉及將真實(shí)測(cè)量與仿真結(jié)果進(jìn)行比較的任務(wù)。為此，使用不同的度規(guī)（Metrik）、度量值（Ma?zahl）或其它比較器，所述不同的度規(guī)、度量值或其它比較器將信號(hào)彼此關(guān)聯(lián)并且所述不同的度規(guī)、度量值或其它比較器在下文應(yīng)該統(tǒng)稱為信號(hào)度規(guī)（SM）。這樣的信號(hào)度規(guī)的示例是將大小、相移和相關(guān)進(jìn)行比較的度規(guī)。一些信號(hào)度規(guī)通過(guò)有關(guān)標(biāo)準(zhǔn)來(lái)被定義，例如按照ISO 18571來(lái)被定義。

一般而言，不確定性量化技術(shù)支持對(duì)仿真和模型質(zhì)量的估計(jì)。接下來(lái)，在使用信號(hào)度規(guī)的情況下或者更一般地在將不確定性量化方法用于特定輸入（該特定輸入可以是參數(shù)或場(chǎng)景）的情況下對(duì)模型質(zhì)量的評(píng)估結(jié)果被稱作仿真模型-誤差度規(guī)——簡(jiǎn)稱：誤差度規(guī)——。為了對(duì)以前未被考慮的輸入、參數(shù)或場(chǎng)景的的一般化（內(nèi)插和外推），可以使用比如基于所謂的高斯過(guò)程的機(jī)器學(xué)習(xí)模型。