Play now
Play Video
Play now
Play Video
Close
How can I create the needed millions of scenarios?
How can I avoid the test explosion problem?
How can I find out if my tests are passed or failed?
How can I create the needed millions of scenarios?
How can I avoid the test explosion problem?
How can I find out if my tests are passed or failed?
Requirements-based Testing for Simulink, TargetLink, EmbeddedCoder and handwritten code
Requirements-based testing (also called Functional Testing) is a test methodology that ensures a system-under-test (e.g. a software unit) correctly implements its requirements. Test cases and test objectives are derived from the requirements and implemented in a language that allows their execution on the system-under-test.
Requirements-based testing is typically a very time consuming task. Not only because of the manual effort required to create the test cases, but more importantly because result traceability, coverage analysis and creating a test harness are real challenges which often require a hodgepodge of poorly-integrated tools.
In our experience, test cases are too often written in languages which were not designed for that purpose. Examples are scripting languages like Matlab or Python, Excel tables or even C code.
BTC EmbeddedPlatform provides a powerful editor for functional test cases. Due to tight integration with BTC EmbeddedPlatform, the editor knows all details about the test architecture and protects users against invalid data entry. If enumerations are used, a drop-down menu is provided and allows to directly select the desired values.
Further features include a signal generator, a graphical viewer, flexible tolerance handling and a formula editor, allowing us to calculate the value of a certain signal based on other variables. “Test Macros” and “Calibration Sets” can be used to specify and store reusable sequences, and can be instantiated in multiple test cases. This makes it possible to execute test cases directly within the editor and immediately visualize the results.
A direct API connection to (ALM/PLM) requirements management tools (including IBM DOORS, PTC Integrity or Siemens Polarion) ensures reliable traceability of requirements, while avoiding error prone exchange formats like Excel or ReqIF.
In addition to requirements, it is even possible to synchronize test cases and simulation results for accessing test status information on project level directly in our ALM/PLM tool.
In case a requirement gets modified, BTC EmbeddedPlatform will highlight the requirement as well as the linked test cases. A powerful DIFF view allows the user to examine the changes and update the test cases if needed.
The model coverage report documents the achieved coverage of a Simulink/Stateflow models. If test cases exist on different subsystem levels of a larger models, the coverage metrics are automatically aggregated for the higher hierarchy levels
Code coverage is automatically calculated and updated in the background. Create, change, import, or delete a test case? The code coverage report has already been updated to reflect these changes.
BTC EmbeddedPlatform supports “Hierarchical approach” which makes test and verification (incl. Automatic Test Generation, Formal Verification) more efficient & effective especially when working with large software.
You can test/verify child subsystems without additional effort. After the testing/verification, aggregated reports are automatically generated.
BTC EmbeddedPlatform includes a unique debugging approach by generating self-contained sandboxes. These sandboxes contain a copy of the system-under-test as well as the test case incl. the corresponding calibration values. Depending on the use case, this sandbox can either be a Simulink model, a Microsoft Visual Studio project file or a generic code-based sandbox for other IDEs. These sandboxes can be easily shared with colleagues or customers and make it easy to try out modifications without harming the original files.
Advanced requirements-based testing enhanced by formal methods
Requirements-based testing is included
Highly automated and advanced requirements-based testing enhanced by formal methods and automatic test generation
Requirements-based testing is included
Fully automated Back-to-back Test, Regression Test and Migration Test incl. Automatic Test Generation
Requirements-based testing is included
If you would like to try out our tools, we will gladly provide an evaluation license free of charge. Evaluations include a free launch workshop and also provide an opportunity for you to meet one-on-one with our support and engineering teams.
Do you have any questions or want to see our tools in action? If so, please use the link below to schedule a meeting, where a member of our engineering team will be happy to show you the features and use cases and directly answer any questions you might have.
If you would like to try out our tools, we will gladly provide an evaluation license free of charge. Evaluations include a free launch workshop and also provide an opportunity for you to meet one-on-one with our support and engineering teams.
Do you have any questions or want to see our tools in action? If so, please use the link below to schedule a meeting, where a member of our engineering team will be happy to show you the features and use cases and directly answer any questions you might have.
Sharing insights on embedded software development, model-based design, automatic code generation and ISO 26262 compliant testing.
Requirements-based testing for Simulink model
We provide intelligent and automated test solutions which enable our customers to deal with the growing complexity of embedded software while achieving high quality in compliance with the ISO 26262 standard.
Copyright © 2024 BTC Embedded Systems & BTC Japan
