Method and apparatus for path-based code coverage analysis

A method (100) and apparatus (500) for path-based computer code coverage analysis are disclosed. The method (100) determines (110, 310) a set of possible paths through a piece of source code (540). The method (100) also identifies (120, 420) one or more paths of actual operation through the source code (540), based on either simulation or execution of the piece of source code (540). Finally, the method (100) compares (130) the one or more paths of actual operation to the set of possible paths. The apparatus (500) comprises a path enumerator module (510), a path extractor module (520) and a comparator (530) connected to the two modules (510, 520). The path enumerator module (510) reads a segment of source code (540) and outputs a list of possible paths (550) through the segment of source code (540). The path extractor module (520) reads one or more trace files (560) produced from operation of the segment of code (540) and produces one or more respective operational paths (580) through the segment of source code (540). The comparator (530) compares the operational paths (580) to the possible paths (550). Corresponding computer software embedded on a computer readable medium is also disclosed.