Automated Analysis and Verification of Application Program Interfaces (APIs)

Fully retesting a modified system is frequently not economically feasible. Thorough retesting takes too much time and costs too much.Trident has established a process and methodology, called Safe Test Boundaries (STB) that improves retesting modified baseline systems. The methodology defines a safe test boundary around the modified and impacted cooperating units interacting with the baseline system. Trident is supporting the Navy in its Open Architecture initiative which promotes the reuse of design artifacts. In many cases those artifacts are stored in repositories across the Navy. To promote reuse of these artifacts, the Navy is reimplementing the Software Hardware Asset Reuse Enterprise (SHARE), which was initially deployed in August of 2006. SHARE is allowing a user of any repository to search the entire set for artifacts that match the requested criteria. When desired artifacts are found they can be retrieved and modified for use in the new system. Modified components, however, need to be retested This project integrates STB into SHARE so that programs reusing assets from SHARE can understand the full LOE when incorporating the asset into their system. By making STB accessible from SHARE, programs will be able to assess the impact of proposed or requisite coding changes.