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.
Drusinsky, Doron (2008);Formal verification of system-of-systems uses computer-based techniques to assure that the behavior of a subject system of systems complies with its formal correctness specifications. Such formal specifications are often ...
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 ...