Play now
Video abspielen
Play now
Video abspielen
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?
Did I test all my code?
Code coverage has always played an important role in embedded software development projects as a means of showing that all parts of the code have been tested. In particular, the ISO 26262 standard mandates that testing should fulfill coverage metrics like statement, decision, and MC/DC coverage.
Most development projects already perform code coverage analysis , but often in an inefficient manner. Often the code coverage is measured during test execution by using instrumented code, so the user must explicitly run all tests to obtain the desired metrics. Add or change a test case? Chances are, you’ll need to run all tests again to get an aggregated coverage report. Furthermore, to obtain the test results for the production code, the tests likely will need to be re-executed on the non-instrumented code– twice the work for what should be the same task!
In BTC EmbeddedTester, 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. Want to see the coverage provided by a certain subset of test cases? The answer is just a click away. BTC EmbeddedTester even provides individual coverage information for each subfunction or subsystem, making it easy to analyze and optimize coverage even for large applications.
In addition to standard structural coverage goals like statement, decision, and MC/DC coverage, BTC EmbeddedTester offers a wide range of additional coverage goals, like the “relational operator” or “robustness” goals, to simplify testing for common, bug-prone situations. The “relational operator” goal analyses whether or not the critical sections surrounding a particular threshold have been tested; so, for example, if your code has the condition “if x is greater than 5“, a relational operator goal will check what happens when x takes on values 4, 5 and 6. The similarly-useful “robustness” goal , meanwhile, allows you to rigorously search for critical situations, like division by zero or downcasting.
With our “Domain Checks” feature, you can define or import individual values or value ranges for each interface object. This enables you to efficiently comply with the ISO 26262 requirements on equivalence classes and boundary value analysis.
For even more flexibility, the User-defined Coverage Goals add-on provides a powerful editor with full access to all interface variables in which you can express additional coverage goals as boolean or mathematical expressions. Would you like to know if two outputs can have a particular value at the same time? The answer is just one click away.
Many use cases in embedded software development require a set of test cases which deliver 100% structural coverage of the system under test. With manually created test data, this is often impossible to achieve.
While many test solutions on the market rely on random test generation methods, BTC EmbeddedTester uses a unique model checking algorithm to generate mathematically complete structural test cases for 100% coverage. The test case generator has direct access to all input variables and calibrations, allowing it to detect issues that have not been revealed by functional test cases. Unlike random algorithms, this technology not only generates the smallest and shortest set of test cases to cover the desired objectives, but it also performs a dynamic analysis that can mathematically prove that an objective is unreachable. This means that there is no possible set of inputs and calibrations that can ever lead the system into that state, granting you the confidence that your code doesn’t suffer from potentially unsafe conditions.
Sie möchten unsere Tools in Ihrer Entwicklungsumgebung testen? Gerne stellen wir Ihnen eine kostenfreie Evaluierungslizenz zur Verfügung., inkl. Kick-Off Trainings-Workshop und Support durch unser Team.
Sie haben Fragen oder Interesse an einer persönlichen Tool Demo? Nutzen Sie unten stehenden Link, um ein unverbindliches Meeting mit unserem Engineering Team zu buchen.
Sie möchten unsere Tools in Ihrer Entwicklungsumgebung testen? Gerne stellen wir Ihnen eine kostenfreie Evaluierungslizenz zur Verfügung., inkl. Kick-Off Trainings-Workshop und Support durch unser Team.
Sie haben Fragen oder Interesse an einer persönlichen Tool Demo? Nutzen Sie unten stehenden Link, um ein unverbindliches Meeting mit unserem Engineering Team zu buchen.
Smart test generation for an ISO 26262 certified and fully automated Back-to-Back Test
Wir entwickeln automatisierte und intelligente Test Lösungen, welche unseren Kunden weltweit dabei helfen, eine hohe Software Qualität im Einklang mit dem ISO 26262 Standard zu erreichen
Copyright © 2024 BTC Embedded Systems
