Model-Based Verification: Guidelines for Generating Expected Properties
This report presents a basic set of guidelines to facilitate the generation of expected properties in the context of Model-Based Verification. Expected properties are natural language statements that express characteristics of the behavior of a system-characteristics that are consistent with user expectations. Through model checking, expected properties of a system, formally expressed as claims, are analyzed against the model. This analysis can detect inconsistencies between models of the system and their expected properties and identify potential system defects.
This report is related to the following area(s) of work:
Performance and DependabilityTechnical Note
CMU/SEI-2002-TN-003
January 2002
Cite This Report
SEI:
Gluch, David; Comella-Dorda, Santiago; Hudak, John; Lewis, Grace; & Weinstock, Charles. Model-Based Verification: Guidelines for Generating Expected Properties (CMU/SEI-2002-TN-003). Software Engineering Institute, Carnegie Mellon University, 2002. http://www.sei.cmu.edu/library/abstracts/reports/02tn003.cfm
IEEE:
D. Gluch, S. Comella-Dorda, J. Hudak, G. Lewis, and C. Weinstock, "Model-Based Verification: Guidelines for Generating Expected Properties," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Technical Note CMU/SEI-2002-TN-003, 2002. http://www.sei.cmu.edu/library/abstracts/reports/02tn003.cfm
APA:
Gluch, D., Comella-Dorda, S., Hudak, J., Lewis, G., & Weinstock, C. (2002). Model-Based Verification: Guidelines for Generating Expected Properties (CMU/SEI-2002-TN-003). Retrieved May 21, 2013, from the Software Engineering Institute, Carnegie Mellon University website: http://www.sei.cmu.edu/library/abstracts/reports/02tn003.cfm
CHI:
Gluch, David, Santiago Comella-Dorda, John Hudak, Grace Lewis, and Charles Weinstock. Model-Based Verification: Guidelines for Generating Expected Properties (CMU/SEI-2002-TN-003). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 2002. http://www.sei.cmu.edu/library/abstracts/reports/02tn003.cfm
MLA:
Gluch, D., Comella-Dorda, S., Hudak, J., Lewis, G., & Weinstock, C. 2002. Model-Based Verification: Guidelines for Generating Expected Properties (Technical Report CMU/SEI-2002-TN-003). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://www.sei.cmu.edu/library/abstracts/reports/02tn003.cfm
Find Us Here
Share This Page
For more information
