Model-Based Verification - Scope, Formalism, and Perspective Guidelines

Abstract

The goal of model-based verification (MBV) is to reduce the number of defects. Like any other quality assurance (QA) technique, it is not equally efficient in every situation. It is critical to determine where and how to use MBV to achieve the largest impact in terms of the number and criticality of defects found with a reasonable amount of effort. This document provides guidance for defining the scope, formalism (approach and tools), and perspective for applying MBV. The critical (important or risky) aspects of the system and its development, including both programmatic and technical issues, drive these choices and form the basis for these guidelines.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 2001
Accession Number
ADA396628

Entities

People

  • David P. Gluch
  • Grace Lewis
  • John J. Hudak
  • John K. Walker
  • Santiago Comella-dorda

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Air Platforms
  • Human Systems
  • Weapons Technologies

DTIC Thesaurus Topics

  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Configuration Management
  • Engineering
  • Engineers
  • Failure Mode And Effect Analysis
  • Guarantees
  • Guidance
  • Homosexuality
  • Language
  • Materials
  • New York
  • Software Development
  • Systems Engineering
  • Verification

Readers

  • Computational Modeling and Simulation
  • Instructional Design and Training Evaluation.
  • Systems Analysis and Design