Siemens Aktiengesellschaft

Peter Zimmerer

Kai Höfig

Sebald Kolb

Peter Juettner

Udo Naumann

Provided is a computer-implemented method, the method including storing a meta-model in a computer-readable storage medium, wherein the meta-model includes at least one risk element, at least one test element and at least one objective element, and associations between the elements, wherein each risk element is associated with one or more objective elements, and/or each risk element is associated with one or more test elements, wherein at least one element of the elements and/or at least one association has at least one associated risk-related parameter. Also provided is a corresponding computer program product and system.

Method for risk-based testing

A method is specified for comparing two specifications which each comprise at least two processes, each of which includes at least two events. A first comparison between the two specifications is carried out with regard to the sequence of the events in the processes, and a second comparison between the two specifications is carried out, taking account of the relationships between events in different processes.

Method, system and computer program for comparing a first specification with a second specification

A method for integration testing of all objects of an object-oriented program in which an analysis of its source code is first carried out in order to identify the mutual dependencies between objects and classes and, on the basis of these dependencies, those objects that have already been tested are allocated to a set of tested objects and, further, objects that are dependent only on these tested objects are also identified. These objects are tested and are subsequently added to the set of tested objects. When no object can be found that is dependent only on tested objects, those objects are sought that are dependent only on one additional, untested object. This untested object can then be replaced by an object stub for test purposes. The object thus tested is subsequently transferred into the set of tested objects. When objects are found that are dependent only on one another and form a cycle, then one of these is replaced by an object stub in order to be able to test the other. As a result, all objects of the object-oriented program to be tested are united in the set of tested objects and the entire program is tested.

Growing community of inventors

Munich, Germany

Peter Zimmerer