Static Analysis Tool for Interface Compliance Verification and Program Comprehension

Our objective is to develop a static analysis tool that can be used by both software developers and verification specialists to verify compliance with standard interface specifications. As an additional capability, our tool will provide both developers and verification specialists with a robust interactive query-driven program comprehension capability that will significantly reduce the overhead of manual code review. While our tool will be applicable to any large C or C++ code base, we will specifically address issues relevant to the analysis of code developed to the Software Component Architecture (SCA). Our Phase I effort will demonstrate the feasibility of our approach by developing an initial prototype. Particular points of emphasis in our Phase I prototype will be to demonstrate the flexibility and extensibility of our approach. In Phase II we will produce an advanced prototype applicable to third-party applications. The transition target for this system is the JTRS Testing & Evaluation Lab (JTEL) which maintains test capability and certifies code in support of the Joint Tactical Radio System (JTRS) initiative. We will be aided in developing a more robust commercial product and in identifying additional transition opportunities though our collaboration with Mercury Computer Systems who are supporting our proposal.