JP5303968B2 - Elevator program verification system - Google Patents

Abstract

<P>PROBLEM TO BE SOLVED: To facilitate a test at more accurate timing than not only a comprehensive and repetitive test but also a test at manually-difficult timing and an automatic test using a test tool when a program is corrected, reduce a working time and labors, and improve accuracy for extracting a failure of a program. <P>SOLUTION: A test scenario of the operation and the action confirmation of an elevator created on a personal computer (description of a series of operations and action confirmation procedures for executing a test) is transferred to a control microcomputer storing a control program of the elevator, and the operation and the action confirmation of the elevator are automatically executed according to a test executing program and the test scenario mounted by the control microcomputer in advance. Confirmation results are transferred to the personal computer from the microcomputer, and compared with preset expected results by the personal computer so as to automatically determine a success or a failure of the control program. <P>COPYRIGHT: (C)2009,JPO&amp;INPIT

Description

  The present invention relates to automation of program verification, and is particularly effective when an elevator program is developed or modified.

  In general, in the development of a computer program, it is necessary to test whether a newly created program operates correctly. In addition, when a program is modified, it is necessary to perform a test again on a portion where the modification is not performed in order to examine whether the modification does not affect the unmodified portion. In that case, the accuracy of the test depends on how many actual usage situations are assumed within the limited test period and the test items are implemented. In an elevator, this test is performed using a dedicated jig, but in the case of an elevator in particular, there are a wide variety of items to be checked by combining call registration, various switches, button operations, etc. Iterative and exhaustive testing of combinations is tedious and cumbersome and can result in missed errors.

  On the other hand, when a program is modified locally, an apparatus that automatically performs a test after the modification at night has been proposed (for example, Patent Document 1).

JP 2000-351536 A

  In the elevator control device described in Patent Document 1, a predetermined test control program is incorporated in the ROM in advance, and the elevator test is automatically performed using the second program registered from the outside in the BKRAM when the predetermined condition is satisfied. Like to do. However, since this method requires that a test control program including all test execution contents and execution procedures be incorporated in advance, only standard or uniform tests can be performed. It is difficult to automatically perform ad hoc tests, such as checking the above or changing the contents according to the test results and retesting.

  The present invention has been made in view of the above-described problems. When a program is developed or modified, not only exhaustive and repetitive testing, but also testing at a difficult timing manually, and further a test jig It is intended to facilitate testing at a timing with higher accuracy than the automatic test using, and to reduce the working time and labor and improve the accuracy of defect detection in the program.

The elevator program verification system according to the present invention is an elevator control program that describes an elevator operation and operation check test scenario (which describes a series of operation and operation check procedures for executing a test) created on a personal computer. The control microcomputer performs automatic operation of elevator operation and operation confirmation according to the test execution program and the test scenario that are implemented in advance separately from the control program, and the confirmation result Is transferred from the control microcomputer to the personal computer and the confirmation result is compared with an expected result set in advance by the personal computer, and the pass / fail of the control program is automatically determined.

  In the elevator program verification system according to the present invention, the test scenario is created based on past test scenarios stored in the database or in an operation history such as actual call registration and switch / button operation in the past. It is characterized by being able to be performed based on this.

  According to the present invention, it is possible not only to easily create a test scenario on a personal computer, but also to automatically verify the program simply by transferring the test scenario to the control microcomputer, which makes it possible to perform monotonous tests and complicated operations. Reduces the time and effort required for a complete test.

  In addition, according to the present invention, not only exhaustive and repetitive tests but also tests at timings that are difficult with manual tests, and tests with higher accuracy than automatic tests using test jigs can be easily performed. Since it can do, the precision of defect extraction can be improved reliably.

  Further, according to the present invention, it is possible to accumulate past operation histories and past trouble cases, or designed test scenarios in the database and reuse them, so it is possible to reproduce past tests and confirm driving operations, It is possible to confirm whether nonconformities that occurred in the past will not recur, and to easily carry out tests and large-scale tests that make use of past trouble cases, thereby improving the quality and reliability of the program. it can.

Embodiment 1 FIG.
Hereinafter, an embodiment of the present invention will be described with reference to the drawings.
FIG. 1 is an overall configuration diagram of a program verification system according to Embodiment 1 of the present invention. Here, an example is shown in which the operation of a program is checked using a simulator at a factory, a program development site, etc., not at an elevator installation site ing.

  In FIG. 1, reference numeral 10 denotes an elevator control microcomputer incorporated in an elevator control panel (not shown) and storing an elevator control program to be tested. Test execution program for automatically executing the test of the program according to the test scenario ("Communication expanded so that the test operation, the contents of the operation check, and the confirmation result can be passed by communication with the host PC described later" Module ”,“ Server Module ”that executes test operation and operation confirmation received from the host PC via serial communication, and“ I / O Module ”that has been expanded so that the microcomputer I / O can be controlled by this“ Server Module ”) Implemented in advance.

Reference numeral 20 denotes a host PC for an operator to create a test scenario. The test scenario created by the host PC or a user PC described later is transferred to the control microcomputer 10 and a simulator described later.
30 is a database server for storing past test scenarios and past trouble cases, actual operation history of test buttons and various switches at the time of past tests, test results, etc. This is a user PC for designing a test scenario at a location remote from the host PC 20 and has the same functions as the host PC 20.

Reference numeral 40 denotes a simulator for simulating the operation of the elevator control microcomputer peripheral device, and includes a test execution program for automatically executing a test according to a test scenario transferred from the host PC 20 in the same manner as the control microcomputer 10.
Reference numeral 50 denotes a design instrument microcomputer for controlling design instruments such as hall and car call buttons, display devices, and hall lanterns.
In the above configuration, the host PC 20, the database server 30, and the user PCs 31 to 33 are connected to each other via a LAN. However, these may be integrated into one personal computer.

  FIG. 2 shows a program configuration of the host PC 20 and the control microcomputer 10. As shown in FIG. 2, the host PC 20 can easily create a test scenario based on an input from the keyboard 21 or a past test scenario or a past test operation history. So that the control microcomputer or simulator can understand the test scenario created and the test scenario creation program 23 for allowing the test 22 to be displayed on the monitor 22 and for selecting test items from the menu. The test command conversion program 24 for converting the test command into the test command, the test command communication processing program 25 for performing the test command communication processing between the host PC and the control microcomputer or simulator, and the confirmation result transferred after the test is completed. Including a test result processing program 26 for performing the determination. It is rare.

In addition to the elevator control program 11 to be tested as described above, the control microcomputer 10 is mounted with a test execution program for automatically executing a program test according to a test scenario. The communication module 12 is extended so that the test operation and the contents of the operation confirmation and the confirmation result can be exchanged between the host PCs, and the server that executes the test operation and the operation confirmation received from the host PC 20 by communication. The module 13 includes an input / output module 14 extended so that the server module 13 can control microcomputer input / output. Reference numeral 15 denotes a device driver that performs input / output control with a design appliance microcomputer or simulator.
The user PC includes the same program as the host PC, and the operator may use either the host PC 20 or the user PCs 31 to 33 to create a test scenario.

FIG. 3 is a flowchart for explaining an automatic execution procedure of the program test in the present invention.
First, a test scenario is created by the host PC 20, or a test scenario is created by the user PCs 31 to 33, and is transmitted to the host PC 20 via the LAN (step S1). Creating this test scenario, although worker performed Fill the keyboard, this time, but it is also possible to create your own procedure from a past test scenarios tape blanking stored in the database server 30 And the operation history of actual operation of call buttons and various switches during past tests, and editing such as selecting necessary test items or combining them appropriately to improve the efficiency of creation . In addition, this time created test scenarios also stored in the database, and can be used during the creation of the next test scenario.

  An example of a test scenario is shown in FIG. In FIG. 4, item 1 indicates the order of execution procedures, item 2 indicates the unit to be controlled, and when there is one elevator, item 2 automatically becomes unit a as shown in the figure. In the case of a group management elevator, operation and confirmation can be specified for a plurality of arbitrary test devices such as a, b, c.

Item 3 represents the target microcomputer and designates which microcomputer is to execute the operation item and the confirmation item. Item 4 represents an execution type, and it is input and specified whether the procedure to be input is “operation”, “confirmation”, or “execution timing” of the procedure.
Item 5 is an execution item. If “operation” is input in item 4, the item selected from the “operation item list” created in advance is input . In the case or of the "confirmation" and "execution timing", the selected item from the "confirmation item list" is input.
Item 6 is an execution content. When a target operation item or confirmation item is selected, more detailed operation / confirmation content is set according to the selected item.

When the test scenario is created in this way, the process returns to FIG. 3 and the test command conversion program converts all the test scenario into a form of “test command” that can be understood by the control microcomputer 10 and the simulator 40 in the host PC 20. (Step S2), and transferred to the control microcomputer 10 and the simulator 40 by the test command communication processing program 25 (Step S3).

The control microcomputer 10 and the simulator 40 once hold all the received “test commands” in the server module 13 and analyze the contents in the order received (step S4).
Further, the server module 13 sequentially tests according to the scenario by interrupting the input / output data transfer between the input / output module 14 and the control program 11 to be tested according to the contents of the analysis, and inputting the input or confirming the output. Execute (Step S5).

  During the execution of the test, the confirmation result is temporarily held by the server module 13 (step S6). When the test is completed, the confirmation result is sent via the LAN or serial communication to the host PC 20 or user PC 31 that is the test scenario creation source. To 33 (step S7).

The host PC 20 or the user PCs 31 to 33 determines whether or not the control program to be tested is acceptable by comparing the expected result set in advance when the test scenario is created with the confirmation result transferred from the control microcomputer 10. Is finished (step S8).

Embodiment 2. FIG.
Next, another embodiment of the present invention will be described. In the first embodiment, the case where there is one elevator has been described. However, the present invention is similarly applied to a case where a control program of a group management elevator that manages a plurality of elevators as a group is automatically verified. can do.

  FIG. 5 is a diagram showing an overall configuration when the present invention is applied to a group management elevator composed of three elevators of Units A to B as an example. FIG. 5 is a diagram corresponding to FIG. It shows.

  In FIG. 5, 10A to 10C are control microcomputers for Units A to C, 10G is a group management control microcomputer, 40A to 40C are simulators for Units A to C, respectively, and the host PC 20 and each control microcomputer and simulator are Connected via serial communication. Each control microcomputer and simulator have the same configuration as that shown in FIG. 2, and the user PC, database server, and design appliance microcomputer are not shown.

  Also in the configuration of FIG. 5, the program test execution procedure is basically the same as the procedure shown in FIG. 3. First, when a test scenario is created in the host PC 20, the test command conversion program executes the test in the host PC 20. All scenarios are converted into “test commands” that can be understood by the control microcomputer and simulator, and transferred to the control microcomputers 10A to 10C, the group management control microcomputer 10G, and the simulators 40A to 40C by the test command communication processing program. .

  Each control microcomputer and simulator temporarily stores all received "test commands" in their respective server modules and analyzes the contents in the order they are received. Tests are executed sequentially according to the scenario by interrupting input / output data transfer with the control program and entering input, or checking the output. At this time, operations and operation checks that need to be coordinated between the elevators, such as call assignment, are executed by exchanging synchronization signals via communication between units and communication between groups.

During the execution of the test, the confirmation result is temporarily stored in each server module, and when the test is completed, the confirmation result is transmitted to the host PC 20 of the test scenario creation source via the LAN or serial communication.
The host PC 20 compares the expected result set in advance when the test scenario is created with the confirmation result transferred from each of the control microcomputers 10A to 10C and the group management control microcomputer 10G, and the control program for each unit to be tested. And pass / fail of the group management control program, and the test is terminated.

  In this way, even in the group management elevator, one test scenario is created as a whole and transferred to each control microcomputer or simulator in correspondence with the control program or group management control program of each unit in the scenario. The program can be automatically verified as in the case of a single unit.

Other Embodiments In the above-described embodiment, the case where a simulator is used to perform a test in a factory or program development site has been described. However, a program for automatically executing a test according to a test scenario is previously stored in a control microcomputer of an existing elevator. By implementing it, it is possible to automatically test as described above just by transferring the test scenario. Therefore, if the public network is used, the program can be automatically verified from a remote location such as a remote monitoring center. It can be carried out.
In the above-described embodiment, the determination is made up to whether or not the program is accepted. However, a test result report can be automatically created as necessary.

  In addition, the present invention is not limited to the above embodiment, and various modifications can be made without departing from the gist of the present invention.

It is a whole block diagram of the program verification system in Embodiment 1 of this invention. It is a figure which shows the structure of the program of host PC of FIG. 1, and a control microcomputer. It is a flowchart explaining the procedure of the automatic execution of the program test in Embodiment 1 of this invention. It is a figure which shows an example of the test scenario in Embodiment 1 of this invention. It is a whole block diagram of the program verification system in Embodiment 2 of this invention.

Explanation of symbols

10 control microcomputer 11 control program 12 communication module 13 server module 14 input / output module 20 host PC
30 Database server 31-33 User PC
40 simulator 50 design instrument microcomputer

Claims (4)

Transfer the test scenario operation or operation check of the elevator created on a personal computer to the control microcomputer that contains an elevator control program, said control microcomputer the Separately previously implemented test execution program from said control program The elevator operation and operation check are automatically executed according to the test scenario, the check result is transferred from the control microcomputer to the personal computer, and the check result is compared with the expected result set in advance by the personal computer. An elevator program verification system characterized by automatically judging pass / fail. In a group management elevator that manages multiple elevators, a test scenario for elevator operation and operation confirmation created on a personal computer, an elevator control microcomputer that stores the elevator control program, and a program for group management control Transferred to the stored group management control microcomputers, and each of the control microcomputers and the group management control microcomputers were mounted in advance while synchronizing between units by inter-unit communication or inter-group management communication. According to the test execution program and the test scenario, elevator operation and operation confirmation are automatically executed, and the confirmation results are transferred from the control microcomputers and the group management control microcomputer to the personal computer. The elevator control program and group management compared with the expected result set in advance Elevator of program verification system, characterized in that it automatically determines the success or failure of your program. The test execution program is received from the personal computer by communication with the communication module extended so that the test operation, the contents of the operation confirmation, and the confirmation result can be passed based on the test scenario by communication with the personal computer. The elevator program according to claim 1 or 2, comprising a server module for executing a test operation and an operation check, and an input / output module extended so that the server module can control microcomputer input / output. Verification system. The test scenario can be created based on a past test scenario stored in a database or based on an operation history of actual call registration and switch / button operation in the past. The elevator program verification system according to any one of claims 1 to 3.

Images