Device for testing the Structural Coverage of a Software Program and a Method Implementing the Device

摘要

The invention relates to a device for testing the structural coverage of a software program and a method implementing the device. The software, stored in a first memory comprises instructions which can be located via addresses on an address bus connecting the processor to the first memory. The device includes a second memory connected to the address bus that can be used to store values in memory associated with each address, these values indicating the conditions for calling up the associated address by the processor. The method consists in erasing all the contents of the second memory, performing tests validating the software, comparing the contents of the second memory with a list of addresses where instructions are located.