Accession Number : ADA596790


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


Descriptive Note : Technical rept. Apr 2013-Feb 2014


Corporate Author : NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE


Personal Author(s) : Drusinsky, Doron


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a596790.pdf


Report Date : Jan 2014


Pagination or Media Count : 24


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


Descriptors :   *COMPUTER AIDED DESIGN , COMPUTER PROGRAMS , MAPPING , REQUIREMENTS , SPECIFICATIONS , VALIDATION , VERIFICATION


Subject Categories : Computer Programming and Software


Distribution Statement : APPROVED FOR PUBLIC RELEASE