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 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.
This report is related to the following area(s) of work:
Performance and DependabilityTechnical Note
CMU/SEI-2001-TN-024
October 2001
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://www.sei.cmu.edu/library/abstracts/reports/01tn024.cfm
IEEE:
D. Gluch, S. Comella-Dorda, J. Hudak, G. Lewis, J. Walker, and C. Weinstock, "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://www.sei.cmu.edu/library/abstracts/reports/01tn024.cfm
APA:
Gluch, D., Comella-Dorda, S., Hudak, J., Lewis, G., Walker, J., & Weinstock, C. (2001). Model-Based Verification: Scope, Formalism, and Perspective Guidelines (CMU/SEI-2001-TN-024). Retrieved June 19, 2013, from the Software Engineering Institute, Carnegie Mellon University website: http://www.sei.cmu.edu/library/abstracts/reports/01tn024.cfm
CHI:
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). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 2001. http://www.sei.cmu.edu/library/abstracts/reports/01tn024.cfm
MLA:
Gluch, D., Comella-Dorda, S., Hudak, J., Lewis, G., Walker, J., & Weinstock, C. 2001. Model-Based Verification: Scope, Formalism, and Perspective Guidelines (Technical Report CMU/SEI-2001-TN-024). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://www.sei.cmu.edu/library/abstracts/reports/01tn024.cfm
Find Us Here
Share This Page
For more information
