細(xì)節(jié)視圖。在描述框的第一行中列出與該子程序相關(guān)聯(lián)的函數(shù)名。第一子框IN_MEASUREMENT包含所有通過該子程序讀入的變量的清單，第二子框OUT_MEASUREMENT包含所有通過該子程序?qū)懙淖兞康那鍐?。此外，在圖中沒有示出，但包含在ASAP2文件中的，還有所有變量與相應(yīng)的存儲器地址的對應(yīng)關(guān)系。在一個有利的實施形式中，能從ASAP2文件中讀出的信息構(gòu)成第二分配表ZUORD2的基礎(chǔ)。
[0039]ASAP2文件也可以對于每個所描述的程序函數(shù)包含所有由該函數(shù)出發(fā)調(diào)用的函數(shù)的清單，特別是函數(shù)樹形式的清單。如果這些函數(shù)的至少一部分的地址已經(jīng)被識別，則在所述方法的另一個的實施形式中，所述地址可以被用作識別函數(shù)的另一個判定標(biāo)準(zhǔn)。為此，在臨時分配表TABl中對于每個在程序代碼中發(fā)現(xiàn)的函數(shù)附加地記錄由相應(yīng)的函數(shù)出發(fā)進(jìn)行的調(diào)用連同所屬的函數(shù)地址。在根據(jù)第三方法步驟識別在程序代碼中發(fā)現(xiàn)的函數(shù)之后，在第四方法步驟中，通過與表TAB2的比較給函數(shù)調(diào)用分配函數(shù)名并將結(jié)果存儲在表TAB3中。
[0040]就是說TAB3給所有在程序代碼中識別到的函數(shù)分配一個函數(shù)調(diào)用簽名，在第五方法步驟中可以將這些函數(shù)調(diào)用與ZUORD2中的相應(yīng)函數(shù)描述進(jìn)行比較。在一個有利的實施形式中，使用所述最后一次比較的結(jié)果，以便檢查第三方法步驟中分配結(jié)果的正確性。在另一個有利的實施形式中，使用所述最后一次比較的結(jié)果，以便給不包含變量訪問的程序函數(shù)分配函數(shù)名。在第六方法步驟中，至少將其中一個變量、特別是影響執(zhí)行器行為的變量的第一值用第二值替代。
[0041]ASAP2可以包含其他的對于根據(jù)根據(jù)本發(fā)明的方法不必要的信息，例如如圖中所示，具有通過該子程序說明的校正參數(shù)的清單的子框DEF_CHARACTERISTIC。有利的是，在第一分配表ZUORDl中分開地檢測對變量的寫訪問和讀訪問，而在第二分配表ZUORD2中分開地檢測變量使用的數(shù)據(jù)方向(讀或?qū)懟騃N_MEASUREMENT和OUT_MEASUREMENT)，因為由此在第三方法步驟中提高了出現(xiàn)高度一致性的概率。
【主權(quán)項】
1.一種用于影響控制器(ECU)的控制程序(STP)的方法，所述控制程序具有多個第一函數(shù)(F1A、F1B、F1C、……,FlN)和分配給第一函數(shù)(F1A、F1B、F1C、……,FlN)的子程序，所述第一函數(shù)(F1A、F1B、F1C、……、F1N)中的至少一個第一函數(shù)構(gòu)造成用于控制執(zhí)行器，所述控制器(ECU)具有第一存儲器(SPl)用于存放控制程序(STP)，所述控制程序(STP)作為二進(jìn)制的程序代碼存在，在控制程序(STP)的程序代碼中在其中一個第一函數(shù)(F1A、FIB,FlC,……、F1N)的調(diào)用處存在轉(zhuǎn)移地址并且所述轉(zhuǎn)移地址指向與該函數(shù)調(diào)用相關(guān)聯(lián)的第一函數(shù)的存儲器地址，并且所述第一函數(shù)作為二進(jìn)制的程序代碼的序列存在，在子程序的程序代碼的序列的末尾處存在返回指令連同分配給該返回指令的返回地址，并且所述第一函數(shù)的程序代碼的序列包含第一數(shù)量的變量訪問并給每個變量訪問分配一個存儲器地址，并且給至少一個變量分配名稱和第一值，其特征在于，檢查控制程序(STP)的程序代碼并確定包含在控制程序(STP)的程序代碼中的函數(shù)調(diào)用相關(guān)聯(lián)的轉(zhuǎn)移地址以及確定與相應(yīng)的第一函數(shù)(F1A、F1B、F1C、……、FlN)相關(guān)聯(lián)的變量連同所述變量相應(yīng)的存儲器地址，并將所確定的第一函數(shù)(F1A、F1B、F1C、……、FlN)和與相應(yīng)的第一函數(shù)(F1A、F1B、FIC、……、F1N)相配的變量連同相關(guān)聯(lián)的存儲器地址存儲在第一分配表(ZUORDl)中，并通過第一分配表(ZUORDl)與預(yù)先規(guī)定的第二分配表(ZU0RD2)的比較，給第一函數(shù)(F1A、FIB,FlC,……、F1N)的至少一部分分配函數(shù)名，并用第二值替代其中一個變量的至少一個第一值。2.根據(jù)權(quán)利要求1所述的方法，其特征在于，在檢查控制程序(STP)的程序代碼時，對于相應(yīng)的變量分別確定相配的讀訪問或相配的寫訪問并將其存儲在第一分配表(ZUORDl)中，在比較時，檢查與變量相配的讀訪問和寫訪問的一致性。3.根據(jù)權(quán)利要求1或2所述的方法，其特征在于，在第二分配表(ZU0RD2)中，給第一函數(shù)(F1A、F1B、F1C、……、F1N)的至少一部分分別分配一個函數(shù)名和一定數(shù)量的變量，并且給每個變量分配一個存儲器地址。4.根據(jù)上述權(quán)利要求之一所述的方法，其特征在于，在比較時，對于存儲在第一分配表(ZUORDl)中的第一函數(shù)(F1A、F1B、F1C、……、FlN)，根據(jù)至少在兩個分配表中分別在相應(yīng)第一函數(shù)(F1A、F1B、F1C、……、FlN)下存儲的變量的數(shù)量和地址方面的一致性程度來指派函數(shù)名。5.根據(jù)權(quán)利要求4所述的方法，其特征在于，僅在完全一致時才自動執(zhí)行函數(shù)名的指派。6.根據(jù)權(quán)利要求4所述的方法，其特征在于，在指派函數(shù)名之前，如果在比較時，一致性程度低于閾值，則對于第一分配表(ZUORDl)的一個第一函數(shù)(F1A、F1B、F1C、……、F1N)執(zhí)行手動指派。7.根據(jù)權(quán)利要求4或6所述的方法，其特征在于，只有當(dāng)在比較時一致性程度超過閾值時，才執(zhí)行自動指派，特別是，只有當(dāng)在比較時函數(shù)的一致性程度超過第一閾值并且一致性次佳的函數(shù)的一致性程度低于第二閾值時，才執(zhí)行自動指派。8.根據(jù)權(quán)利要求5或6所述的方法，其特征在于，如果對于所有第一函數(shù)(F1A、F1B、FIC、……、FlN)，一致性程度都沒有等于閾值或超過閾值，通過建模系統(tǒng)(MODSYS)輸出消息。9.根據(jù)權(quán)利要求1所述的方法，其特征在于，通過建模系統(tǒng)(MODSYS)選出一個已經(jīng)分配了函數(shù)名的第一函數(shù)(F1A、F1B、F1C、……、FlN)，并且使所選出的第一函數(shù)(F1A、F1B、F1C、……、F1N)的函數(shù)調(diào)用失效和/或用第二函數(shù)替代該第一函數(shù)(F1A、F1B、F1C、……、FlN) ο10.根據(jù)上述權(quán)利要求之一所述的方法，其特征在于，第二分配文件(ZUORD2)設(shè)計成ASAP2文件的形式。11.根據(jù)權(quán)利要求1所述的方法，其特征在于，對出現(xiàn)函數(shù)調(diào)用檢查控制程序(STP)的程序代碼。12.根據(jù)權(quán)利要求1所述的方法，其特征在于，給一個給定的第一函數(shù)分配所有以下變量，按控制程序(STP)的序列，在調(diào)用所述給定的第一函數(shù)之后，但在執(zhí)行分配給所述給定的第一函數(shù)的返回指令之前，這些變量被訪問。13.根據(jù)權(quán)利要求1所述的方法，其特征在于，給一個給定的第一函數(shù)分配所有以下變量，按控制程序(STP)的序列，在調(diào)用所述給定的第一函數(shù)之后，但在執(zhí)行分配給所述給定的第一函數(shù)的返回指令之前，這些變量被訪問，并且這些變量不是由所述給定的第一函數(shù)的子函數(shù)出發(fā)被訪問。14.根據(jù)權(quán)利要求1所述的方法，其特征在于，將以下變量的第一值用第二值替代，該變量的值影響執(zhí)行器的特性。15.根據(jù)上述權(quán)利要求之一所述的方法，其特征在于，在第二分配表(ZUORD2)中給第一函數(shù)(F1A、F1B、F1C、……、F1N)的至少一部分分配一定數(shù)量的函數(shù)調(diào)用，其中所分配的每個函數(shù)調(diào)用對應(yīng)于一個由相應(yīng)的第一函數(shù)(F1A、F1B、F1C、……、FlN)出發(fā)調(diào)用的子函數(shù)，在檢查控制程序(STP)的程序代碼時，確定由第一函數(shù)出發(fā)對子函數(shù)進(jìn)行的調(diào)用連同所述子函數(shù)各自的函數(shù)地址，并根據(jù)按本發(fā)明的方法給所確定的被調(diào)用的子函數(shù)的至少一部分分配函數(shù)名，存儲所確定的對子函數(shù)的調(diào)用連同分配的函數(shù)名，特別是存儲在第一分配表(ZUORDl)中，并且由與第二分配表(ZU0RD2)中的所分配的函數(shù)名的比較給至少一個另外的第一函數(shù)分配函數(shù)名和/或檢查至少一個已經(jīng)執(zhí)行的函數(shù)名指派是否正確。16.一種用于執(zhí)行根據(jù)權(quán)利要求1至15之一所述的方法的建模系統(tǒng)，所述建模系統(tǒng)與控制器連接，其中建模系統(tǒng)包括顯示單元和影響裝置，所述顯示單元與影響裝置連接。
【專利摘要】本發(fā)明涉及一種影響控制器控制程序的方法，控制程序具有多個第一函數(shù)和相配的子程序，至少一個第一函數(shù)用于控制執(zhí)行器，控制器具有存放控制程序的第一存儲器，控制程序是二進(jìn)制代碼，其中在調(diào)用第一函數(shù)時存在指向相關(guān)第一函數(shù)存儲器地址的轉(zhuǎn)移地址，子程序代碼末尾處有帶有返回地址的返回指令，第一函數(shù)的代碼包含第一數(shù)量的變量訪問并給其分配存儲器地址，給至少一個變量分配名稱和第一值，檢查控制程序代碼并確定所述轉(zhuǎn)移地址以及與第一函數(shù)相關(guān)的變量連同相應(yīng)的存儲器地址，將所確定的第一函數(shù)、變量和存儲器地址存入第一分配表，通過將其與預(yù)定的第二分配表比較，給至少一部分第一函數(shù)分配函數(shù)名，用第二值替代一個變量的至少一個第一值。
【IPC分類】G06F9/44
【公開號】CN104965696
【申請?zhí)枴緾N201510137680
【發(fā)明人】A·羅爾夫斯邁爾, T·胡弗納格爾
【申請人】帝斯貝思數(shù)字信號處理和控制工程有限公司
【公開日】2015年10月7日
【申請日】2015年3月27日
【公告號】EP2924522A1, US20150277408