Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Technical Note

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.

  • Download

Cite This Report

SEI

Gluch, David; Comella-Dorda, Santiago; Hudak, John; Lewis, Grace; Walker, Julie; & Weinstock, Charles. Model-Based Verification: Scope, Formalism, and Perspective Guidelines (CMU/SEI-2001-TN-024). Software Engineering Institute, Carnegie Mellon University, 2001. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=5541

IEEE

Gluch. David, Comella-Dorda. Santiago, Hudak. John, Lewis. Grace, Walker. Julie, and Weinstock. Charles, "Model-Based Verification: Scope, Formalism, and Perspective Guidelines," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Technical Note CMU/SEI-2001-TN-024, 2001. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=5541

APA

Gluch, David., Comella-Dorda, Santiago., Hudak, John., Lewis, Grace., Walker, Julie., & Weinstock, Charles. (2001). Model-Based Verification: Scope, Formalism, and Perspective Guidelines (CMU/SEI-2001-TN-024). Retrieved December 17, 2014, from the Software Engineering Institute, Carnegie Mellon University website: http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=5541

CHI

David Gluch, Santiago Comella-Dorda, John Hudak, Grace Lewis, Julie Walker, & Charles Weinstock. Model-Based Verification: Scope, Formalism, and Perspective Guidelines (CMU/SEI-2001-TN-024). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 2001. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=5541

MLA

Gluch, David., Comella-Dorda, Santiago., Hudak, John., Lewis, Grace., Walker, Julie., & Weinstock, Charles. 2001. Model-Based Verification: Scope, Formalism, and Perspective Guidelines (Technical Report CMU/SEI-2001-TN-024). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=5541