Accession Number:

ADA621648

Title:

Prospects for Evidence -Based Software Assurance: Models and Analysis

Descriptive Note:

Final rept. Mar 2012-Mar 2015

Corporate Author:

CARNEGIE-MELLON UNIV PITTSBURGH PA

Personal Author(s):

Report Date:

2015-09-01

Pagination or Media Count:

147.0

Abstract:

The project addresses the challenge of software assurance in the presence of rich supply chains. As a consequence of the focus on supply chains, the project addresses two broad technical questions First, what are the elements of an evidence - based approach, relying on both formal and informal evidence that can support assurance judgments that are effective and rapid Second, How can these ideas support composition of judgments about the many separate software components, libraries, and frameworks that are typically required for larger software projects Progress on these two questions is intended to inform a broader question of great significance to DoD, which is what are forms of a software deliverable that are more effective in support both acceptance evaluation OTE and also ongoing evolution as part of the process of sustainment and modernization. The idea is that a useful body of evidence can link deliverable code and documentation with requirements, architecture, and quality models. Additionally, these models and traceability links can support agile-style evolution in a code.

Subject Categories:

  • Computer Programming and Software
  • Computer Hardware
  • Computer Systems Management and Standards

Distribution Statement:

APPROVED FOR PUBLIC RELEASE