Tool for error detection in software using aspect specification

摘要

Bugs are identified within a subject program by embellishing the program with specifications that specify relationships between abstract components of objects of the program. The dependency specified by the specifications are compared with the dependencies provided within the code of the subject program to identify any missing dependencies between abstract components in the code. Any missing dependencies in the code point to errors within the subject program.