Product Overview
Stimulus is a product of Dassault Systèmes, whose purpose is to verify the correctness of requirements through requirements modeling analysis. The core idea of Stimulus is to use "natural language" to model functional requirements, and to find defects in requirements, such as requirements consistency, ambiguity, and completeness checking. With the help of Stimulus, errors in the requirements specification can be found and modified in the early stage of system development, and whether the system design meets the requirements specification can be checked in the final delivery and acceptance stage of the system, so as to minimize the cost and risk of product development.
Product Introduction
*and validation requirements specifications.
Stimulus enables system architects to simulate requirements and detect ambiguous, incorrect, missing, or conflicting requirements before the design begins, creating the high-quality specifications required for the validation of safety-critical embedded systems. Stimulus uses "natural language" to model and validate requirements, including rich temporal and logical operators, such as: "When .......""If", "Greater", "Only", etc. By rewriting the requirements by operator, you can verify that there are conflicts in the requirements;Through the observation of the first results, the conflict and defects in the requirements specification are verified, and the correctness of the requirements specification is ensured. Development teams can spend less time redefining requirements, rewriting and redebugging**, reducing the number of development iterations required to achieve high-quality results.
Generate test cases and validate the system.
During the validation phase, Stimulus also enables test engineers to automatically generate test vectors and test targets, and check that the embedded** meets their specifications. Stimulus can automatically generate test cases that meet the requirements (the requirements can be high-level requirements or low-level requirements) based on the requirements description, or you can use "natural language" to describe the test scenarios and generate test cases that meet the test scenarios. Stimulus can not only generate test cases based on requirements, but also monitor whether the system output meets the requirements in the requirements specification. Test teams no longer need to write or maintain test cases that are manually derived from requirements. Instead, they can reuse the work already done by the system architect to build highly flexible testing activities that lead to effective agile methodologies.
Good integration scalability.
Stimulus supports the integration of Simulink and SCADE, and can automatically generate test cases for Simulink or SCADE models, that is, generate system inputs and constraints of system behavior according to requirements, and then verify whether the model meets the requirements specification.
Key Benefits:
Enable early validation of requirements.
Share clear and observable requirements among engineers.
Effectively expand the functional coverage of your testing campaigns.
Reduce costly iterations in the development process.
Application examples
A multinational automotive equipment manufacturer (verification of ABS ESP system requirements specification).