[发明专利]用于图形编程中的相关性工具

说明书

技术领域

本发明涉及用于用在图形编程或类似应用(如数据流程图)中的工具。

背景技术

图形编程是一种主要使用图形工具，而不是主要(或全部)使用基于文本的工具来开发计算机程序的方法。基于文本的编程通常需要相当多的经验：增加使用图形编程使得具有中等经验的用户更容易生成有用的计算机代码。

与使程序员更容易形成计算机代码一样，图形程序能够使终端用户(特别是具有低至中等编程经验的终端用户)更容易参与其中。这主要是因为图形表示通常是更加用户友好的且直观的。

图形程序使得用户能够查看程序并以与基于文本的代码相比较多数用户更容易进行交互的方式来跟踪(follow)信号至代码的流动。这使得多数用户更容易检测编码问题，如布线错误(mis-wiring)或冗余码。

图形编程有助于生成安全关键软件。这里的问题是计算机代码的不同部分之间的分离。在像IEC 61508的安全标准中要求功能之间具有明确的分离并且能够显现代码独立性。在代码是图形而不是基于文本的时，有时可以更容易发现两种明显不同的软件模块之间的相互依赖性或相关性。然而，需要用于确定互相关性存在的更系统方法。

本发明试图解决上述问题中的至少一些。

发明内容

本发明提供一种指示图形程序或数据流程图中的相关性(dependency)的方法，该方法包括下述步骤：确定图形程序或数据流程图中被选定节点影响的节点；确定影响选定节点的节点；以及通过指示被选定节点影响的节点和/或影响选定节点的节点，显示与选定节点相关的相关性数据。

本发明提供一种设备(例如，在工具处)，适于：确定图形程序或数据流程图中被选定节点影响的节点；确定影响选定节点的节点；以及通过指示被选定节点影响的节点和/或影响选定节点的节点，显示与选定节点相关的相关性数据。

本发明还提供了一种计算机程序，包括：用于确定图形程序或数据流程图中被选定节点影响的节点的代码(或一些其它手段)；用于确定影响选定节点的节点的代码(或一些其它手段)；和用于通过指示被选定节点影响的节点和/或影响选定节点的节点来显示与选定节点相关的相关性数据的代码(或一些其它手段)。计算机程序可以是计算机程序产品，该计算机程序产品包括计算机可读介质，该计算机可读介质承载嵌入其中的、用于计算机的计算机程序代码。

因此，本发明提供了一种工具，其中可以选择图形程序或数据流程图中的信号或节点。该图形程序或数据流程图可以被显示成表明被选定节点影响的节点、影响选定节点的节点、或二者。用户可以在图形程序或数据流程图中导航，以发现哪里存在以某种方式依赖于该选择的信号、节点或模块。在本发明的一种示例性用途中，用户可以表明一程序的安全关键功能和非安全关键功能彼此独立。

在本申请的上下中，如果涉及图形程序、数据流程图中或节点之间的相关性，这通常涉及关于由某个节点从另一个节点接收和/或由某个节点发送至另一个节点(直接地或通过数个“中间节点”进行接收和/或发送)的数据的相关性。换句话说，如果一(第一)节点影响另一个(第二、第三、第四等等，其中接下来为简要起见仅使用“第二”)节点，则这通常意味着影响第二节点的第一节点将一些数据传递至第二节点(其中编号“第一”，“第二”等等的含义不是暗示任何层级等，而是仅仅意图用于区分相应的节点)。因此，如果一个(第一)节点被另一个(第二)节点影响，这通常意味着第一节点将从第二节点获得数据。该数据本质上可以属于任何类型的(包括多个数据字和/或不同类型的数据)。例如且非限制性地，该数据可以是测量值、任何类型的变量、用户输入、(指示)命令、(二进制)标志等。具体地且不受任何限制地，“相关性数据”可以是确定是否存在相关性的标志(二进制标志)。然而，还可以使用‘加权标志’(其中权重可以由数值表示)，用于指示相关节点之间的差异、由相关性关系水平量化的差异、以及量化关系相关性的强度的差异。作为示例，这种值可以表示两个节点是否直接彼此依赖(例如，通过直接数据线)，或者一个或者甚至更多个节点是否位于其间(其中所分配的数值可以根据其间节点的数量变化)。此外，能够使用数值确定是否仅与一个相邻节点存在相关性，或与相邻节点中的多个(两个或者甚至更多个)存在相关性。相应的值可以是单个数值。然而，可以使用两个或者甚至更多个值。具体地，数值可以表示两个节点是否经由“上游”或“下游”相关性(这里，具体地，可以使用由正数和/或负数进行表示)彼此依赖。

确定被选定节点影响的节点的步骤可以包括：确定输入端连接至选定节点的受影响部件，以及确定输入端连接至一个或多个受影响部件的部件。