Siemens Aktiengesellschaft

Siemens Corporation

Siemens Aktiengesell Schaft

The Open University

Georgi Markov

Ivan Tritchkov

Christof J Budnik

Marco Gario

Lucia Rapanotti

Zhu Wang

Jon Hall

A method of managing change in a complex system begins with identifying an unsatisfied need to be met by the system. To satisfy the need a proposed change to the system to satisfy the need is represented a high-level representation of the proposed change. The high-level representation is mapped to a low-level executable semantic model, which is used to validate the proposed change and ensure the proposed change meets the identified and does not require additional changes to the system. On a condition that the validating steps determines that additional changes are required the additional changes are represented in the high-level representation of the system; the high-level change is mapped to the low-level executable semantic model and the additional changes are re-validated.

Framework for guided change management and change impact analysis with automated change validation through formal executable semantics

A method for testing software applications in a system under test (SUT) includes building a reference model of the SUT that defines a computer-based neural network. The method includes training the reference model using input data and corresponding output data generated by the SUT, selecting an output value within a domain of possible output values of the SUT representing an output that is not represented in the output data used to train the reference model, applying the selected output value to the reference model, and tracing the selected output through the reference model to identify test input values that when input to the reference model, produce the selected output value. The method can further include using the identified test input values to test the system under test.

Artificial intelligence enabled output space exploration for guided test case generation

A method for automatic testing of a piece of software for a mobile device including the following steps: deriving from a description a formalized description, the description includes possible sequences of events of the software and a range for at least one input parameter of the software, the description being used for an implementation of the software; generating from the formalized description a test description; adapting the test description for the mobile device for which the software is to be tested; translating the test specification in a language assigned to the mobile device such that a test described by the test specification can be performed on the mobile device. The method for automatic testing further relates to a corresponding device.

Method and device for automatic testing

Growing community of inventors

Plainsboro, NJ, United States of America

Georgi Markov