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.
NPS Report NumberNPS-CS-14-001
Showing items related by title, author, creator and subject.
Alderman, Robert Bruce (Monterey, California: U.S. Naval Postgraduate School, 1986-09);This thesis concerns the software requirements necessary to automate the present manual effort associated with ammunition inventory management and reporting at the afloat end-user level. Functional characteristics for the ...
A requirements specification of modifications to the Functional Description of the Mission Space Resource Center. Nelson, Paul M. (2001-06);The Defense Modeling and Simulation Office developed the Functional Description of the Mission Space (FDMS) Resource Center under the guidance of DoD 5000.59-P, DoD Modeling and Simulation Master Plan. The FDMS Resource ...