An Approach for Developing and Validating Libraries of Temporal Formal Specifications
NAVAL POSTGRADUATE SCHOOL MONTEREY CA
Pagination or Media Count:
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.
- Information Science
- Computer Programming and Software