CertiCover© is designed with avionics software certification in mind – it is inherently compliant with code coverage criteria advocated in the DO-178C for any software level: A, B, or C.
Aerospace pedigree of the tool implies it is equally suitable for verification of any embedded software in automotive, medical, energy, transportation and other safety-critical applications.
CertiCover© is created by software test engineers for software test engineers. It has everything you would expect from such a tool – and, we dare to say, even more than that.
CertiCover© was concieved as an avionics software verification tool hence DO-178C code coverage criteria are in its blood.
Here is what the tool can do for you:
We provide comprehensive Qualification package fully compliant with DO-330 so that you could perform tool qualification by yourselves. If you want to qualify the tool in house, we will provide you with tool development process documents and artifacts including:
Alternatively, you may choose to save your precious time and let us do it for you. In this case we will:
Reinventing the wheel doesn't sound very promising as such. But what if the challenge is taken up by a team of cyclists completed their ride around the globe? Does that make a difference?
We have been doing embedded software verification for 20+ years. We have successfully completed more than 150 projects where structural coverage collection and analysis was indispensable. We have extensively used several most popular structural coverage tools on the market.
The problems and risks that could be encountered during structural coverage collection and analysis are very well understood by our team: we have faced them and learned to cope with them many times. Our job – just like yours – is to get the software properly tested, so we created the tool making this job even more productive and enjoyable.
With CertiCover©, we’ve got you covered.