search menu icon-carat-right cmu-wordmark

Model-Based Verification: Claim Creation Guidelines

Technical Note
This 2001 report describes a pattern-based approach to facilitate claim generation.
Publisher

Software Engineering Institute

CMU/SEI Report Number
CMU/SEI-2001-TN-018

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 February 23, 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-Feb-23}
}

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: 23-Feb-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 23 Feb. 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/