Static Analysis Tool for Interface Compliance Verification and Program Comprehension

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.