JP4556807B2 - Program verification device - Google Patents

Description

  The present invention relates to a program verification apparatus that compares a plurality of programs and compares the differences. The program to be verified in the present invention is a ladder program applied to a programmable logic controller (hereinafter referred to as PLC).

  FIG. 3 is a functional block diagram showing a configuration example of a conventional program verification apparatus. Reference numeral 1 denotes a PLC that controls a field device (not shown), and reference numeral 11 denotes a file of a program A that is operating in this PLC.

  This program A is downloaded by being engineered in advance by the host device. However, when online maintenance is executed by the user 2, the contents at the time of downloading change.

  3 is a communication bus to which the PLC 1 is connected. Reference numeral 4 denotes a host device that communicates with the PLC 1 via the communication bus 3 and has a function of comparing and editing the difference between programs. In the host device 4, reference numeral 41 denotes a file of the operating program A that is acquired from the PLC 1 via the communication bus 3 and copied. Reference numeral 42 denotes program generation means. Reference numerals 43 and 44 denote files of the program A ′ and the program A ″ generated by the user by the program generation means.

  Hereinafter, a configuration related to difference matching and editing will be described. Reference numeral 45 denotes a difference extraction means, which compares the comparison target programs A, A ′, A ″ and extracts any difference, and passes the difference data (mnemonic) to the difference data display means 46 for display. Let

  The editor 5 uses the display data relating to the difference as information, calls and displays the program to be changed (any one of A, A ′, and A ″) by the editing means 47, searches the changed portion, and then the ladder program. After the confirmation, the editor 5 edits the contents of the difference as necessary, combines the edited result with the comparison partner program, and saves it by the saving means 49, and executes merge.

  FIG. 4 is an image diagram showing a merge execution procedure. The programs A and A ′ of the files 41 and 43 are compared, and difference data is extracted and displayed mnemonically on the difference display means 46. The merge is executed by editing the difference data and the display screen of the program A by the program display means 48 and storing the result on the program A ′ side.

  Patent Document 1 describes a program input support method that can be effectively applied to programming of a programmable logic controller, particularly to a ladder creation tool.

JP 2004-259084 A

The conventional program verification device has the following problems.
(1) Although the difference of the program is mnemonic by the difference data display means, the program cannot be imaged because it is not expressed by the actual ladder program.

(2) When the program is called up and displayed, the editor must determine the difference location and the ladder position, and the operation is complicated.

(3) In order to reflect the difference data in the actual ladder program, it is necessary to understand the displayed mnemonic and replace it with a ladder, and the operation is complicated.

(4) When the number of difference merges increases, the difference result and the actual merge target part are different and cannot be known, which causes a merge operation error.

(5) As described above, even if the difference is found in the function of the conventional difference data display means, performing the difference merging has a great influence on the processing time and quality.

  Therefore, the problem to be solved by the present invention is to realize a program verification apparatus capable of simultaneously grasping a description line of a program having a difference and all lines other than the difference line when performing differential verification of a plurality of programs.

In order to achieve such an object, the configuration of the present invention is as follows.
(1) In a program verification apparatus that compares a plurality of programs and compares the differences,
A difference line that is a line with a difference between programs to be compared and a matching unit that displays all lines other than the difference line on the same screen;
The collating device according to claim 1, wherein the collating means identifies and displays the differential lines, and sequentially jumps and displays a plurality of differential lines .

( 2 ) The program verification apparatus according to (1), further comprising an editing unit that edits the difference line.

( 3 ) The program verification apparatus according to (1) or (2), further comprising a merging unit that synthesizes the difference line with a difference line of a program to be compared.

( 4 ) The program matching apparatus according to ( 3 ), wherein the merging unit synthesizes the difference lines of the program to be compared for each difference line.

( 5 ) The program matching apparatus according to ( 3 ), wherein the merging unit collectively synthesizes the difference lines into the difference lines of the program to be compared.

( 6 ) The program matching apparatus according to any one of (3) to (5) , wherein the merging unit redisplays the program after the difference synthesis.

( 7 ) The program verification device according to any one of (1) to ( 6 ), wherein the program is a ladder program applied to a programmable controller.

As is apparent from the above description, the present invention has the following effects.
(1) On the comparison display screen of the collating means, the difference can be visually grasped by the actual ladder program expression.

(2) It is not necessary to call the program and perform complicated operations for the editor to determine the difference location and the ladder position.

(3) There is no need to perform complicated operations to replace the difference data of the mnemonic display with an actual ladder program.

(4) Even if the number of difference merges increases, the difference result and the actual merge target portion can be visually confirmed on the comparison display screen, so that a merge operation error does not occur.

  Hereinafter, the present invention will be described in detail with reference to the drawings. FIG. 1 is a functional block diagram showing an embodiment of a program verification apparatus to which the present invention is applied. The same elements as those of the conventional apparatus described with reference to FIG. Hereinafter, the characteristic part of the present invention will be described.

  In FIG. 1, reference numeral 100 denotes a host device to which the present invention is applied. In the host apparatus 100, the program A acquisition file 101, the program generation means 102, and the generated programs A ′ and A ″ files 103 and 104 have the same functions as the components 41 to 44 described in the conventional apparatus of FIG. Have

  Reference numeral 105 denotes collation means that constitutes a main part of the present invention, and displays a difference line that is a line having a difference between programs to be compared and all lines other than the difference line on the same screen. Reference numeral 105a denotes a comparison display screen between the program A and the program A ′, and two corresponding difference lines S1 and S1 ′ and S2 and S2 ′ are displayed in comparison on the same screen together with all the lines other than the difference lines.

  FIG. 2 is an example of an actual display screen of the comparison display screen 105a that displays a ladder program including a difference line. The collation means 105 identifies and displays the difference rows S1 and S1 ′ and S2 and S2 by shading, discoloration, etc. as shown in the drawing so that it can be easily grasped visually.

  On the comparison display screen 105a, since it is impossible to display all lines of the program A and the program A ′ on one screen, scroll display is performed. In this case, the program verification unit 105 has a function of sequentially jumping and displaying a plurality of difference lines. This function makes it possible to make the difference line confirmation work more efficient.

  Reference numeral 106 denotes an editing means, and the editor 5 can edit the difference lines as necessary while sequentially checking the difference lines based on the display information of the matching means 105. Reference numeral 107 denotes a merging unit, which can execute a merge that combines the displayed difference line and the edited difference line into a program to be compared.

  The merging means 107 can synthesize the difference lines of the comparison target program for each difference line. FIG. 2 shows an example in which the difference line S1 of the program A is merged with the difference line S1 ′ of the program A ′. The merging means 107 can also combine a plurality of difference lines into a difference line of a program to be compared at a time.

  Furthermore, the merging means 107 can redisplay the program after the difference synthesis in real time, and can immediately confirm the validity of the merge result. As a result, it is possible to reduce merge errors.

  Various operations of the collating unit 105, the editing unit 106, and the merging unit 106 are executed by clicking an operation candidate switch (not shown) displayed on the screen. These operation functions can be developed with standard software supported by Windows (registered trademark).

  As an example of the program to be monitored of the present invention, an example of a ladder program applied to a programmable controller has been shown. However, the present invention is not limited to this, and the present invention can be applied to an apparatus for executing general program collation and merging. It can be applied effectively.

It is a functional block diagram which shows one Embodiment of the collation apparatus of the program to which this invention is applied. It is an actual screen display example of a comparison display screen of a ladder program including a difference line. It is a functional block diagram which shows the structural example of the collation apparatus of the conventional program. It is an image figure which shows the execution procedure of merge.

Explanation of symbols

1 PLC
11 Program A file 2 User 3 Communication bus 5 Editor 100 Host device 101 Program A acquisition file 102 Program generation means 103 Program A ′ file 104 Program A ″ file 105 Collation means 105a Comparison display screen 106 Editing means 107 Merge means

Claims (7)

In a program verification device that compares a plurality of programs and compares the differences,
A difference line that is a line with a difference between programs to be compared and a matching unit that displays all lines other than the difference line on the same screen;
The collating device according to claim 1, wherein the collating means identifies and displays the differential lines, and sequentially jumps and displays a plurality of differential lines . 2. The program verification apparatus according to claim 1, further comprising an editing unit that edits the difference line. 3. The program verification apparatus according to claim 1, further comprising a merging unit that synthesizes the difference line with a difference line of a program to be compared. 4. The program verification apparatus according to claim 3, wherein the merging unit synthesizes a difference line of a program to be compared for each difference line. 4. The program collating apparatus according to claim 3 , wherein the merging unit synthesizes the difference lines into the difference lines of the program to be compared. 6. The program verification apparatus according to claim 3 , wherein the merging unit redisplays the program after the difference synthesis. The program verification apparatus program according to any one of claims 1 to 6, characterized in that a ladder program that is applied to the programmable controller.

Images