Static Analysis Tool for Interface Compliance Verification and Program Comprehension

This Phase II.5 effort will advance the state of test technology for Software Defined Radio (SDR) applications and operating environments through the continued development of the R-Check SCA tool. R-Check SCA is a static analysis tool being used by the Joint Program Executive Office (JPEO) Joint Tactical Radio System (JTRS) Test and Evaluation Laboratory (JTEL). R-Check SCA accelerates and improves the precision of the compliance certification process of JTRS waveforms against requirements derived from the Software Communications Architecture (SCA) specification, version 2.2 and 2.2.2. R-Check SCA has dramatically improved the accuracy and efficiency of certifying several of the most difficult SCA requirements. Over a period of eighteen (18) months, this Phase II.5 effort will lead to an enterprise solution for static code analysis that (1) improves tool ease-of-use and extensibility in reducing end-to-end testing and cost, (2) plugs into Integrated Development Environments (IDEs) used by prime vendors, (3) identifies potential memory leaks, and (4) can be leveraged to support other JTEL efforts.