Accession Number:

AD1103561

Title:

Assurance-Based Development and Validation for Auto Program Repairs

Descriptive Note:

Technical Report,01 Nov 2018,31 Jan 2020

Corporate Author:

Western Michigan University Kalamazoo United States

Report Date:

2020-07-14

Pagination or Media Count:

38.0

Abstract:

In this project, a novel technique to evaluate the quality of an auto program repair by means of employing the D-S theory as well as the symbolic execution engine called KLEE to reveal the difference between two versions of a program as much as possible was developed. Specifically, we generate various test case reports covering as many different paths in both versions as possible. Based on the test case reports, we apply the safety pattern to generate an assurance case in the Goal Structuring Notation GSN showing how an auto program repair technique is evaluated. Last, our technique adopts the D-S theory to evaluate the assurance case as the final evaluation of quality of an auto program repair.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE