Static Analysis Tool for Interface Compliance Verification and Program Comprehension
Small Business Information
Reservoir Labs., Inc.
632 Broadway, Suite 803, New York, NY, -
AbstractThis 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.
* information listed above is at the time of submission.