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.
An application of Alloy to static analysis for secure information flow and verification of software systems Shaffer, Alan B. (Monterey, California. Naval Postgraduate School, 2008., 2008-12);Within a multilevel secure (MLS) system, flaws in design and implementation can result in overt and covert channels, both of which may be exploited by malicious software to cause unauthorized information flows. To address ...
Lisowski, Matthew A. (Monterey, California. Naval Postgraduate School, 2000-12);With the shrinking defense budget, the U. S. Department of Defense (DoD) has relied more on commercial-off-the-shelf (COTS) and contracted software systems. Government contractors and commercial developers currently rely ...
Ibrahim, Osman Mohamed. (Monterey, California. Naval Postgraduate School, 1996);This dissertation introduces a formal model for requirements analysis and evolution and a decision support mechanism based on that model. Both the model and the decision support mechanism provide automated support for the ...