SBIR-STTR Award

  1. You are here:    Home
  2. Search Databases
  3. Search SBIR-STTR Awards
  4. SBIR-STTR Award

Automated Analysis and Verification of Application Program Interfaces (APIs)
Award last edited on: 11/8/2018

Sponsored Program
SBIR
Awarding Agency
DOD : Navy
Total Award Amount
$1,145,840
Award Phase
2
Solicitation Topic Code
N093-227
Principal Investigator
Susan Tremel

Company Information

DataSoft Corporation

1275 West Washington Street Suite 106
Tempe, AZ 85281
   (480) 763-5777
   info@datasoft.com
   www.datasoft.com
Location: Single
Congr. District: 04
County: Maricopa

Phase I

Contract Number: N00039-10-C-0075
Start Date: 5/3/2010    Completed: 11/3/2010
Phase I year
2010
Phase I Amount
$99,843
The DataSoft Interface Verification Application (DIVA) provides an automated robust solution for accurate and repeatable verification of developer source code compliance to a set of Standard API’s. The tool then generates customized compliance reports for the user that accurately summarize all vendor deviations from the standard API. DIVA can verify a single API file or all of the API files in a collection at the same time and generates suitable reports for each including a summary report if verifying more than one API. Our algorithms are based on customized categories of vendor deviations and mapping of API source code into independent abstract parse trees for sorting, analysis, and comparison to minimize false positives and negatives. This focuses the comparison on the real content of the APIs, eliminating trivial text based artifacts that hinder simple text comparison tools. This fully automated tool eliminates the need for manual inspection of vendor source code and improves the overall API verification process.

Keywords:
Api, Api, Parse, Sdr, Compliance, Algorithms, Specification, Verification, Jtrs

Phase II

Contract Number: N66001-11-C-5222
Start Date: 7/24/2014    Completed: 4/23/2015
Phase II year
2014
Phase II Amount
$1,045,997
The DataSoft Interface Verification Application (DIVA) provides an automated robust solution for accurate and repeatable verification of developer source code compliance to a set of Standard API’s. DIVA generates customized compliance reports for the user that accurately summarize all vendor deviations from the standard API. In addition, DIVA can verify a single API file or all of the API files in a collection at the same time and generates suitable reports for each including a summary report if verifying more than one API. Our algorithms are based on customized categories of vendor deviations and mapping of API source code into independent parse trees for sorting, analysis, and comparison to minimize false positives and negatives. This focuses the comparison on the real content of the APIs, eliminating trivial text based artifacts that hinder simple text comparison tools. This fully automated tool eliminates the need for manual inspection of vendor source code and improves the overall API verification process.

Keywords:
Algorithms, Algorithms, Compliance, Api, Jtrs, Verification, Sdr, Parse, Specification