Code coverage

Decision Coverage Loves Ada Enumerations

A key feature of Ada is its strong typing, and one area that is a lot stronger than in many other imperative languages is enumerations. An enumeration type is simply a collection of distinct symbols. A variable of that type can have any one of those symbols as its value. Here we're looking at how it's easier to monitor decision coverage for Ada than C, in part because of the handling of enumerations.
Read More

What's new in RVS 3.1?

It's been over a year since the release of RVS 3.0 and the introduction of RapiCover, our tool for on-target code coverage. The good news is our development team has been busy since September 2011 - and today we are proud to launch RVS 3.1. So what can you look forward to from this release? Here is an outline of the top 5 new features and improvements.
Read More

Seven misconceptions of MC/DC #1: Getting 100% MC/DC means you've got correct code

Misconception #1 Getting 100% MC/DC means you've got correct code Congratulations! You’ve achieved 100% Modified Condition/Decision Coverage (MC/DC) during your testing. So does this mean that your code is correct? No!
Read More

Seven misconceptions of MC/DC

If you’ve been following this blog, you’ll have seen a number of posts related to MC/DC (Modified Condition/Decision Coverage). DO-178B has driven its use in many aerospace programs, and now, with the introduction of ISO 26262, MC/DC is increasingly becoming relevant to automotive embedded systems. We’ve spent time participating in various discussion groups online, noticing that a number of misconceptions about MC/DC crop up quite regularly. In the first in a series of blog posts, we set out what MC/DC is and provide an outline of the seven frequently-encountered misconceptions about MC/DC.
Read More

How do I set up an MPC5xx IO port to collect data?

At Rapita, our main interest in writing to output ports of microcontrollers is to provide an efficient means of measuring code execution times or code coverage (via our RapiTime or RapiCover tools – both part of RVS). Typically, we’d have some way of logging the values written to the output port, for example the RTBx or a logic analyzer. How do you set up an MPC5xx IO port to collect data?
Read More

Pages