Automated Analysis and Verification of Application Program Interfaces (APIs)

Award Information
Agency: Department of Defense
Branch: Navy
Contract: N00039-10-C-0073
Agency Tracking Number: N093-227-0478
Amount: $64,891.00
Phase: Phase I
Program: SBIR
Awards Year: 2010
Solicitation Year: 2009
Solicitation Topic Code: N093-227
Solicitation Number: 2009.3
Small Business Information
2020 Kraft Drive, Suite 1000, Blacksburg, VA, 24060
DUNS: 016442399
HUBZone Owned: N
Woman Owned: Y
Socially and Economically Disadvantaged: Y
Principal Investigator
 Marc Abrams
 PI
 (540) 951-5901
 mabrams@harmonia.com
Business Contact
 Pallabi Saboo
Title: CEO
Phone: (540) 951-5915
Email: psaboo@harmonia.com
Research Institution
N/A
Abstract
The Joint Tactical Radio System (JTRS) program has defined a set of standard application programming interfaces (APIs) to facilitate construction of software-defined radios. The standards define how an Operating Environment and Waveforms interact with each other. The APIs are defined in the Interface Definition Language (IDL). We apply our Conforma infrastructure for artifact assessment developed under SBIR N07-137. We develop Conforma plug-ins to verify APIs represented by IDL prior to compilation. We compare the IDL as defined in the JTRS standard to the IDL that is present in a software package delivered by a vendor to the JTRS program (termed developer IDL). Currently a portion of testing is automated through BeyondCompare, however BeyondCompare does not allow the tester to define or modify the set of rules of its syntax checker. In contrast, Conforma is a collection of open source components that is driven by a verification process and set of rules. Also the reports that Conforma generates are driven by a flexible reporting engine. Deficiencies detected include differences in names of IDL files, improper use of naming conventions (e.g., upper or lower case), differences in ordering of the APIs, and missing content from the developer IDL.

* 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
Environmental Protection Agency logo
National Aeronautics and Space Administration logo
National Science Foundation logo
US Flag An Official Website of the United States Government