[发明专利]控制程序的准备方法及其准备设备

说明书

本发明涉及控制程序准备的一种方法及其设备。

在数字式控制设备中，逻辑电路，通常已被理解为电路操作部件与模拟输入之间的联系，是由微计算机软件来实现的。

微计算机软件以机器语言存储在程序存储器之中。这些存储器由非易失存储器即ROM（只读存储器）和诸如EPROM（电可编程序只读存储器）型的易失存储器等等组成。后一类可接受补充写入并可对存储内容进行修改，且可顺序读出并被执行。

关于供常规数字式控制设备之用的微计算机软件准备方法在JP-A-1-1554731（1989）中已透露。这种方法是通过可进行图形数据处理的输入/输出设备提供功能框图等作为软件设计信息，而自动地准备程序以实现目标功能。

以下有关平稳检查所准备的程序诸方法之技术已有透露。

关于用来支持程序测试步骤的技术，在JP-A-2-253443（1990）中已透露了一种方法。该方法中，有一种可自动向检查者索取程序中关于每一模块的测试数据的可执行语句，这种语句在基于设计文件所作的程序自动预处理过程中就纳入了程序之中。

按照上述方法，测试数据的输入可执行语句在程序进行测试时是被显示在一个图象平面上的，因而检查者易于获得用于检查准备程序所必须的数据。但是，检查者可能捕捉不到诸如程序开发者的设计思想（特别是设计框图准备中的设计思想）这种反映在程序准备过程中的信息。由于这种信息反映在程序准备过程之中，因而检查者有可能虽然望着输入可执行语句正在索要输入测试数据，但没有想到必须输入测试数据。这就意味着检查者必须彻底理解开发者所预置的程序结构和功能。但实际中这种要求是很难实现的。

在JP-A-2-216547（1990）中透露了用来自动准备检查项目表的设备。检查项目表描述了程序检查中所必须的检查项目。

该设备包括以下装置：输入装置，用以提供程序设计信息;程序图表编辑装置，用以对程序设计信息进行编辑;存储装置，用以存储由程序图表编辑装置准备的程序图表;以及自动准备检查项目表的装置，该装置检查存储在存储装置中的程序图表控制流并通过抽取控制流条件和包含在控制流中的数据处理而自动准备检查项目表。于是，由于程序检查必要的项目是从程序图表中抽取的，而检查项目表是自动准备的，因而即使在程序设计改变时，检查项目表也可以同时容易地加以改变。然而，从程序图表中抽取检查项目是困难的，因为必须事先考虑到所有可能的情况而构成一个用于抽取检查项目的逻辑。

进而，JP-A-2-220146透露了一个程序自动测试系统，该系统具有自动准备测试数据的功能，以避免因手工准备测试数据而产生的遗漏。程序自动测试系统中所设置的测试数据准备系统由以下步骤构成：存储必要的变量和程序设计信息以执行测试的目标程序;当进行测试时，检索这些变量和程序设计信息;将这些变量加以组合以准备测试方案;根据测试方案从变量和程序设计信息中选择测试数据;最后，向变量赋予所选定的测试方案。但是，进行测试数据的准备时，测试数据准备系统要适用于不同的程序，于是事先必须在数据库中存储象JP-A-2-220146（1990）中图2所示的那样的程序设计信息。

本发明之目的是为了对控制程序的准备提供一种方法，这种方法使得检查者不需要理解目标控制程序的结构和功能就可以完成检查，并可简化程序及检查设备的构成，因而简化了准备设备。

本发明的特点在于按照准备一种控制线路图的步骤来准备控制程序。该控制线路图是相应于目标控制程序主体段的一种控制线路图，其中多个模块是通过应用所提供的信息相互联系的，这就提供了模块检查所必要信息，向控制程序的主体段提供了基于检查信息的相关检查数据准备程序，而控制程序又是根据控制线路图加以准备的，因而也就准备了控制程序。

根据本发明，控制程序是这样来准备的，即使得检查数据准备程序是包含在控制程序的主体段中的，而检查数据是在控制程序检查过程中自动准备的，因而检查者可以只进行程序的检查而不要明白目标程序的结构和功能，也就不需顾及程序开发者在控制程序开发阶段的设计思想。此外，由于控制程序包含有检查数据准备程序，因而控制程序的检查设备得以简化，而且不同控制程序的检查也就成为可能了。

图1是有关本发明的一个实施例的构成图，表示了一个控制程序准备设备的构成。

图2示例说明了图1中存储器15中存储的检查信息。

图3示例说明了图1中显示设备所显示的图象。

图4示例说明了基于图3的图象所显示的设计框图的网表构成。

图5示例说明了根据图4所示网表中的信息所准备的源程序。