Accession Number:

ADA488747

Title:

An Approach for Developing and Validating Libraries of Temporal Formal Specifications

Descriptive Note:

Master's thesis

Corporate Author:

NAVAL POSTGRADUATE SCHOOL MONTEREY CA

Report Date:

2008-09-01

Pagination or Media Count:

101.0

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.

Subject Categories:

  • Information Science
  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE