Automated Solutions for Embedded Software Using Coverage Analysis and Static Analysis

Datalogic decided to develop an application-specific integrated circuit (ASIC) to make the hardware platform uniform. To cover the big variety of applications the decision to integrate a microcontroller was made. Changing the firmware on an ASIC is expensive, and must be handled carefully so it is better to develop tests with good code coverage to avoid following bug fixes. 

VectorCAST provided an effective and easy-to-use solution to perform both a static test on the entire project and subsequently a code coverage analysis with a simple storage method for executed test cases. 

For this project, VectorCAST/Lint was used to perform the static analysis of the entire project. Additionally, VectorCAST/QA was used to perform the code coverage analysis as a method of covering the Branch coverage. 

Category : Whitepaper
Size : 83.12 KB
MD5 hash : 1ec4eed4811bdce76e76420194d740a1

Please fill in the following form to get the download link via e-mail:

* Required