计算机实施的用于生成控制设备程序代码的方法以及相关的消息管理环境的制作方法
【技术领域】
[0001]本发明涉及计算机实施的用于生成控制设备程序代码的方法，其中，控制设备程序代码或中间描述在生成控制设备程序代码时由至少一个第一数据对象利用至少一个第一软件工具来生成，其中第一软件工具在生成控制设备程序代码或中间描述时输出至少一个关于生成过程的消息，并且其中，计算机实施的消息管理环境检测由软件工具输出的消息。此外，本发明也涉及用于管理在生成控制设备程序代码时出现的消息的消息管理环境，其中，控制设备程序代码或中间描述在生成控制设备程序代码时由至少一个第一数据对象利用至少一个第一软件工具来生成，其中，第一软件工具在生成控制设备程序代码或中间描述时输出关于生成过程测至少一个消息。
【背景技术】
[0002]控制设备程序代码的生成如今在工业实践中是极其复杂的过程，其中常常应用许多软件工具。控制设备目前通常理解为为了工业使用而预备的鲁棒的小型计算机，其大多拥有集成I/O接口。在常常配备有实时操作系统的控制设备上执行如下程序，其在最为宽泛的意义上通过I/o接口与要控制的技术过程连接并且以期望的方式影响该过程。所述类型的控制设备例如广泛地使用在汽车领域中。控制设备的发展并且进而控制设备程序的代码的发展如今是汽车生产发展中的重要组成部分。
[0003]用来由数据对象生成控制设备程序代码的软件工具的简单例子是编译器，其将以高级语言形式存在的程序代码编译成在目标控制设备上可执行的控制设备程序代码，也即例如为字代码形式或为机器可执行的机器语言形式。数据对象于是高级语言形式的源代码。
[0004]实践中，控制设备程序代码大部分不再通过易出错地以高级语言手工编程来生成，而是在更抽象的层上对控制设备程序代码的功能进行公式化，例如借助图形建模环境实现，其允许将期望的功能以框图形式反映。在此情况下，数据对象以一个图形控制模型形式存在，或者也以多个图像控制模型形式存在，图像控制模型于是自动地被编译成以高级语言编写的程序代码。所述代码生成可以通过多个抽象中间级进行，在这些抽象中间级中所基于的数据对象以图形控制模型形式被转变为不同的抽象的中间描述。这样通过不同的中间级形成的不可执行的为高级语言形式的控制设备程序代码于是也最终通过合适的编译器编译成可执行的控制设备程序代码。
[0005]如从上述描述中可看到的是，多种软件工具参与所描述的用于生成控制设备程序代码或控制设备程序代码的中间描述的方法(图形模型化环境、代码生成器、编译器、专用代码检查器等)。通常，所有这些软件工具都输出关于生成过程的消息，以便向用户指示涉及生成过程中的特征。这些特征例如在图形模型化环境中可以是对功能块的未连接的端口的指示、未彼此匹配的数据类型的指示、冲突的采样时间的指示等等。编译器可以通过警告和出错消息形式的消息来指示变量未声明或未初始化、循环中不存在中断条件、被零除等等。
[0006]由软件工具输出的消息对于生成过程而言并且对于生成过程的评估而言基本上是值得考虑的并且重要的。这只在如下情况中可看到:在软件开发的不同领域中存在所谓的“零-警告-预设”，即当在得到控制设备程序代码的生成过程中不再有警告被软件工具输出时控制设备程序代码于是才被视为适合。类似的要求以确定的标准编撰成文，例如以MISRA标准来编撰成文，其对于在汽车工业中的控制设备程序代码的生成而言是重要的，而且对于在其他工业领域应用中的安全关键的应用而言越来越重要。
[0007]可能出现的是，软件工具的确定的消息是不可避免的或消息被用户识别为不关键的，以至于消息的出现在控制设备程序代码的质量评估方面并无负面影响。然而在任何其他生成过程中都必须检查软件工具的消息，这与并非无关紧要的工作耗费相联系。
【发明内容】
[0008]本发明的任务因此是，构建计算机实施的用于生成控制设备程序代码的方法，使得在生成过程期间由软件工具输出的消息的评估可以以更为有效的方式执行。
[0009]前面指出的任务在所阐述的计算机实施的方法方面通过使用消息管理环境以如下方式来解决:由消息管理环境针对所检测到的消息检测定性至少为“开放”或“核准”(英文-approved)，并且针对定性为“被核准”的消息由消息管理环境检测定性前提条件。
[0010]在使用消息管理环境的情况下的根据本发明的方法具有如下优点:在生成过程期间输出的消息集中地在消息管理环境中被检测并且集中地受到评价。该评价存储在消息管理环境中并且由此总是又可被调用，使得在消息与该消息的相应的定性之间形成固定链接。术语“定性”在此在专业术语的意义上可理解为:取得定性的消息在任何确定的方面具有决定性的特征，即如下特征，其证明所检测到的特征同样被识别为“开放”或“被核准”并且于是设有相应的定性。
[0011]消息在如下情况下会被定性为“开放”:消息的原因尚不能澄清或例如尚不能最终确定消息不关键。消息在如下情况下会被定性为“被核准”:消息的原因可被识别并且消息总体可以被归入不关键。
[0012]特别重要的是，由消息管理环境针对定性为“被核准”的消息检测至少一个定性前提条件。通常，该方法的用户在形式语言方面通过消息管理环境的接口输入这样的定性前提条件。通过定性前提条件(也自动化地)始终又可以检查消息是否也还可以视为“核准”。由此，可以添加对于控制设备程序代码或控制设备程序代码的中间描述的生成过程重要的信息，其允许评价生成过程。
[0013]出于上述原因，在根据本发明方法的进一步发展中，可能的是并且设计为:所检测到的消息被消息管理环境就该消息是否之前已被检测并且已被定性为“被核准”进行检查，其中，由消息管理环境在已存在定性为“被核准”的情况下检查定性前提条件是否还满足。该方法的扩展方案是特别有利的，因为在任何情况下可以检查并且也检查:是否还始终满足前提条件，这已导致消息已被视为不关键，即检测为“被核准”。一次被检测为“被核准”的消息在消息管理环境中于是不可变地是定性为“被核准”的消息，更确切而言，又始终检查得到核准的决定性的准则是否还始终被满足。
[0014]例如，所使用的图形模型化环境的消息可能在于，在图形模型中使用的变量未初始化，即不具有起始值。尽管如此，当确保在生成过程开始时始终有具有变量的初始化值的文档被读入模型化环境中时可以将所述消息定性为“被核准”。定性前提条件于是可以在于:检查是否存在具有初始化值的文档并且该文档实际是否也包含对不确定的变量的值分配。通过计算机实施的方法于是避免了如下情况被核准的”消息尽管核准的前提条件不再存在还被视为“被核准”。
[0015]对于计算机实施的方法的使用者而言特别有利的进一步发展在于，消息管理环境在定性前提条件满足的情况下抑制定性为“被核准”的消息。可替选地或附加地，在不满足定性前提条件时该消息被消息管理环境作为“未被定性”(英语“unqualified”)输出。所述方法的该扩展只要该方法的用户还未知悉要视为“被核准”的消息就是有帮助的，因为相关的消息还被评价为不关键并且因此不需要重新处理。同样自然有意义的是，由于不满足定性前提条件已丧失将其定性为“被核准”的消息证明为需重新处理。
[0016]在该方法的另一构造中设计为，在重新经历控制设备程序代码的生成时已检测到的和被定性的消息的出现又被消息管理环境预期。这意味着，消息管理环境检测哪个消息在前面的用于生成控制设备程序代码的经历中出现并且被定性，并且在重新经历控制设备程序代码的生成时消息的被预先标记的出现与新检测的消息平衡(abgleicht)。优选地，消息管理系统指示预期的但未重新检测的消息。通过该措施可以检查生成过程是否也实际显示预期的特性。尤其是，也设计为，消息管理环境激活地指示尽管预期但未检测到的消息。
[0017]根据该方法的另一构造设计为，定性前提条件根据第一数据对象的至少一部分来公式化，尤其是被公式化的定性前提条件与数据对象的所述部分链接。在前面所谈及的具有包含变量的初始化值的文档的实例中，于是将对所述文档的链接存储到消息管理环境中，必要时在文档中有位置数据，使得消息管理环境总体上有可能访问定性前提条件所基于的数据。尤其是设计为，消息管理环境在定性前提条件不再满足的情况下显示数据对象的不再满足定性前提条件的部分。这极大地便利于使用该方法的用户检查控制设备程序代码的生成过程。
[0018]在该方法的另一构造中设计为，定性前提条件也已在定性前提条件对于消息管理环境不再能被检查时不被视为满足