Model-Based Verification: Claim Creation Guidelines
• Technical Note
Publisher
Software Engineering Institute
CMU/SEI Report Number
CMU/SEI-2001-TN-018Topic or Tag
Abstract
Model Based Verification (MBV) is a systematic approach to finding defects (errors) in software requirements, designs, or code. MBV involves creating essential models of system behavior and analyzing these models against formal representations of expected properties, known as claims. Claim generation has been identified as a particularly complex activity within model-based verification. This technical note describes a pattern-based approach to facilitate claim generation. The report includes a list of directly usable patterns for the most frequent expected properties found in system specifications.
Cite This Technical Note
Comella-Dorda, S., Gluch, D., Hudak, J., Lewis, G., & Weinstock, C. (2001, October 1). Model-Based Verification: Claim Creation Guidelines. (Technical Note CMU/SEI-2001-TN-018). Retrieved December 22, 2024, from https://insights.sei.cmu.edu/library/model-based-verification-claim-creation-guidelines/.
@techreport{comella-dorda_2001,
author={Comella-Dorda, Santiago and Gluch, David and Hudak, John and Lewis, Grace and Weinstock, Charles},
title={Model-Based Verification: Claim Creation Guidelines},
month={{Oct},
year={{2001},
number={{CMU/SEI-2001-TN-018},
howpublished={Carnegie Mellon University, Software Engineering Institute's Digital Library},
url={https://insights.sei.cmu.edu/library/model-based-verification-claim-creation-guidelines/},
note={Accessed: 2024-Dec-22}
}
Comella-Dorda, Santiago, David Gluch, John Hudak, Grace Lewis, and Charles Weinstock. "Model-Based Verification: Claim Creation Guidelines." (CMU/SEI-2001-TN-018). Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, October 1, 2001. https://insights.sei.cmu.edu/library/model-based-verification-claim-creation-guidelines/.
S. Comella-Dorda, D. Gluch, J. Hudak, G. Lewis, and C. Weinstock, "Model-Based Verification: Claim Creation Guidelines," Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, Technical Note CMU/SEI-2001-TN-018, 1-Oct-2001 [Online]. Available: https://insights.sei.cmu.edu/library/model-based-verification-claim-creation-guidelines/. [Accessed: 22-Dec-2024].
Comella-Dorda, Santiago, David Gluch, John Hudak, Grace Lewis, and Charles Weinstock. "Model-Based Verification: Claim Creation Guidelines." (Technical Note CMU/SEI-2001-TN-018). Carnegie Mellon University, Software Engineering Institute's Digital Library, Software Engineering Institute, 1 Oct. 2001. https://insights.sei.cmu.edu/library/model-based-verification-claim-creation-guidelines/. Accessed 22 Dec. 2024.
Comella-Dorda, Santiago; Gluch, David; Hudak, John; Lewis, Grace; & Weinstock, Charles. Model-Based Verification: Claim Creation Guidelines. CMU/SEI-2001-TN-018. Software Engineering Institute. 2001. https://insights.sei.cmu.edu/library/model-based-verification-claim-creation-guidelines/