Computer-aided Discovery of Formal Specification Behavioral Requirements and Requirement to Implementation Mappings
MetadataShow full item record
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.
Approved for public release; distribution is unlimited.
NPS Report NumberNPS-CS-14-001
Showing items related by title, author, creator and subject.
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 ...
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 ...
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 ...