Abstract: A—method for automated verification of a test model for BDD test scenarios including receiving the test model to be verified; generating a model path tree using a model-based path analysis based on the test model; filtering any test step of the plurality of test steps of the paths in the model path tree; d. identifying any test step with a missing alternative test step in another alternative path of the plurality of paths in the model path tree using machine learning based on the model path tree; adding at least one missing alternative test step to the test model after identification of at least one test step, resulting in at least one alternative path; and providing the identified test step, the identified at least one missing alternative test step, the at least one alternative path and/or the at least one alternative BDD test scenario as output data.

Abstract: Provided is a method for automated verification of a software program in a Behavior-Driven Development environment and a data processing system configured to execute such a method. Individual test steps of BDD test scenarios are first matched and then assigned to existing test step definitions from a BDD framework. If a one-to-one matching is not possible, natural language processing is used to decide if an assignment is possible with a certain matching probability. The assigned test step definitions are used to generate graphical test models for the test scenarios, e.g., UML diagrams. Finally, executable test scripts are generated to test the software program. The present invention relates particularly to Behavior-Driven Development and combines traditional BDD advantages with Model Based Testing for improved convenience and automatization in case of complex software packages.

Abstract: A—method for automated verification of a test model for BDD test scenarios including receiving the test model to be verified; generating a model path tree using a model-based path analysis based on the test model; filtering any test step of the plurality of test steps of the paths in the model path tree; d. identifying any test step with a missing alternative test step in another alternative path of the plurality of paths in the model path tree using machine learning based on the model path tree; adding at least one missing alternative test step to the test model after identification of at least one test step, resulting in at least one alternative path; and providing the identified test step, the identified at least one missing alternative test step, the at least one alternative path and/or the at least one alternative BDD test scenario as output data.

Abstract: Provided is a method for automated verification of a software program in a Behavior-Driven Development environment and a data processing system configured to execute such a method. Individual test steps of BDD test scenarios are first matched and then assigned to existing test step definitions from a BDD framework. If a one-to-one matching is not possible, natural language processing is used to decide if an assignment is possible with a certain matching probability. The assigned test step definitions are used to generate graphical test models for the test scenarios, e.g., UML diagrams. Finally, executable test scripts are generated to test the software program. The present invention relates particularly to Behavior-Driven Development and combines traditional BDD advantages with Model Based Testing for improved convenience and automatization in case of complex software packages.

Abstract: The computer-implemented method for testing a technical system having a plurality of technical components includes: providing a safety model modeling a safety relevant functionality of the technical system, providing a test model including test cases for testing the technical system, linking elements of the safety model with elements of the test model for enabling a tracing between the test cases of the test model and the safety-relevant functionality of the safety model, generating test parameters for at least one certain test case of the test cases and/or a new test case for the test model using the safety model linked to the test model, and testing the technical system using the certain test case and/or the new test case. Further, a computer program product, a computerized device and an arrangement having a technical system and a computerized device are provided.

Abstract: The computer-implemented method for testing a technical system having a plurality of technical components includes: providing a safety model modeling a safety relevant functionality of the technical system, providing a test model describing test cases for testing the technical system, linking elements of the safety model with elements of the test model for enabling a tracing between the test cases of the test model and the safety-relevant functionality of the safety model, testing the technical system using at least one of the test cases generated based on the test model linked with the safety model, and analyzing the testing for providing coverage criteria for the safety-relevant functionality. Further, a computer program product, a computerized device and an arrangement having a technical system and a computerized device are suggested.

Abstract: Provided is a method for computer-aided modification of a model of a technical system generated by a modeling tool, the technical system being described in a formal modeling language by elements and their relationships, while taking properties into account, and graphically visualized on an output unit. The method includes sensing a manual user input on the input unit, the user input including a change of the graphic visualization of the model, analyzing the user input to determine a context of the user input in relation to an element and/or a relationship and/or a property of the modeled technical system, and assigning and storing the context of the user input in relation to the assigned element and/or relationship and/or property in the model of the technical system.

Abstract: A method for dynamically expanding a domain-specific language of a graphical modeling tool for generating a model of a technical system, wherein the model is described in the domain- specific language by means of elements and their relationships taking into account properties and can be graphically visualized on an output unit. The method includes providing a language definition for each element and each relationship of the domain-specific language, wherein each element is assigned a type and a number of properties, providing at least one placeholder in the language definition for a user-defined language element, and providing a user interface which is configured to be used by a user to define the user-defined language element.

Abstract: A method is disclosed for the computer-assisted analysis of a software source code. According to at least one embodiment of the method, the software source code is analyzed in consideration of parameters comprising encoding rules and/or encoding metrics, wherein as the analysis result errors detected in the software source code are calculated. The errors detected are classified by way of associating them with at lest one error category from a plurality of error categories. To this end, a specification that can be output via a user interface is associated with each error category, which describes the errors of the respective error category. The error categories with which the detected errors are associated are then output via a user interface.

Abstract: A method is disclosed for the computer-assisted analysis of a software source code. According to at least one embodiment of the method, the software source code is analyzed in consideration of parameters comprising encoding rules and/or encoding metrics, wherein as the analysis result errors detected in the software source code are calculated. The errors detected are classified by way of associating them with at lest one error category from a plurality of error categories. To this end, a specification that can be output via a user interface is associated with each error category, which describes the errors of the respective error category. The error categories with which the detected errors are associated are then output via a user interface.

Abstract: A method and a system are disclosed for controlling a project for the provision of a product. In at least one embodiment, project data of the project is assigned to a product structure of the product and, depending on the project data which is assigned to the product structure, the control of the project takes place in an automated manner.