USA flag logo/image

An Official Website of the United States Government

Automated Analysis and Verification of Application Program Interfaces (APIs)

Award Information

Agency:
Department of Defense
Branch:
Navy
Award ID:
98294
Program Year/Program:
2010 / SBIR
Agency Tracking Number:
N093-227-0478
Solicitation Year:
N/A
Solicitation Topic Code:
NAVY 09-227
Solicitation Number:
N/A
Small Business Information
Harmonia Holdings Group
2020 Kraft Drive, Suite 1000 Blacksburg, VA 24060-6491
View profile »
Woman-Owned: Yes
Minority-Owned: Yes
HUBZone-Owned: Yes
 
Phase 1
Fiscal Year: 2010
Title: Automated Analysis and Verification of Application Program Interfaces (APIs)
Agency / Branch: DOD / NAVY
Contract: N00039-10-C-0073
Award Amount: $64,891.00
 

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.

Principal Investigator:

Marc Abrams
PI
5409515901
mabrams@harmonia.com

Business Contact:

Pallabi Saboo
CEO
5409515915
psaboo@harmonia.com
Small Business Information at Submission:

Harmonia, Inc.
2020 Kraft Drive, Suite 1000 Blacksburg, VA 24060

EIN/Tax ID: 541967366
DUNS: N/A
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No