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