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 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.
NPS Report Number
NPS-CS-14-001Related items
Showing items related by title, author, creator and subject.
-
MK 92 MOD 2 Fire Control System Maintenance Advisor Expert System : implementation and deployment
Leonard, Thomas J. (Monterey, California : Naval Postgraduate School, 1996-09);This thesis perpetuates research aimed at deploying a diagnostic expert system for the MK 92 Mod 2 Fire Control System to 28 Oliver Hazard Perry class fast frigates. Referred to as the Maintenance Advisor Expert System ... -
Creation and Evaluation of Formal Specifications for System-of-Systems Development
Drusinsky, Doron; Shing, Man-Tak (2005);Studies have suggested that formal specifications and lightweight formal methods help improve the clarity and precision of the requirements specification. This paper describes a process to augment the current informal approaches ... -
Deploying crowd-sourced formal verification systems in a DoD network
Dumlupinar, Mahmut Firuz (Monterey, California: Naval Postgraduate School, 2013-09);Manual formal software verification is an expensive and time-consuming process. Military software is currently verified manually by highly skilled analysts. To reduce the high costs of the formal verification, DARPA started ...