细节视图。在描述框的第一行中列出与该子程序相关联的函数名。第一子框IN_MEASUREMENT包含所有通过该子程序读入的变量的清单，第二子框OUT_MEASUREMENT包含所有通过该子程序写的变量的清单。此外，在图中没有示出，但包含在ASAP2文件中的，还有所有变量与相应的存储器地址的对应关系。在一个有利的实施形式中，能从ASAP2文件中读出的信息构成第二分配表ZUORD2的基础。
[0039]ASAP2文件也可以对于每个所描述的程序函数包含所有由该函数出发调用的函数的清单，特别是函数树形式的清单。如果这些函数的至少一部分的地址已经被识别，则在所述方法的另一个的实施形式中，所述地址可以被用作识别函数的另一个判定标准。为此，在临时分配表TABl中对于每个在程序代码中发现的函数附加地记录由相应的函数出发进行的调用连同所属的函数地址。在根据第三方法步骤识别在程序代码中发现的函数之后，在第四方法步骤中，通过与表TAB2的比较给函数调用分配函数名并将结果存储在表TAB3中。
[0040]就是说TAB3给所有在程序代码中识别到的函数分配一个函数调用签名，在第五方法步骤中可以将这些函数调用与ZUORD2中的相应函数描述进行比较。在一个有利的实施形式中，使用所述最后一次比较的结果，以便检查第三方法步骤中分配结果的正确性。在另一个有利的实施形式中，使用所述最后一次比较的结果，以便给不包含变量访问的程序函数分配函数名。在第六方法步骤中，至少将其中一个变量、特别是影响执行器行为的变量的第一值用第二值替代。
[0041]ASAP2可以包含其他的对于根据根据本发明的方法不必要的信息，例如如图中所示，具有通过该子程序说明的校正参数的清单的子框DEF_CHARACTERISTIC。有利的是，在第一分配表ZUORDl中分开地检测对变量的写访问和读访问，而在第二分配表ZUORD2中分开地检测变量使用的数据方向(读或写或IN_MEASUREMENT和OUT_MEASUREMENT)，因为由此在第三方法步骤中提高了出现高度一致性的概率。
【主权项】
1.一种用于影响控制器(ECU)的控制程序(STP)的方法，所述控制程序具有多个第一函数(F1A、F1B、F1C、……,FlN)和分配给第一函数(F1A、F1B、F1C、……,FlN)的子程序，所述第一函数(F1A、F1B、F1C、……、F1N)中的至少一个第一函数构造成用于控制执行器，所述控制器(ECU)具有第一存储器(SPl)用于存放控制程序(STP)，所述控制程序(STP)作为二进制的程序代码存在，在控制程序(STP)的程序代码中在其中一个第一函数(F1A、FIB,FlC,……、F1N)的调用处存在转移地址并且所述转移地址指向与该函数调用相关联的第一函数的存储器地址，并且所述第一函数作为二进制的程序代码的序列存在，在子程序的程序代码的序列的末尾处存在返回指令连同分配给该返回指令的返回地址，并且所述第一函数的程序代码的序列包含第一数量的变量访问并给每个变量访问分配一个存储器地址，并且给至少一个变量分配名称和第一值，其特征在于，检查控制程序(STP)的程序代码并确定包含在控制程序(STP)的程序代码中的函数调用相关联的转移地址以及确定与相应的第一函数(F1A、F1B、F1C、……、FlN)相关联的变量连同所述变量相应的存储器地址，并将所确定的第一函数(F1A、F1B、F1C、……、FlN)和与相应的第一函数(F1A、F1B、FIC、……、F1N)相配的变量连同相关联的存储器地址存储在第一分配表(ZUORDl)中，并通过第一分配表(ZUORDl)与预先规定的第二分配表(ZU0RD2)的比较，给第一函数(F1A、FIB,FlC,……、F1N)的至少一部分分配函数名，并用第二值替代其中一个变量的至少一个第一值。2.根据权利要求1所述的方法，其特征在于，在检查控制程序(STP)的程序代码时，对于相应的变量分别确定相配的读访问或相配的写访问并将其存储在第一分配表(ZUORDl)中，在比较时，检查与变量相配的读访问和写访问的一致性。3.根据权利要求1或2所述的方法，其特征在于，在第二分配表(ZU0RD2)中，给第一函数(F1A、F1B、F1C、……、F1N)的至少一部分分别分配一个函数名和一定数量的变量，并且给每个变量分配一个存储器地址。4.根据上述权利要求之一所述的方法，其特征在于，在比较时，对于存储在第一分配表(ZUORDl)中的第一函数(F1A、F1B、F1C、……、FlN)，根据至少在两个分配表中分别在相应第一函数(F1A、F1B、F1C、……、FlN)下存储的变量的数量和地址方面的一致性程度来指派函数名。5.根据权利要求4所述的方法，其特征在于，仅在完全一致时才自动执行函数名的指派。6.根据权利要求4所述的方法，其特征在于，在指派函数名之前，如果在比较时，一致性程度低于阈值，则对于第一分配表(ZUORDl)的一个第一函数(F1A、F1B、F1C、……、F1N)执行手动指派。7.根据权利要求4或6所述的方法，其特征在于，只有当在比较时一致性程度超过阈值时，才执行自动指派，特别是，只有当在比较时函数的一致性程度超过第一阈值并且一致性次佳的函数的一致性程度低于第二阈值时，才执行自动指派。8.根据权利要求5或6所述的方法，其特征在于，如果对于所有第一函数(F1A、F1B、FIC、……、FlN)，一致性程度都没有等于阈值或超过阈值，通过建模系统(MODSYS)输出消息。9.根据权利要求1所述的方法，其特征在于，通过建模系统(MODSYS)选出一个已经分配了函数名的第一函数(F1A、F1B、F1C、……、FlN)，并且使所选出的第一函数(F1A、F1B、F1C、……、F1N)的函数调用失效和/或用第二函数替代该第一函数(F1A、F1B、F1C、……、FlN) ο10.根据上述权利要求之一所述的方法，其特征在于，第二分配文件(ZUORD2)设计成ASAP2文件的形式。11.根据权利要求1所述的方法，其特征在于，对出现函数调用检查控制程序(STP)的程序代码。12.根据权利要求1所述的方法，其特征在于，给一个给定的第一函数分配所有以下变量，按控制程序(STP)的序列，在调用所述给定的第一函数之后，但在执行分配给所述给定的第一函数的返回指令之前，这些变量被访问。13.根据权利要求1所述的方法，其特征在于，给一个给定的第一函数分配所有以下变量，按控制程序(STP)的序列，在调用所述给定的第一函数之后，但在执行分配给所述给定的第一函数的返回指令之前，这些变量被访问，并且这些变量不是由所述给定的第一函数的子函数出发被访问。14.根据权利要求1所述的方法，其特征在于，将以下变量的第一值用第二值替代，该变量的值影响执行器的特性。15.根据上述权利要求之一所述的方法，其特征在于，在第二分配表(ZUORD2)中给第一函数(F1A、F1B、F1C、……、F1N)的至少一部分分配一定数量的函数调用，其中所分配的每个函数调用对应于一个由相应的第一函数(F1A、F1B、F1C、……、FlN)出发调用的子函数，在检查控制程序(STP)的程序代码时，确定由第一函数出发对子函数进行的调用连同所述子函数各自的函数地址，并根据按本发明的方法给所确定的被调用的子函数的至少一部分分配函数名，存储所确定的对子函数的调用连同分配的函数名，特别是存储在第一分配表(ZUORDl)中，并且由与第二分配表(ZU0RD2)中的所分配的函数名的比较给至少一个另外的第一函数分配函数名和/或检查至少一个已经执行的函数名指派是否正确。16.一种用于执行根据权利要求1至15之一所述的方法的建模系统，所述建模系统与控制器连接，其中建模系统包括显示单元和影响装置，所述显示单元与影响装置连接。
【专利摘要】本发明涉及一种影响控制器控制程序的方法，控制程序具有多个第一函数和相配的子程序，至少一个第一函数用于控制执行器，控制器具有存放控制程序的第一存储器，控制程序是二进制代码，其中在调用第一函数时存在指向相关第一函数存储器地址的转移地址，子程序代码末尾处有带有返回地址的返回指令，第一函数的代码包含第一数量的变量访问并给其分配存储器地址，给至少一个变量分配名称和第一值，检查控制程序代码并确定所述转移地址以及与第一函数相关的变量连同相应的存储器地址，将所确定的第一函数、变量和存储器地址存入第一分配表，通过将其与预定的第二分配表比较，给至少一部分第一函数分配函数名，用第二值替代一个变量的至少一个第一值。
【IPC分类】G06F9/44
【公开号】CN104965696
【申请号】CN201510137680
【发明人】A·罗尔夫斯迈尔, T·胡弗纳格尔
【申请人】帝斯贝思数字信号处理和控制工程有限公司
【公开日】2015年10月7日
【申请日】2015年3月27日
【公告号】EP2924522A1, US20150277408