An approach for developing and validating libraries of temporal formal specifications
Loading...
Authors
Sybor, Colleen A.
Subjects
Advisors
Michael, James B.
Drusinsky, Doron
Shing, Man-Tak
Date of Issue
2008-09
Date
Publisher
Monterey, California. Naval Postgraduate School
Language
Abstract
This thesis examines the role of independent validation in the development of software systems. As software systems become increasingly larger and more complex the role of software validation becomes crucial. In particular, one must make sure that the specification of a software system is correct with respect to customer expectations. We introduce an approach for developing and validating reuse libraries of temporal formal specifications. These libraries include UML statechart based assertions for formal specifications and their associated validation test scenarios. We build the validation test scenarios with the goal of ensuring that specifications within the libraries are indeed error-free and consistent.
Type
Thesis
Description
Series/Report No
Department
Organization
Naval Postgraduate School (U.S.)
Identifiers
NPS Report Number
Sponsors
Funder
Format
xii, 87 p. ;
Citation
Distribution Statement
Approved for public release; distribution is unlimited.