The invention relates to a system and a method for automatic testing of planning results in the field of installation technology and/or process control technology. A system and a method such as this can be used for automatic validation and verification of various information items which are created during the planning of technical installations and are in electronic form, in particular topology information items.
Installations are planned in steps with the process being characterized in particular by phases of data interchange with adjacent planning phases. In this case, the data is frequently transferred manually, that is to say printed or handwritten originals are transferred manually to software tools. Furthermore, automatic data transfer mechanisms also exist, and are frequently based on Excel, databases or ASCII files such as CSV or XML. However, electronic data transmission such as this is carried out essentially mechanistically, without, or only with very simple, automatic checking of the content of the information.
The invention is based on the known use of electronic installation information which can be interpreted semantically and automatically. Approaches such as these have been known for some time and are already in practical use and are described, inter alia, in:
Planning information can be mapped hierarchically and on an object-oriented basis, for example using tree structures. The following planning information typically occurs in this case:
Such manually created, manually imported or partially-automatically imported information is checked manually, or at best partially automatically, for its correctness. Because of the random errors that occur, human testing does not in this case allow any reliable statement to be made about the correctness of the information. Partially automatic testing covers only low-level and simple relationships, and is not suitable for testing generic relationships.
The correctness of information should, however, relate to
The topology information is normally tested at the following three points in the planning process:
Against this background, the invention is based on the object of automating the testing of planning results in the field of installation technology and/or process control technology, in particular of topology information, in order to avoid errors and faults and to allow commissioning to be carried out more quickly, at a higher quality level, and more efficiently.
This object is achieved by a system for automatic testing for planning results in the field of installation technology and/or process control technology, having the features specified in claim 1. A corresponding method and advantageous refinements are specified in further claims.
The invention therefore proposes a system and a method for automatic testing of planning results in which tests are carried out by means of a data processing device, in which planning results to be tested are stored in electronic form, and by software means for carrying out automatic and systematic tests. The means contain test criteria stored in the form of rules, as well as test programs which have access to the planning results and to the rules. In addition, display and/or output means are provided for outputting test results.
Planning topologies are therefore required in electronic form in order to carry out the invention, and this is achieved, for example, by the use of an object-oriented topology data model or by the export of such information to a data format such as this. By way of example, this data is in the CAEX format, as described above in the references. A further precondition for carrying out the invention is semantic interpretability of the information, that is to say the objects must be able to signal to the processing device what their type is and what role they play in their environment.
The method according to the invention works with test criteria in the form of rules which are used in order to automatically and systematically analyze topology information in electronic form. Such rules are generic descriptions of required causal links and relationships. If the condition part of the rule can be applied to one or more elements of one or more of the topologies or further rules, then the consequence part of the rule indicates what other situation or relationship, relating to identical or different elements of the same or different topology or topologies or rules, must be provided. In contrast to manual testing, automatic checking is deterministic and is not subject to any random errors, as a result of which the test process is traceable, recordable and therefore verifiable. The capability to verify the correctness of information relating to defined criteria is one of the major advantages of this procedure.
The method according to the invention can be used in various phases of a planning process and during the course of commissioning, for example during a transition from installation planning to control technology planning, during the transition to subsequent commissioning, and during commissioning.
Examples of such applications are
In this case, the aim is to test whether the installation components to be imported and/or planned are linked to one another in a worthwhile manner, for example with every tank with inlets also having at least one outlet, with every tank with outlets having at least one inlet, without the possibility of pumps operating against one another, or pipes not having any free ends.
In this case, the aim is to test whether the control technology components to be imported and/or planned are linked to one another in a worthwhile manner, for example with every sensor/actuator being connected to a bus system or to some other information transmission system, with components of the control technology topology being supplied with electricity, with operative lines being related to one another in a worthwhile manner, with no missing operative lines, or with information couplings linking compatible data types.
In this case, the aim is to test whether the control technology functional modules to be imported and/or planned are linked to one another in a worthwhile manner, with signals being correctly linked to one another, or with the associated processor having the capability to process the number of the control technology functions.
In this case, the aim is to test whether the components of the various technologies are related to one another in a worthwhile form, for example with every pump or every conveyor belt in the installation topology having a drive in the control technology topology, with each production flow in the production process information being supported or forced by a conveyor element in the installation topology, thus making it possible to check whether a specific production procedure can be carried out in an installation, or with every possible product flow having a valid start and a valid end.
The invention as well as advantageous refinements or improvements and further advantages of the invention will be explained and described in more detail with reference to the exemplary embodiment illustrated in
The operation of a test program will be explained in more detail in the following text with reference to one typical test procedure. A test program applies one of the stored rules to the available data. To do this, the test program first of all confirms whether the topological relationship described in the rule premise exists between the object to be tested and other objects and attributes in the installation data. One simple example would be: “IF the object which is at a higher level than the object to be tested has the attributed x . . . ”. In this case, the relationship described in the premise may also cover a plurality of objects and a plurality of attributes, and various topologies. If the test program finds a relationship such as this at one or more points in the installation data, then it checks at each of these points whether the situation described in the rule conclusion is also satisfied. By way of example, the latter may be a simple condition for one attribute, or else more complex conditions which relate to the existence and form of objects, attributes and/or topological and other relationships between objects and/or attributes. Once the test program has applied these rules to all the available application options, it carries out this process successively for the other stored rules.
A test method which can be carried out using a test system such as this can likewise be explained with reference to
It will be appreciated by those skilled in the art that the present invention can be embodied in other specific forms without departing from the spirit or essential characteristics thereof. The presently disclosed embodiments are therefore considered in all respects to be illustrative and not restricted. The scope of the invention is indicated by the appended claims rather than the foregoing description and all changes that come within the meaning and range and equivalence thereof are intended to be embraced therein.
Number | Date | Country | Kind |
---|---|---|---|
10 2005 058 802.6 | Dec 2005 | DE | national |
This application claims priority as a continuation application under 35 U.S.C. §120 to PCT/EP2006/011319 filed as an International Application on Nov. 25, 2006, and under 5 U.S.C. §119 to German Patent Application No. 10 2005 058 802.6 filed in Germany on Dec. 9, 2005, the entire contents of which are hereby incorporated by reference in their entireties.
Filing Document | Filing Date | Country | Kind | 371c Date |
---|---|---|---|---|
PCT/EP06/11319 | 11/25/2006 | WO | 00 | 7/22/2008 |