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

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...

Full description

Saved in:
Bibliographic Details
Main Authors: Gluch, David P, Comella-Dorda, Santiago, Hudak, John, Lewis, Grace, Walker, John
Format: Report
Language:English
Subjects:
COMPUTER PROGRAM VERIFICATION
Computer Programming and Software
COMPUTER PROGRAMS
DEFECTS(MATERIALS)
ERROR ANALYSIS
FORMALISM
MBV(MODEL-BASED VERIFICATION)
PERSPECTIVE
QUALITY ASSURANCE
SCOPE
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.