icon-carat-right menu search cmu-wordmark

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

Technical Note
This report provides guidance for defining the scope, formalism, and perspective for applying MBV, a systematic approach to finding defects in software requirements, designs, or code.
Publisher

Software Engineering Institute

CMU/SEI Report Number
CMU/SEI-2001-TN-024
DOI (Digital Object Identifier)
10.1184/R1/6575549.v1

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.

Cite This Technical Note

Gluch, D., Comella-Dorda, S., Hudak, J., Lewis, G., Walker, J., & Weinstock, C. (2001, October 1). Model-Based Verification: Scope, Formalism, and Perspective Guidelines. (Technical Note CMU/SEI-2001-TN-024). Retrieved December 13, 2024, from https://doi.org/10.1184/R1/6575549.v1.

@techreport{gluch_2001,
author={Gluch, David and Comella-Dorda, Santiago and Hudak, John and Lewis, Grace and Walker, Julie and Weinstock, Charles},
title={Model-Based Verification: Scope, Formalism, and Perspective Guidelines},
month={{Oct},
year={{2001},
number={{CMU/SEI-2001-TN-024},
howpublished={Carnegie Mellon University, Software Engineering Institute's Digital Library},
url={https://doi.org/10.1184/R1/6575549.v1},
note={Accessed: 2024-Dec-13}
}

Gluch, David, Santiago Comella-Dorda, John Hudak, Grace Lewis, Julie Walker, and Charles Weinstock. "Model-Based Verification: Scope, Formalism, and Perspective Guidelines." (CMU/SEI-2001-TN-024). Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, October 1, 2001. https://doi.org/10.1184/R1/6575549.v1.

D. Gluch, S. Comella-Dorda, J. Hudak, G. Lewis, J. Walker, and C. Weinstock, "Model-Based Verification: Scope, Formalism, and Perspective Guidelines," Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, Technical Note CMU/SEI-2001-TN-024, 1-Oct-2001 [Online]. Available: https://doi.org/10.1184/R1/6575549.v1. [Accessed: 13-Dec-2024].

Gluch, David, Santiago Comella-Dorda, John Hudak, Grace Lewis, Julie Walker, and Charles Weinstock. "Model-Based Verification: Scope, Formalism, and Perspective Guidelines." (Technical Note CMU/SEI-2001-TN-024). Carnegie Mellon University, Software Engineering Institute's Digital Library, Software Engineering Institute, 1 Oct. 2001. https://doi.org/10.1184/R1/6575549.v1. Accessed 13 Dec. 2024.

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. 2001. https://doi.org/10.1184/R1/6575549.v1