An Approach for Developing and Validating Libraries of Temporal Formal Specifications

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 2008
Accession Number
ADA488747

Entities

People

  • Colleen A. Sybor
  • James J. Sordi Jr.

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • Biomedical
  • Engineered Resilient Systems
  • Materials and Manufacturing Processes
  • Weapons Technologies

DTIC Thesaurus Topics

  • Complex Systems
  • Computer Programming
  • Computers
  • Debugging
  • Department Of Defense
  • Engineering
  • Engineers
  • Language
  • Natural Languages
  • New York
  • Reliability
  • Software Design
  • Software Development
  • Specifications
  • Standards
  • Time Intervals
  • Validation

Fields of Study

  • Computer science
  • Engineering

Readers

  • Software Engineering.