Static Analysis Tool for Interface Compliance Verification and Program Comprehension

Award Information
Agency:
Department of Defense
Branch
Navy
Amount:
$99,985.00
Award Year:
2008
Program:
SBIR
Phase:
Phase I
Contract:
N00039-08-C-0049
Award Id:
87357
Agency Tracking Number:
N073-185-0144
Solicitation Year:
n/a
Solicitation Topic Code:
n/a
Solicitation Number:
n/a
Small Business Information
632 Broadway, Suite 803, New York, NY, 10012
Hubzone Owned:
N
Minority Owned:
N
Woman Owned:
N
Duns:
022423854
Principal Investigator:
James Ezick
Senoir Engineer
(212) 780-0527
ezick@reservoir.com
Business Contact:
Melanie Peters
Business Manager
(212) 780-0527
peters@reservoir.com
Research Institution:
n/a
Abstract
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

Enviromental Protection Agency logo

National Aeronautics and Space Administration logo

National Science Foundation logo
US Flag An Official Website of the United States Government