MODELLING SYSTEM REQUIREMENTS
STIMULUS provides textual language templates that support common industry practices for writing real-time system requirements. You can easily produce standardised requirements and share a clear understanding of specifications.
STIMULUS expresses requirements using sentence templates, such as When or During,
or even user-defined templates that fit domain-specific needs
DEBUG AND TEST REQUIREMENTS
With STIMULUS, you can simulate system requirements against test scenarios and find specifications errors before the design phase, adopting an effective requirement- and test-driven development process.
During simulation, STIMULUS generates many execution traces that satisfy system requirements and provides powerful debugging features to analyze simulation results: automatic detection of conflicting, missing or incomplete requirements, highlight of active requirements, signal monitoring, etc.
STIMULUS can generate many simulation traces that correspond to different possible executions of the specified system.
When a conflict is detected by STIMULUS, simulation stops and conflicting requirements are automatically highlighted.
Once the code has been developed, STIMULUS can check its compliance to the textual requirements. Using block diagrams, you can build a test environment where requirements are turned into test observers, and the System Under Test is imported as a DLL.
You can then generate and run numerous test vectors automatically and measure functional coverage of your test campaign.
STIMULUS can import any kind of external code as a black-box system-under-test.
This code can then be simulated and validated against textual requirements.
You can export generated test vectors and requirements observers in your favorite simulation or test environment :
- STIMULUS test scenarios are used to generate numerous tests cases, exported as .csv files, and used as inputs for your system under test.
- STIMULUS requirements are translated into C code, and are used as observers to check that the system under test complies with its specification.
- Argosim at the International Software Safety Conference 2017 in Korea October 16, 2017
- ARGOSIM exhibits at Matlab Expo in Silverstone September 5, 2017
- SYSTECH SOFT now distributes STIMULUS in Korea June 28, 2017
- ARGOSIM exhibits at MATLAB EXPO in Paris April 24, 2017
- Argosim and CORYS co-exhibit at SimTech 2017 March 10, 2017
- ARGOSIM has partnered with SOGETI High Tech February 6, 2017