Assurance-Based Development and Validation for Auto Program Repairs

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 14, 2020
Accession Number
AD1103561

Entities

People

  • Charles D. Noble
  • Ioannis N. Nearchou
  • Wuwei Shen
  • Zhongqiu Gao

Organizations

  • Western Michigan University

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Air Force
  • Air Force Research Laboratories
  • Classification
  • Computer Programming
  • Computer Science
  • Debugging
  • Engineering
  • Government Procurement
  • Governments
  • Military Research
  • Notation
  • Reliability
  • Software Development
  • Software Testing
  • Systems Engineering
  • Test And Evaluation
  • Xml

Fields of Study

  • Computer science

Readers

  • Applied Combinatorial Optimization and Logic Circuit Design.
  • Computer Science.
  • Systems Analysis and Design