Computer-Aided Discovery of Formal Specification Behavioral Requirements and Requirement to Implementation Mappings

Abstract

This paper presents two computer-aided techniques for discovering formal specification behavioral requirements and for mapping components and methods within an implementation to their driving requirements. The first technique is an informal technique while the second technique is formal. The first technique uses a system reference model (SRM) abstraction and a set of existing formal specifications to discover implementation components that are not well covered by the formal specification set. This technique also provides a mapping between requirements and code segments driven by those requirements. The second technique uses a bounded constraint solver to match a set of tests with a generic formal specification taken from a small library

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2014
Accession Number
ADA596790

Entities

People

  • Doron Drusinsky

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • Autonomy
  • Materials and Manufacturing Processes
  • Sensors

DTIC Thesaurus Topics

  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Concrete
  • Department Of Defense
  • Language
  • Military Research
  • Natural Languages
  • Semantics
  • Sequences
  • Software Development
  • Specifications
  • Standards
  • Storage
  • Validation
  • Verification

Fields of Study

  • Computer science
  • Engineering

Readers

  • Artificial Intelligence
  • Computer Science.