Model-Based Verification: Scope, Formalism, and Perspective Guidelines
• Technical Note
Publisher
Software Engineering Institute
CMU/SEI Report Number
CMU/SEI-2001-TN-024DOI (Digital Object Identifier)
10.1184/R1/6575549.v1Topic or Tag
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 November 27, 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-Nov-27}
}
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: 27-Nov-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 27 Nov. 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