JPH0242506A - Sequence program checking system - Google Patents

Abstract

PURPOSE:To shorten the debugging time by securing such a constitution where an operator can be aware of a stack using mistake if occurs in one net of a program and also can easily correct this mistake in an interactive way. CONSTITUTION:A desired circuit diagram is shown on the display screen of a program producing device 1. While a programmable controller PC10 receives an external signal from an input circuit 12 and outputs it via an output circuit 13 after converting the signal level. In this case, a read stack instruction of a step 2 and an AND stack instruction of a step 3 are formed into a pair and show a contact (s). The AND stack instruction of a step 4 is excessive and deleted, and an assumptive ladder diagram converted from an approximate program is displayed. If the key input of an operator shows 'YES' when a message 'OK?' asking the correct or wrong state of the ladder diagram, both the approximate program and the ladder diagram are decided as the sequence equivalent to one net. While an error message is displayed for study if the key input of the operator shows 'NO'.

Description

[Detailed Description of the Invention] [Industrial Application Field] The present invention relates to a sequence program check method, and in particular, to converting an input mnemonic program into a ladder diagram and displaying it on a display device. This invention relates to a sequence program check method in which an operator judges the suitability of a program by looking at a ladder diagram.

[Conventional technology]

Conventionally, an operator has sequentially keyed in a mnemonic program as exemplified in FIG. 4(a) to display a converted ladder diagram on a display screen of a display device.

The state of the calculation result by the program in Fig. 4(a) is shown in the fourth figure.
Figure (b) shows this in contrast. First, a read command in step 1 sets contact A (addresses XO, O) to STo of the stack register. Next, in step 2, the read stack instruction shifts the contents of the register to the left by 1 bit, and contacts B (addresses R1, 4) are saved to STO. In the or stack instruction in step 3, S
The logical sum of the signal in TI and the signal in STO is taken out to STO. With the read stack instruction in step 4, the register is shifted to the left, and contact C (
Yl,2) is evacuated to STO. Step 5 lead.

With the stack instruction, the register is further shifted to the left,
Contact D (Xl, 6) is evacuated to STO. The OR stack instruction in step 6 performs a logical OR operation on the signal in ST1 and the signal in STO, takes out the result to STO, and shifts the operation result in ST2 to STI. Ru. The AND stack instruction in step 7 performs an AND operation between the operation result stored in the STI and the operation result stored in the STO, and the result is taken out to the STO. In the write command in step 8,
The calculation result stored in STO is sent to coil Wl (address R
1, 7).

FIG. 5 shows a ladder diagram converted from the program in FIG. 4(a).

[Problem to be solved by the invention]

In a mnemonic program, the instruction to save to the stack register and the instruction to fetch from the stack register are a pair, so their numbers in the same net must be equal. However, as the net becomes more complex, errors occur. This may cause too many instructions to be saved to the stack register, or too many instructions to be taken out from the stack register.

Conventionally, when such an erroneous program is converted into a ladder diagram and displayed on a display device, no message indicating that there is an error in the program is displayed. Therefore, operators often overlooked it without noticing it.

The present invention has been made in view of the above points, and has the following features:
An object of the present invention is to provide a sequence program check method that can easily confirm that there is an error in stack usage in a network.

[Means to solve the problem]

In order to solve the above problems, the present invention converts a mnemonic program into a ladder diagram and displays it on a display device, and performs a sequence program check in which an operator judges the suitability of the program by looking at the displayed ladder diagram. In the method, when an erroneous program is input in which the number of instructions to be saved to a stack register and the number of instructions taken out from the stack register are different in the same net, a step of assuming an approximate program in a mnemonic format close to the erroneous program. a step of displaying on the display device a hypothetical ladder diagram obtained by converting the approximation program into a ladder diagram; a step of displaying on the display device a message asking the operator whether the hypothetical ladder diagram is correct; The method further comprises: a step of an operator answering whether the key input is correct or incorrect by a key input; and a step of determining the hypothetical ladder diagram and the approximation program as a sequence program for one net if the key input from the operator is positive. A sequence program check method featuring the following features is provided.

[Effect]

If there are too many instructions to be saved to the stack register, an approximate program is assumed that assumes that there is an instruction to be taken out from the stack register at an appropriate position paired with the instruction to be saved.

For example, first assume an approximate program that assumes that there is an AND stack instruction, then display the hypothetical ladder diagram obtained by converting this on the display device, and at the same time, r OK.
? ” message will be displayed.

If the answer from the operator is rYESJ, the above approximate program and hypothetical ladder diagram are determined as a sequence program for one net.

If the answer from the operator is "NO", then an approximate program is assumed that includes an OR/Stack instruction, and the same processing is performed.

If the answer from the operator is rNOJ again,
Similar processing is performed assuming an approximate program in which the redundant read stack instruction (instruction for saving to the stack register) has been deleted.

However, if the answer from the operator is rNOJ, an error message is displayed to prompt consideration.

If there are too many instructions taken out from the stack register (and stack instructions, or stack instructions), assume an approximate program in which the instructions to be taken out are deleted, and display a hypothetical ladder diagram obtained by converting this. At the same time, the message "r OK 'i'" is displayed on the device. If the key input from the operator is rYESJ, the above approximate program and hypothetical ladder diagram are determined as a sequence program for one net.

〔Example〕

Hereinafter, one embodiment of the present invention will be described based on the drawings.

FIGS. 1(a) to 1g) are diagrams for explaining the processing method of the sequence program check method of the present invention. An example of an incorrect program in which too many instructions are saved to the stack register is shown in FIG. 1(a). If this is converted to a ladder diagram, the read stack instruction (RD=STK Xo, 1
) cannot be displayed on the screen and remains a potential programming error.

Therefore, assume an approximate program in which a pair of AND stack instructions (AND -5TK) is inserted as shown in FIG. 1(b). Next, a hypothetical ladder diagram obtained by converting this approximation program is displayed on the screen of the display device, and at the same time, a message asking whether the hypothetical ladder diagram is correct or not is displayed: r OK? Display J. This stage is shown in Figure 1 (
c). Key input from operator is rY
For ESJ, the program in Figure 1 (b) and the program in Figure 1 (C
) is determined as a sequence program for l-net (although they are the same).

If the key input from the operator is rNO, then the OR stack command (OR-) as shown in FIG.
5TK) is inserted. Next, a ladder diagram obtained by converting this approximation program and r Q K
? Display J on the screen. This stage is shown in Figure 1 (e
) is shown. Key input from operator is rYE
If it is sJ, the program in Figure 1(d) and the program in Figure 1(e)
The ladder diagram is determined as a sequence program for one net.

If the key input from the operator is rNOJ again, then the redundant read stack command is deleted (f
), then the ladder diagram obtained by converting this approximate program and r O
K? Display J's message on the screen. This stage is illustrated in FIG. 1(g). If the answer from the operator is rYEsJ, the program in Figure 1(f) and the
The ladder diagram in Figure (g) is determined as a sequence program for one net.

However, if the key input from the operator is "NO", an error message is displayed to prompt consideration.

Figures 2(a) to 2(c) show the sequence diagram of the present invention when too many instructions are fetched from the stack register.
An explanatory diagram of the program check method is shown. Figure 2 (a
), the read stack instruction in step 2 and the AND stack instruction in step 3 form a pair to represent the contact point S in the ladder diagram of FIG. 2(C). However, the AND STACK instruction in step 4 of FIG. 2(a) is redundant. Therefore, even when the program shown in FIG. 2(a) is converted into a ladder diagram, the AND stack instruction in step 4 cannot be expressed, and there is a risk that it may remain unnoticed as a bug.

Therefore, the second
Assume an approximate program as shown in figure (b,). next,
A hypothetical ladder diagram obtained by converting this approximate program is displayed on the screen. Also, as a message asking whether this hypothetical ladder diagram is correct or not, r OK? " is displayed. If the key input from the operator is YESJ, the approximation program in FIG. 2(b) and the hypothetical ladder diagram in FIG. 2(c) are
Confirm as a sequence program for the net.

If the key input from the operator is rNOJ, an error message is displayed to prompt consideration.

As is clear from the above explanation, r OK? By displaying the message J, the operator can notice that some kind of programming error has occurred, and can easily correct the programming error in an interactive manner.

It is effective to distinguish and display the hypothetical ladder diagram and the confirmed ladder diagram by displaying them inverted on the screen of the display device. Further, instead of displaying in reverse video, the color may be changed and displayed.

FIG. 3 shows a hardware block diagram of a program creation device and a PC (programmable controller) for implementing the present invention. In the figure, 1 is a program creation device, 2 is a display screen, and a CRT, liquid crystal display, etc. are used. The display screen 2 shows the images shown in Fig. 1 (C), (e), (
The display screens shown in g) and FIG. 2(c) are displayed. 3
is a function key, which commands functions such as deletion, copying, and modification. 4 is an operation key.

The program creation device 1 has a microprocessor configuration, and the display processing described above is processed by the microprocessor within the program creation device 1.

10 is a PC (programmable controller), and 11 is a processor that controls the entire PC. An input circuit 12 receives a signal from the outside, converts the signal level, and transfers it to the bus. 13 is an output circuit, which outputs an internal output signal to the outside.

20 is a ROM, which contains a management program 21 for managing the execution of ladder programs and a ladder program 2 written in a ladder language for controlling machine tools, etc.
2nd prize is stored. A RAM 30 stores various data, including input signals, output signals, auxiliary relay signals, and internal register signals.

40 is an interface for the program creation device;
This is an interface circuit for connecting a bus and a program creation device.

〔Effect of the invention〕

As explained above, in the present invention, when a stack usage error occurs in one net of a program, the operator can notice the existence of the error and can easily correct the error in an interactive manner. As a result, the time required for debugging is shortened, and the time required to create the entire sequence program is significantly shortened.

[Brief explanation of the drawing]

Fig. 1 (a) to g) is an explanatory diagram showing the processing method of the sequence program check method of the present invention when too many instructions are saved to the stack register, and Fig. 2 (a) to c) 3 is an explanatory diagram showing a processing method according to the present invention when too many instructions are fetched from a stack register, and FIG. 3 is a block diagram of the hardware of a program creation device and a PC (programmable controller) for implementing the present invention. , FIGS. 4(a) and 4(b) are explanatory diagrams of the prior art showing a program example and the state of the calculation result in contrast, and FIG.
It is a ladder diagram obtained by converting the program shown in the figure. AM 40・Interface patent applicant Fanuc Co., Ltd. Agent Patent attorney Takeshi Hattori 1-・・・・・・--1--Program creation device 2------1-... ...-Display screen 3--
−−−−1−−・Function key 4−−−1−・
-・-・Operation keys 10・−1−−−−−−−・・−・・PC (7' Logramaple controller) 11−・−・−・・・・Prosensor 20−・・−・−・・・-・ROM Figure 4 Figure 5 Figure

Claims (3)

[Claims] (1) In the sequence program check method, where a mnemonic program is converted into a ladder diagram and displayed on a display device, and an operator judges the suitability of the program by looking at the displayed ladder diagram, the program is saved to a stack register. a step of assuming an approximate program in a mnemonic format close to the erroneous program when an erroneous program in which the number of instructions and the number of instructions taken out from the stack register are different in the same net is input; displaying the hypothetical ladder diagram converted into the above on the display device, displaying on the display device a message asking the operator whether the hypothetical ladder diagram is correct or not, and the operator answering whether the hypothetical ladder diagram is correct or incorrect by inputting a key. and a step of determining the hypothetical ladder diagram and the approximate program as a sequence program for one net if the key input from the operator is positive. method. (2) The hypothetical ladder diagram and the confirmed ladder diagram,
2. The sequence program check method according to claim 1, wherein the display is distinguished by reverse display on the display device. (3) The hypothetical ladder diagram and the confirmed ladder diagram,
2. The sequence program check system according to claim 1, wherein the display is distinguished by changing colors on the display device.