loader image

Test Solutions for Model-based Development

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?

Use Cases

Coverage Analysis

Did I test all?

Introduction

Coverage Analysis

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.

Play now
Play Video
Play now
Play Video

INTEGRATED, AUTOMATED, CERTIFIED

Automatic Coverage Analysis

In BTC EmbeddedPlatform, 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 EmbeddedPlatform even provides individual coverage information for each subfunction or subsystem, making it easy to analyze and optimize coverage even for large applications.

Not ONLY MC/DC

Coverage Goals

In addition to standard structural coverage goals like statement, decision, and MC/DC coverage, BTC EmbeddedPlatform 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. 

Toogle

Statement Coverage

Toogle

Decision/ Branch Coverage

Toogle

Condition Coverage

Toogle

MC/DC Coverage

Toogle

Function Coverage

Toogle

Function Call Coverage

Toogle

Relational Operator Coverage

Toogle

Division by 0 Coverage

Toogle

Downcast Coverage

Toogle

Switch Case Coverage

Toogle

Equivalence Class coverage

Toogle

Boundary Value Coverage

Toogle

User-Defined Coverage

Toogle

Relational Operator Coverage

And MORE

Domain Checks​

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.

100% COMPLETE, 0% MANUAL EFFORT​

Automatic Test Generation for full coverage

BTC EmbeddedPlatform allows generating test cases automatically, providing you 100% coverage of your C-Code.

Request an Evaluation License

If you would like to try out our tools, we will gladly provide an evaluation license free of chargeEvaluations include a free launch workshop and also provide an opportunity for you to meet one-on-one with our support and engineering teams.

Schedule a Meeting with our Engineering Team

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.

Request an Evaluation License​

If you would like to try out our tools, we will gladly provide an evaluation license free of chargeEvaluations include a free launch workshop and also provide an opportunity for you to meet one-on-one with our support and engineering teams.

Schedule a Meeting with our Engineering Team

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.

BTC EMBEDDED SYSTEMS BLOG

From our Blog​

Sharing insights on embedded software development, model-based design, automatic code generation and ISO 26262 compliant testing.

PRODUCT VIDEOS

Videos

Discover some of the main features of our products in these short videos.

BTC EmbeddedPlatform

Test solutions for Model based Development