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?

3 Reasons to Consider Using a Floating-Point Model to Generate Fixed-Point Code

Despite the availability of fast processors with dedicated floating-point support, we still see many projects generating fixed-point code. The reason for this is not only the resource usage, but also the more transparent and predictable mathematical behavior. You can read more about this in our previous articles “What you should know about fixed-point” and “What […]

What You Should Know About Fixed-Point

Vocabulary: Floating-point? – Fixed-point? – Scaling? – Resolution? – LSB? Basically, we can distinguish between two kinds of datatypes in embedded code: Floating-point and Integer. An integer variable basically represents whole numbers and the value range is limited by the number of bits. For example, an (unsigned) 8bit Integer can represent 2^8=256 different values, by default ranging from […]

When and how to generate test cases automatically

The automatic generation of test cases has always been a controversial topic. While some people dream about stopping any manual test activities others say that test generation is not allowed. But who is right? Test Goals for test case generation Let’s have a quick look at the possible test goals for which we can generate […]

Modular Model-based Software Architecture for Efficient Unit and Integration Test

The use of model-based design to develop embedded software is well established in automotive projects but with the growing size and complexity of software, handling big sized model is often a challenge. Model-based design enables to easily craft a software application and from one step to another refine it, test it and generate the production […]

4 Ways to Detect Undesired Changes During a Tool Version Migration

4) Software Requirements in ISO 26262 chapter 6 Software requirements are the result of a transformation process of the TSRs allocated to software parts and the HSIs into a set of requirements used to develop the software functions. In parallel, hardware requirements are also derived to develop the hardware elements. Software requirements describe the static […]

Should I test the Model or the Code?

Model-based software development (MBD) with tools like Simulink and TargetLink in the automotive industry has grown over the past years and is a well-established development methodology today. Despite all the advantages, it can’t be denied that MBD introduces one additional step in the development process. In addition to the production C code there is also […]

What you should know about code coverage

Each time we talk about testing, we also talk about code coverage. But why is it important to keep an eye on code coverage and what are possible code coverage goals? What is code coverage? Code coverage is the sum of all coverage goals that are covered by a set of test cases. Coverage goals […]