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.
Pietras, Christopher R. (Monterey, California. Naval Postgraduate School, 1993-09);The United States Coast Guard is upgrading communications equipment at remote sites in Alaska in support of the Coastal Voice Distress Network. The VHF-FM Search and Rescue sites are powered by a primary power system ...
Raque, Steven; Drusinsky, Doron (Monterey, California. Naval Postgraduate School, 2010-02-02); NPS-CS-10-002The NASA Independent Verification and Validation (IV&V) Facility is using formal specification techniques for the IV&V of the flight software for several upcoming missions. Such formal specifications are typically created ...
Steigerwald, Robert Allen (Monterey, California. Naval Postgraduate School, 1991-12);Efforts in the software engineering community to reuse code are hampered by a lack of tools. Reusability is particularly beneficial in a rapid prototyping environment. Rapid prototyping with automated reusable software ...