CN109791398A - Debugging apparatus - Google Patents
Debugging apparatus Download PDFInfo
- Publication number
- CN109791398A CN109791398A CN201780058657.5A CN201780058657A CN109791398A CN 109791398 A CN109791398 A CN 109791398A CN 201780058657 A CN201780058657 A CN 201780058657A CN 109791398 A CN109791398 A CN 109791398A
- Authority
- CN
- China
- Prior art keywords
- order
- execution
- executed
- movement
- verifying
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
Classifications
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B19/00—Programme-control systems
- G05B19/02—Programme-control systems electric
- G05B19/04—Programme control other than numerical control, i.e. in sequence controllers or logic controllers
- G05B19/05—Programmable logic controllers, e.g. simulating logic interconnections of signals according to ladder diagrams or function charts
Landscapes
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Engineering & Computer Science (AREA)
- Automation & Control Theory (AREA)
- Programmable Controllers (AREA)
- Debugging And Monitoring (AREA)
- Testing And Monitoring For Control Systems (AREA)
Abstract
Invent the debugging apparatus (100) being related to have: program execution department (12) executes the order that identifying object sequencer (16) are included;Movement verifying situation judging portion (14) determines the execution classification of the relationship between the implementing result of the order before the order executed by program execution department (12), the order tightly for indicating the executions content of order executed and executing;It acts verifying situation storage unit (15), the presence or absence of execution of order of each execution classification determined by movement verifying situation judging portion (14), the identification information for executing classification, identifying to the order executed is stored in association;And movement verifying situation display unit (21), with the presence or absence of the execution of order correspondingly can be shown in the form of visuognosis to the execution classification of the order executed by program execution department (12) and the order executed.
Description
Technical field
Debugging apparatus used in debugging the present invention relates to sequencer.
Background technique
Implement following debugging usually in the exploitation of program, that is, whether the program being created that carries out desired dynamic
The movement of work is verified, and being modified in the case where having found failure by acting verifying to program makes Failure elimination.
The rate of collecting of the movement verifying of program is known as coverage rate, the program due to having carried out movement verifying and debugging is regarded
For no failure, therefore coverage rate is used as the index of quality of program.Coverage rate has several species, and what it is as representative is C0 covering
Rate indicates the ratio for performing the processing more than or equal to 1 time in whole processing of configuration program.In addition, coverage rate from
From the point of view of its meaning, the index of the progress of the movement verifying in representation program exploitation can also act as.
Make in the field FA (Factory Automation) of automation for realizing the operation in the production scenes such as factory
Use sequencer.Sequencer is to constitute the command in combination of multiple minimum units for implementing certain processing.Order has quilt
The referred to as attribute of execution condition, by executing condition and implementing the logical formula of certain calculating (hereinafter, referred to as preceding to the order before tight
Condition) as a result, to whether needing to be implemented order and judging.In addition, the case where precondition is set up is referred to as true, it will be invalid
The case where be known as vacation.
Execution condition there are multiple types, exist order is only executed in the case where precondition is genuine situation, be false in precondition
In the case where do not execute ON when execution, only in the case where precondition is genuine situation from vacation variation, exectorial rising edge is executed,
With true and false independently exectorial always execution etc. always of precondition.Always there is ON execution and OFF to hold for the order executed
Both execute classification to row, and ON executes different with the implementing result that OFF is executed.That is, the order executed always is true in precondition
The case where with for vacation in the case where the content that executes it is different.ON is executed to be executed in the case where precondition is genuine situation, and OFF is executed preceding
Condition is to execute in the case where vacation.
As noted previously, as existing logical in C language etc. as executing always in the order for constituting sequencer
The execution condition not having in programming language used in often, thus obtain movement verifying required for coverage rate also with usually made
Programming language is different.For example, it is envisioned that the case where C0 coverage rate is set as 100%.C0 coverage rate is to indicate all executable
Processing in the processing executed ratio index.In common program, due to being false executing the condition of processing
In the case of skip processing, so if only to as movement identifying object order in, execute processing condition be genuine
In the case of the processing that is executed evaluated, then C0 coverage rate is 100%.On the other hand, it in sequencer, needs to examine
Consider execution condition possessed by order respectively.The case where the order as movement identifying object includes the order executed always
Under, in order to which C0 coverage rate is set as 100%, needs to execute the ON executed always and OFF executes the two and verifies.
Patent Document 1 discloses sequencing control systems, to the definition file and register of sequencing electric operation control circuit figure
Variable condition checked, the rate of collecting is acted to coverage rate according to checked result and is calculated, and rate is collected to movement
It is shown.
Patent document 1: Japanese Unexamined Patent Publication 2000-293208 bulletin
Summary of the invention
It the technology that visually showed the coverage rate of common programming language and is quantitatively carried out by percentage
The technology of expression is realized only for the order executed in the case where precondition is genuine situation.On the other hand, fixed
Even same order in prologue, sometimes according to precondition, the classification of execution also can be different, are only genuine feelings by precondition
Verifying under condition can not accurately measure coverage rate.Accordingly, there exist following problems, that is, covers in sequencer
The visual performance of rate is difficult, in addition, the progress management of movement verifying and confirmation are difficult.
Patent Document 1 discloses following technologies, that is, carries out to the coverage rate of sequencing electric operation control circuit figure and test model
It calculates.It but is according to whether there is or not the variations of register to calculate coverage rate, not to as ON execution and OFF execution
The execution classification of order distinguishes.Therefore, become desirable for being confirmed by execution classification of the user to the order executed and
Completion, which carries out judging this operation, to be verified whether to the order executed always, there are problems that being difficult to efficiently being debugged.
The present invention is exactly to propose in view of the above problems, the tune that its object is to obtain improving the operating efficiency of debugging
Trial assembly is set.
In order to solve the above problems, reach purpose, debugging apparatus of the present invention has: enforcement division executes sequencing
The order that program is included;And determination unit, to the order executed by enforcement division, indicate in the execution of the order executed
The execution classification of relationship between the implementing result of order before appearance and the order executed are tight is determined.In addition,
Debugging apparatus has: storage unit, by the presence or absence of execution of order of each execution classification determined by determination unit, executes class
Not, the identification information identified to the order executed stores in association;And display unit, the execution with order
The presence or absence of correspondingly by can be in the form of visuognosis to the execution class of the order executed by enforcement division and the order executed
It is not shown.
The effect of invention
Debugging apparatus of the present invention obtains the effect that the operating efficiency of debugging can be made to improve.
Detailed description of the invention
Fig. 1 is the figure of the structural example for the debugging apparatus for indicating that embodiment 1 is related to.
Fig. 2 is to indicate that the movement verifying setting input unit reception movement verifying being related in embodiment 1 sets time display
The figure of one example of movement verifying setting dialog box.
Fig. 3 is determining for PLC (the Programmable Logic Controller) execution for indicating to be related to by embodiment 1
The figure of one example of the order of prologue and composition sequencer.
Fig. 4 be indicate to be related to embodiment 1 movement verifying situation judging portion collected by movement verifying situation into
The figure of one example of the form that row saves.
Fig. 5 be indicate movement verifying situation display unit that embodiment 1 is related to by the display background to sequencer into
Row changes and the condition notification of movement verifying is shown exemplary figure in the case where user.
Fig. 6 be indicate movement verifying situation display unit that embodiment 1 is related to by the display background to sequencer into
Row change and the condition notification of movement verifying is shown into exemplary figure to other in the case where user.
Fig. 7 is that the movement verifying situation display unit for indicating that embodiment 1 is related to passes through to each order phase with sequencer
The label associatedly shown changes and the condition notification of movement verifying is shown exemplary figure in the case where user.
Fig. 8 is to indicate movement verifying situation display unit that embodiment 1 is related to and the display to program changes
Represent movement verifying situation in the case where show exemplary figure.
Fig. 9 is the flow chart for the movement for indicating that the debugging apparatus that embodiment 1 is related to shows movement verifying situation.
Figure 10 is that the movement verifying situation display unit for indicating that embodiment 1 is related to is based on selecting from multiple movement verifying situations
That selects out is greater than or equal to the flow chart for the movement that 1 movement verifying situation is shown.
Figure 11 is to indicate that the movement verifying situation display unit being related to by embodiment 1 is shown in the movement verifying of display device
Situation selects the figure of an example of picture.
Figure 12 is the figure of the hardware configuration of the PLC for the debugging apparatus for indicating that embodiment 1 is related to.
Figure 13 is the figure of the structural example for the debugging apparatus for indicating that embodiment 2 is related to.
Specific embodiment
In the following, the debugging apparatus that embodiments of the present invention are related to is described in detail based on attached drawing.In addition, of the invention
It is not defined by present embodiment.
Embodiment 1.
Fig. 1 is the figure of the structural example for the debugging apparatus for indicating that embodiments of the present invention 1 are related to.What embodiment 1 was related to
Debugging apparatus 100 is comprising in programmable logic controller (PLC) (PLC:Programmable Logic Controller) 1, computer 2
The engineering tools 20 in portion and constitute.Engineering tools 20 are by being executed by computer 2 for as engineering design work
Have the program that 20 are acted and realizes.Computer 2, which has, such as to be executed for being acted as engineering tools 20
The processor of program, memory, display i.e. display device, mouse and keyboard that program and various data are saved i.e.
Various hardware as input unit, communication interface.PLC 1 and computer 2 are connected via network cable 3.In addition, about even
Path is connect, also can be used wireless.
PLC 1 has program storage 11, program execution department 12 and movement verification result management department 13.Act verification result
Management department 13 has movement verifying situation judging portion 14 and movement verifying situation storage unit 15.PLC 1 has 2 kinds of action modes,
Specifically, having the debugging mode to the normal mode controlled by control instrument and the debugging for carrying out sequencer, structure
Action mode is carried out as that can be operated by user to switch unit as such as switch that the illustration is omitted
Selection.Movement verification result management department 13 is acted in the case where having selected debugging mode.
Program storage 11 is the memory stored to the sequencer controlled by control instrument, fixed to identifying object
Prologue 16 is saved.Identifying object sequencer 16 is the object program of the debugging carried out using debugging apparatus 100.Program
Enforcement division 12 is to execute the enforcement division of the sequencer saved by program storage 11.Program execution department 12 is selecting debugging mould
Identifying object sequencer 16 is executed in the case where formula.Identifying object sequencer 16 is that user saves from by program storage 11
The sequencer made of sequencer middle finger.In addition, program execution department 12 has device memory 17.Device memory 17 is
To the memory that various device values are saved, if program execution department 12 performs sequencer, the device value is according to holding
Row content is updated.Device value indicates that PLC 1 controls the value of information used in the control of control object instrument.It is led in FA
In domain, the information identified to control information is known as equipment, device value indicates the state of control object instrument.
The movement for acting verification result management department 13 verifies situation judging portion 14 in debugging mode by program execution department 12
When executing identifying object sequencer 16, obtains the presence or absence of the execution classification of order, the execution of order and this group is ordered to be believed
Breath is stored in movement verifying situation storage unit 15 as movement verifying situation.That is, movement verifying situation judging portion 14 be to by
The execution classification of program execution department 12 executed in identifying object sequencer 16 order and the order executed is sentenced
Fixed determination unit will determine that result is stored in movement verifying situation storage unit 15 with the order executed in association.Order
Executing classification is that above-mentioned ON is executed and OFF executes such information, before indicating that the content executed by order and the order are tight
Order implementing result relationship.Movement verifying situation judging portion 14 passes through to the device memory 17 from program execution department 12
The device value of reading is parsed, to obtain movement verifying situation.Whether movement verifying situation judging portion 14 is by updating
Specific device value in device memory 17 is monitored, can know whether to perform corresponding with specific device value
Order.In addition, attempting to execute which of sequencer order this point, movement verifying situation judging for program execution department 12
Portion 14 can also be learnt and monitoring to the device value in device memory 17.It can be by being solved to sequencer
Analyse and learn the execution classification and precondition of each order.Situation storage unit 15 is verified in the movement of movement verification result management department 13
Receive, store the storage unit of the movement verifying situation obtained by movement verifying situation judging portion 14.
Engineering tools 20 have movement verifying situation display unit 21, movement verifying setting input unit 22 and movement verifying
Set write section 23.
Movement verifying situation display unit 21 is to verify situation based on the movement stored by movement verifying situation storage unit 15, with
The development situation of the movement verifying of identifying object sequencer 16 is shown in computer 2 by the form that user is capable of visuognosis
Display unit at display device (not shown).Movement verifying situation display unit 21, which also has, is shown in display device for sequencer
Function.
Movement verifying setting input unit 22 receives the setting of the sequencer as movement identifying object from user, as dynamic
The setting for making the setting of the execution number of the sequencer of identifying object, the execution classification of identifying object, sets as movement verifying
It is fixed.Fig. 2 is indicated in movement verifying setting 22 reception of the input unit movement verifying setting that embodiment 1 is related to by display device
The figure of one example of the movement verifying setting dialog box of display.Movement verifying setting dialog box shown in Fig. 2 is configured to
Classification is executed to identifying object program name and identifying object by drop-down to set, and is configured to by text box
Numerical value inputs and executes number to identifying object and set.The case where being pressed OK button with the state of content shown in Fig. 2
Under, movement verifying setting input unit 22 receive the sequencer of entitled MAIN order that the ON for being included is executed as pair
As carrying out the total 10 times movement verifying settings for verifying this content.For identifying object executes classification, in addition to can be to ON
It executes and OFF execution individually carries out except specifying, additionally it is possible to by both ON execution and OFF execution as identifying object progress
Selection.In addition, being not that will act that verifying setting is limited to identifying object program name shown in Fig. 2, identifying object executes time
Several and identifying object executes classification.Other information can also be made to be contained in movement verifying setting.In addition, in the present embodiment,
It is set as movement verifying setting input unit 22 and acts the input of verifying setting from user's reception, but also can be set to engineering tools
20 information that acquirement movement verifying is set and the input of the file described in the form of defined.
Movement verifying setting write section 23 will verify the expression movement verifying setting that setting input unit 22 receives by movement
Information be written to movement verification result management department 13 movement verify situation judging portion 14, to movement verify situation judging portion 14
It is set so that it is acted according to the information of write-in.If movement verifying setting input unit 22 receives in shown in Fig. 2
Setting is verified in the movement of appearance, and corresponding information is written to movement movement verifying setting write section 23 verifies situation judging portion
14, then verifying situation judging portion 14 is acted in the case where performing the sequencer of entitled MAIN by program execution department 12,
Until the sequencer execute 10 times until during, to whether perform ON execution order monitor.In the situation
Under, the monitoring result of the period until sequencer executes 10 times is verified shape by movement verifying situation judging portion 14
Condition is written to movement verifying situation storage unit 15.
Fig. 3 is indicate the sequencer that the PLC 1 being related to by embodiment 1 is executed and the order for constituting sequencer one
The figure of a example.Sequencer shown in Fig. 3 is created by the program creation portion that the illustration is omitted of engineering tools 20.
Sequencer is transmitted after being transformed to the executable code of PLC 1 from engineering tools 20 to PLC 1, write-in to PLC 1
Program storage 11.In addition, the example for the sequencer being created that by trapezoid figure language is shown in FIG. 3.Documented by Fig. 3
" (0) ", " (2) ", " (4) " and " (6) " is step number.
Fig. 4 is that the movement verifying situation judging portion 14 for indicating for embodiment 1 to be related to is collected into from program execution department 12
Act the figure of an example of the form that verifying situation is saved to movement verifying situation storage unit 15.As shown in figure 4, movement verifying
The operation type (run type) for the execution condition that step number (step number) of the situation comprising expression order, expression are ordered,
ON executes complement mark and OFF executes complement mark.Step number is the identification information of order.In addition, the identification information is to be used for
The information that is determined is ordered to which is performed from the sequencer executed.Following table the case where operation type is ' 0 '
Show and execute always, indicates not to be the execution condition executed always in the case where being ' 1 '.Movement verifying situation judging portion 14 passes through
The device value in the storage of device memory 17 of program execution department 12 is read, to the order for performing which step number and hold
Precondition when line command is confirmed, is made according to confirmation as a result, executing in complement mark or OFF execution complement mark in ON
It chooses.Movement verifying situation shown in Fig. 4 is indicated to execute with the ON of step ' 0 ' corresponding order of number to have executed, be numbered with step
The OFF of ' 2 ' corresponding orders is executed to have executed, is executed with the ON execution of step ' 4 ' corresponding orders of number and OFF to have held
Row is executed with the ON execution of step ' 8 ' corresponding orders of number and OFF to have executed.In addition, the preservation form of movement verifying situation
It is not limited to form shown in Fig. 4.It, then can also be with binary system only it is to be understood which order performed under the conditions of which kind of is executed
The forms such as data or text data are stored.
Next, shape is verified in movement using movement verifying situation display unit 21 of Fig. 5~Fig. 8 to engineering tools 20
The form that condition is shown in display device is illustrated.
Fig. 5 is to indicate movement verifying situation display unit 21 that embodiment 1 is related to by the display background to sequencer
It changes and the condition notification of movement verifying is shown into exemplary figure in the case where user.Fig. 5 is shown and sequencer institute
The example that the practice condition respectively ordered for including accordingly changes the display background of sequencer shown in Fig. 3.It is aobvious
The representative example for showing the variation of background is the change of color.For example, performing the feelings of both ON execution and OFF execution
It is set as blue under condition, background color is set as orange in the case where only performing ON and executing, is only performing the feelings of OFF execution
Background color is set as yellow under condition, is set as background color in the case where being not carried out ON execution and OFF executes the two
White.
Fig. 6 is to indicate movement verifying situation display unit 21 that embodiment 1 is related to by the display background to sequencer
It changes and the condition notification of movement verifying is shown into exemplary figure to other in the case where user.Example shown in Fig. 6
In, it is configured on the basis of the change of background color, does not show that performing ON execution and OFF executes the order of the two.It is logical
It crosses and does not show that performing ON execution and OFF executes the order of the two, so that user, which can be readily ascertained by, there remains how many move
Verify the order that do not complete.In the example shown in Fig. 6, due to numbering the order for being 4 about step, ON is executed and OFF is held
Behavior has executed, therefore numbers the order for being 4 without display step.
Fig. 7 is that the movement verifying situation display unit 21 for indicating that embodiment 1 is related to passes through to each order with sequencer
The label displayed in association with changes and the condition notification of movement verifying is shown exemplary figure in the case where user.Figure
7 show the circle (●) for the practice condition blacking respectively ordered for being included by sequencer shown in Fig. 3, white circle (zero)
And the example that double-round (◎) indicates.Specifically, assigning ' ● ' to the order for only performing ON execution, held to OFF is only performed
Capable order assigns ' zero ', and to performing, ON is executed and the order of OFF execution the two assigns ' ◎ '.
Fig. 8 is that the movement verifying situation display unit 21 for indicating that embodiment 1 is related to is changed by the display to program
And exemplary figure is shown in the case where the situation of expression movement verifying.It is shown in FIG. 8 by holding at least having carried out an ON
The example of the situation of change and expression movement verifying is made in the display in capable path and order.As to the road for having carried out ON execution
The method that change is made in the display of diameter and order, it is contemplated that be represented by dashed line, carrying out in the state of no progress ON execution
ON is changed to the method shown with solid line in the case where executing.In addition, further contemplate it is no carry out ON execution state and into
The method that display color is changed between the state that the ON that gone is executed.ON execution has been carried out as long as will appreciate that, has been shown
Variation can be any means.
In Fig. 5~Fig. 8, the rate of collecting of coverage rate is shown by color differentiation etc., but can also merely exist
" implementing 00 % " is shown as on display picture.It is such to show the trapezoid figure program that be shown in Fig. 5~Fig. 8 together
On.Alternatively, it is also possible to simultaneously carry out based on color distinguish etc. display and based on the display of numerical value.The rate of collecting of coverage rate is
It is calculated based on the movement verifying situation stored by movement verifying situation storage unit 15 to make verifying situation display unit 21.In addition,
Act verifying situation display unit 21 for execution condition be the order executed always, perform ON execution and OFF execute this two
The movement verifying that the order is regarded as in the case where person is completed and is calculated the rate of collecting of coverage rate.
Next, being illustrated using Fig. 9 to the movement of 100 display of debugging apparatus movement verifying situation.Fig. 9 is to indicate real
Apply the flow chart for the movement that 100 pairs of the debugging apparatus movement verifying situations that mode 1 is related to are shown.
In the movement that 100 pairs of debugging apparatus act that verifying situation is shown, movement verifying situation judging portion 14 is in journey
Sequence enforcement division 12 is carrying out in the state of identifying object sequencer 16, for each step from device memory 17 to device value
It is collected, (step S11) is determined based on execution the presence or absence of of the device value being collected into order.In addition, in order
In the judgement of the presence or absence of execution, it is able to use the surveillance technology of existing sequencer.In addition, the execution classification about order,
It can be determined according to the type and precondition for the execution condition ordered accordingly.Movement verifying situation judging portion 14 is based on receiving
The device value collected determines the presence or absence of execution of order and execution classification.
Then, acting verifying situation judging portion 14 will determine as a result, being the presence or absence of execution of order and execution classification, with step
Number is stored in movement verifying situation storage unit 15 (step S12) in association.The presence or absence of execution by order, execute classification with
It is movement verifying situation shown in Fig. 4 obtained from step number is associated.
Then, movement verifying situation display unit 21 verifies shape based on the movement stored in movement verifying situation storage unit 15
The practice condition of identifying object sequencer 16 respectively ordered and execution classification are shown in display device (step S13) by condition.
In step S13 shown in Fig. 9, movement verifying situation display unit 21 shows Fig. 5~content shown in Fig. 8 example picture
Face.In addition, movement verifying situation is shown in the case where movement verifying situation storage unit 15 stores multiple movement verifying situations
Portion 21 generates display picture more than or equal to 1 movement verifying situation based on what user selected from multiple movement verifying situations
Face.In general, being set for changing to the operation condition of program on one side in the Task of Debugging of program, on one side based on multiple dynamic
Make condition and execute program, to there is fault-free to confirm.Therefore, it obtains verifying with the corresponding movement of multiple operation conditions
As a result.In the case where debugging apparatus 100 of the present embodiment, the movement verifying setting illustrated using Fig. 2 is equivalent to
The operation condition of program, the movement verifying situation illustrated using Fig. 4 are equivalent to the movement verification result of program.That is, acting
Verifying situation storage unit 15 stores multiple movement verifying situations.
Figure 10 is that the movement verifying situation display unit 21 for indicating that embodiment 1 is related to is based on from multiple movement verifying situations
That selects is greater than or equal to the flow chart for the movement that 1 movement verifying situation is shown.
In the case where being shown in movement verifying situation display unit 21 step S13 shown in Fig. 9, firstly, will be to dynamic
Make verifying situation and carry out the picture of selection to be shown in display device (step S21).Display in step S21 can be set as figure
Picture shown in 11.Figure 11 is to indicate that the movement verifying situation display unit 21 being related to by embodiment 1 is shown in display device
Act the figure of an example of verifying situation selection picture.Picture shown in Figure 11 shows that example includes to be stored by movement verifying situation
Portion 15 store movement verifying situation file name (movement verifying situation _ 001, movement verifying situation _ 002 ...) column
Table, the tick boxes for selecting each file, display start button, cancel button.User is right and making and choosing in tick boxes
Wish that the movement verifying situation of display is selected, starts the display for acting verifying situation and pressing display start button.
That is, movement verifying situation display unit 21, after execution step S21 makes picture shown in Figure 11 be shown in display device, selection is big
In or equal to 1 movement verifying situation file, wait start button to be shown to be pressed.
If pressing display start button in the state of selecting and being greater than or equal to 1 movement verifying situation, act
Verifying situation display unit 21 verifies situation based on the movement selected, by any one content example in Fig. 5~that shown in Figure 8
Picture is shown in display device (step S22).The case where step S22 is executed in the state of selecting multiple movement verifying situations
Under, movement verifying situation display unit 21 merges the content for the movement verifying situation selected, and verifies according to the movement after merging
Situation is shown.
As an example, consider following situations, that is, selected movement verifying situation _ 001 and movement verifying situation _
002, movement verifying situation _ 001 is only to perform holding as a result, acting verifying situation _ 002 only to perform OFF for ON execution
Capable result.In this case, movement verifying situation display unit 21 passes through to movement verifying situation _ 001 and movement verifying shape
Condition _ 002 is parsed, so that the ON whether grasp performs certain order is executed and OFF executes the two, what is had not carried out
In the case of, grasp has not carried out some of ON execution and OFF execution or ON is executed and OFF executes both of which and not yet holds
Row shows that the practice condition that the ON execution of each order and OFF execute can be by the picture (figure of the content of visuognosis to display device
The picture of any one content example in 5~that shown in Figure 8).
In addition, considering following situations as other examples, that is, selected movement verifying situation _ 001 and movement verifying shape
Condition _ 002 acts the order (in the following, being set as order A) executed always comprising expression step number XX in verifying situation _ 001
ON execution has been performed but OFF executes the information having not carried out, and is acted in verifying situation _ 002 and is ordered the ON of A to hold comprising indicating
Row has not carried out but OFF executes the information being performed.In this case, movement verifying situation display unit 21 is by testing movement
Card situation _ 001 and movement verifying situation _ 002 are parsed, to know that the ON of order A is executed and OFF has executed the two
It is performed, that is, has verified that.Therefore, movement verifying situation display unit 21 will be executed for the ON of order A and OFF execution being capable of vision
It recognizes and has verified that the picture of the content of this point is shown to display device.
Next, being illustrated to the hardware configuration of PLC 1, which constitutes the debugging apparatus that embodiment 1 is related to
100.PLC 1 shown in FIG. 1 can be realized by processor 201, memory 202 shown in Figure 12 and communication interface 203.Processing
Device 201 is also possible to processing unit, arithmetic unit, microprocessor, microcomputer, CPU (Central Processing
) or DSP (Digital Signal Processor) etc. Unit.Herein, memory 202 is RAM (Random Access
Memory), ROM (Read Only Memory), flash memory, EPROM (Erasable Programmable ROM) or EEPROM
Non-volatile or volatile semiconductor memory, disk, floppy disk, CD, compact disc, fans such as (Electrically EPROM)
Your disk or DVD (Digital Versatile Disc) etc..Memory 202 is also possible to combination and is greater than or equal to 2 kinds of storage dresses
Obtained from setting.
The program storage 11 of PLC 1 is realized by memory 202.The program execution department 12 of PLC 1 is to pass through place
What reason device 201 and memory 202 were realized.The movement verification result management department 13 of PLC 1 is by processor 201 and memory
202 realizations.That is, movement verifying situation judging portion 14 is to verify situation judging portion to as movement in advance by memory 202
14 programs acted are saved, and processor 201 reads from memory 202, executes the program and realizes.In addition, dynamic
Making verifying situation storage unit 15 is realized by memory 202.In addition, in the computer 2 with realization engineering tools 20
Communication interface 203 shown in Figure 12 is utilized when being communicated.In addition, as has already been described, engineering tools 20 are to pass through
Computer 2 is executed for realizing as the program that engineering tools 20 are acted.
As described above, debugging apparatus 100 of the present embodiment has: program execution department 12 executes sequencer;
Movement verifying situation judging portion 14, was executed based on the device value for being stored in device memory 17 to by program execution department 12
Order, the order executed execution classification and precondition determined;And movement verifying situation storage unit 15, it will move
The judgement result for making verifying situation judging portion 14 is stored as movement verifying situation.User does not need confirmation execution as a result,
The execution classification for the order crossed, the working load for being able to use family mitigate.Therefore, the operation of the debugging of sequencer can be made to imitate
Rate improves.In addition, having movement verifying situation display unit 21, which verifies situation display unit 21 being capable of visuognosis with user
Form to sequencer movement verifying development situation show.User can be readily ascertained by movement verifying as a result,
Development situation, the operating efficiency of debugging can be further increased.
In addition, in the present embodiment, having used ON execution, OFF to execute as classification is executed, but simultaneously as execution classification
It is without being limited thereto, as long as defining the execution content of program.
Embodiment 2.
In the embodiment 1, the debugging apparatus for having the structure of movement verification result management department 13 to PLC 1 is said
The bright structure for having movement verification result management department 13 but it is also possible to be the computer 2 comprising engineering tools 20.
Figure 13 is the figure of the structural example for the debugging apparatus for indicating that embodiment 2 is related to.The debugging apparatus that embodiment 2 is related to
100a has PLC 1a, realizes the movement verification result management department 13 illustrated in embodiment 1 and engineering tools 20
Computer 2a.PLC 1a is the structure that the PLC 1 illustrated from embodiment 1 deletes movement verification result management department 13
PLC.Computer 2 is also equipped in embodiment 1 and says other than the engineering tools 20 illustrated in the embodiment 1
The movement that the order and execution classification that were executed by program execution department 12 are determined and its result is stored of bright mistake
Verification result management department 13.Due to what is illustrated in the program storage 11 and program execution department 12 and embodiment 1 of PLC 1a
The program storage 11 and program execution department 12 of PLC 1 is identical, and and the description is omitted.In addition, since the engineering of computer 2a is set
The engineering tools 20 of computer 2 that illustrated in meter tool 20 and movement verification result management department 13 and embodiment 1 and
The movement verification result management department 13 of PLC 1 is identical, and and the description is omitted.
In addition, be before this dividually constitute engineering tools 20 and movement verification result management department 13 but it is also possible to be
Engineering tools 20 have the structure of movement verification result management department 13.
Representation shown in above embodiment be the contents of the present invention an example, can also be with others
Well-known technique combination, in the range for not departing from purport of the invention, also can be omitted, changes a part of structure.
The explanation of label
1,1a PLC, 2,2a computer, 3 network cables, 11 program storages, 12 program execution departments, 13 movement verifying knots
Fruit management department, 14 movement verifying situation judging portions, 15 movement verifying situation storage units, 16 identifying object sequencers, 17 equipment
Memory, 20 engineering tools, 21 movement verifying situation display units, 22 movement verifying setting input units, 23 movement verifyings are set
Determine write section, 100,100a debugging apparatus.
Claims (6)
1. a kind of debugging apparatus, which is characterized in that have:
Enforcement division executes the order that sequencer is included;
Determination unit to the order executed by the enforcement division, indicates the execution content of the order executed and described
The execution classification of relationship between the implementing result of order before the order executed is tight is determined;
Storage unit, by the presence or absence of execution of order of each execution classification determined by the determination unit, the execution class
Not, the identification information identified to the order executed stores in association;And
Display unit, with the presence or absence of the execution of the order correspondingly can be held in the form of visuognosis to by the enforcement division
The execution classification of the order and the order executed gone is shown.
2. debugging apparatus according to claim 1, which is characterized in that
The display unit and the sequencer executed by the enforcement division contrastively to the order executed and described are held
Row classification is shown.
3. debugging apparatus according to claim 1 or 2, which is characterized in that
The complete order that the display unit is included relative to the sequencer to the order executed by the enforcement division
Ratio is shown.
4. debugging apparatus according to claim 1, which is characterized in that
The determination unit is configured to be set for the order and the institute that were executed by the enforcement division according to multiple movement verifyings
The judgement of the execution classification of the order executed is stated, the determination unit is set for the judgement according to different movement verifyings,
Generate it is multiple determine as a result,
The display unit shows the multiple judgement result by 1 picture.
5. debugging apparatus according to claim 4, which is characterized in that
The display unit is by 1 picture to being shown in the multiple judgement result by the specified judgement result out of user
Show.
6. debugging apparatus according to any one of claim 1 to 5, which is characterized in that
It is described execute classification include it is described it is tight before order implementing result for genuine situation under execute ON execution, in institute
State it is tight before the implementing result of order be that the OFF executed in the case where vacation is executed.
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
PCT/JP2017/023623 WO2019003313A1 (en) | 2017-06-27 | 2017-06-27 | Debugging device |
Publications (2)
Publication Number | Publication Date |
---|---|
CN109791398A true CN109791398A (en) | 2019-05-21 |
CN109791398B CN109791398B (en) | 2020-12-18 |
Family
ID=62779846
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201780058657.5A Active CN109791398B (en) | 2017-06-27 | 2017-06-27 | Debugging device |
Country Status (3)
Country | Link |
---|---|
JP (1) | JP6351906B1 (en) |
CN (1) | CN109791398B (en) |
WO (1) | WO2019003313A1 (en) |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN112051804A (en) * | 2019-06-05 | 2020-12-08 | 发那科株式会社 | Numerical controller |
CN115104088A (en) * | 2020-02-14 | 2022-09-23 | 三菱电机株式会社 | Program providing device, program providing method, and program providing system |
Families Citing this family (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPWO2021005691A1 (en) * | 2019-07-08 | 2021-09-13 | 三菱電機株式会社 | Control device, program monitoring method and program |
Citations (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH03204004A (en) * | 1989-12-29 | 1991-09-05 | Sharp Corp | Programmable controller |
JP2000293208A (en) * | 1999-04-02 | 2000-10-20 | Hitachi Ltd | Sequence control system |
CN1690978A (en) * | 2004-04-26 | 2005-11-02 | 三菱电机株式会社 | Program execution control mode |
CN1869952A (en) * | 2005-05-27 | 2006-11-29 | 松下电器产业株式会社 | Instruction actuating equipment, debugging method, debugging device, and debugging program |
CN104063321A (en) * | 2014-06-27 | 2014-09-24 | 北京控制工程研究所 | Test verifying system and test verifying method for microblaze soft-core program |
WO2016166876A1 (en) * | 2015-04-16 | 2016-10-20 | 三菱電機株式会社 | Program diagnosis device, program diagnosis method and program diagnosis program |
-
2017
- 2017-06-27 JP JP2018505755A patent/JP6351906B1/en active Active
- 2017-06-27 WO PCT/JP2017/023623 patent/WO2019003313A1/en active Application Filing
- 2017-06-27 CN CN201780058657.5A patent/CN109791398B/en active Active
Patent Citations (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH03204004A (en) * | 1989-12-29 | 1991-09-05 | Sharp Corp | Programmable controller |
JP2000293208A (en) * | 1999-04-02 | 2000-10-20 | Hitachi Ltd | Sequence control system |
CN1690978A (en) * | 2004-04-26 | 2005-11-02 | 三菱电机株式会社 | Program execution control mode |
CN1869952A (en) * | 2005-05-27 | 2006-11-29 | 松下电器产业株式会社 | Instruction actuating equipment, debugging method, debugging device, and debugging program |
CN104063321A (en) * | 2014-06-27 | 2014-09-24 | 北京控制工程研究所 | Test verifying system and test verifying method for microblaze soft-core program |
WO2016166876A1 (en) * | 2015-04-16 | 2016-10-20 | 三菱電機株式会社 | Program diagnosis device, program diagnosis method and program diagnosis program |
Cited By (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN112051804A (en) * | 2019-06-05 | 2020-12-08 | 发那科株式会社 | Numerical controller |
CN112051804B (en) * | 2019-06-05 | 2024-03-26 | 发那科株式会社 | Numerical controller |
CN115104088A (en) * | 2020-02-14 | 2022-09-23 | 三菱电机株式会社 | Program providing device, program providing method, and program providing system |
US11703833B2 (en) | 2020-02-14 | 2023-07-18 | Mitsubishi Electric Corporation | Program providing device, program providing method, and program providing system |
CN115104088B (en) * | 2020-02-14 | 2024-02-06 | 三菱电机株式会社 | Program providing device, program providing method, and program providing system |
Also Published As
Publication number | Publication date |
---|---|
CN109791398B (en) | 2020-12-18 |
JPWO2019003313A1 (en) | 2019-06-27 |
WO2019003313A1 (en) | 2019-01-03 |
JP6351906B1 (en) | 2018-07-04 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN107924173B (en) | Monitoring device, monitoring system, and computer-readable storage medium | |
US8515569B2 (en) | Work support system, work support method, and storage medium | |
CN109791398A (en) | Debugging apparatus | |
US9471044B2 (en) | Method for debugging of process or manufacturing plant solutions comprising multiple sub-systems | |
JP2017076385A5 (en) | ||
US9582620B1 (en) | Method and system for automated refined exclusion of entities from a metric driven verification analysis score | |
JP2006024006A (en) | Test case generation device, test case generation program, model base development program, device and program for diagnosing validity of source code generation, and method for developing model base | |
Inkermann et al. | A framework to classify Industry 4.0 technologies across production and product development | |
WO2017187936A1 (en) | Electronic manual display method and electronic manual control device | |
CN113032240A (en) | Software test automation management system and method | |
Hussain et al. | A comparative study of software testing techniques viz. white box testing black box testing and grey box testing | |
CN104969083A (en) | Systems and methods for dynamic scan scheduling | |
JP2017188112A (en) | Method for testing control program of control unit in simulation environment on computer | |
CN107885493B (en) | Program creation support method and program creation support device | |
JP2016045712A (en) | Programmable logic controller | |
US8707256B2 (en) | System for writing a simulation program | |
JP2019066989A (en) | Evaluation system, evaluation method and program | |
US20160062744A1 (en) | Computer-implemented method for generating control unit program code and message management environment relating thereto | |
CN103782245A (en) | Actuation of a technical system | |
Wahren et al. | Approach for implementing a control and optimization loop for an energy-efficient factory | |
JP4894618B2 (en) | Design analyzer | |
Karlsson et al. | Automation of the creation and execution of system level hardware-in-loop tests through model-based testing | |
US20240070051A1 (en) | System and method of analyzing software application performance | |
Inkermanna et al. | A framework to classify Industry 4.0 technologies within production and product development | |
Weiner | Model-Building Phase |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant |