Static Analysis Tool for Interface Compliance Verification and Program Comprehension

Award Information
Agency: Department of Defense
Branch: Navy
Contract: N00039-08-C-0049
Agency Tracking Number: N073-185-0144
Amount: $99,985.00
Phase: Phase I
Program: SBIR
Awards Year: 2008
Solicitation Year: 2007
Solicitation Topic Code: N07-185
Solicitation Number: 2007.3
Small Business Information
632 Broadway, Suite 803, New York, NY, 10012
DUNS: 022423854
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: N
Principal Investigator
 James Ezick
 Senoir Engineer
 (212) 780-0527
Business Contact
 Melanie Peters
Title: Business Manager
Phone: (212) 780-0527
Research Institution
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.

* information listed above is at the time of submission.

Agency Micro-sites

SBA logo
Department of Agriculture logo
Department of Commerce logo
Department of Defense logo
Department of Education logo
Department of Energy logo
Department of Health and Human Services logo
Department of Homeland Security logo
Department of Transportation logo
Environmental Protection Agency logo
National Aeronautics and Space Administration logo
National Science Foundation logo
US Flag An Official Website of the United States Government