Static Analysis Tool for Interface Compliance Verification and Program Comprehension

Award Information
Agency:
Department of Defense
Branch
Navy
Amount:
$950,187.00
Award Year:
2009
Program:
SBIR
Phase:
Phase II
Contract:
N00039-09-C-0118
Agency Tracking Number:
N073-185-0144
Solicitation Year:
2007
Solicitation Topic Code:
N07-185
Solicitation Number:
2007.3
Small Business Information
Reservoir Labs., Inc.
632 Broadway, Suite 803, New York, NY, 10012
Hubzone Owned:
N
Socially and Economically Disadvantaged:
N
Woman Owned:
N
Duns:
022423854
Principal Investigator:
James Ezick
Senior Engineer
(212) 780-0527
ezick@reservoir.com
Business Contact:
Melanie Peters
Senior Engineer
(212) 780-0527
peters@reservoir.com
Research Institution:
n/a
Abstract
Our objective is to develop a suite of analysis tools (with both static and dynamic components) usable by both software developers and testing specialists to evaluate compliance of Joint Tactical Radio System (JTRS) software codes with requirements derived from the Software Communications Architecture (SCA) standard. In Phase I, we demonstrated both static and dynamic analysis tool prototypes that were able to check selected SCA requirements against the FM3TR reference waveform and, for the purposes of demonstrating scalability, other large off-the-shelf code bases. The transition target for this system is the JTRS Testing & Evaluation Laboratory (JTEL) which maintains test capability and certifies code in support of the JTRS initiative. In Phase II, we will deliver tool technology, applicable to any large C or C++ code case, that will allow developers to reason about their own code while providing a push-button tool to testing engineers. These tools will perform essential evaluation functions currently performed by JTEL through a combination of manual code review and ad hoc on-site testing. We will be aided in developing a more robust commercial product and in identifying additional transition opportunities though our ongoing collaboration with Mercury Federal Systems.

* information listed above is at the time of submission.

Agency Micro-sites

US Flag An Official Website of the United States Government