A continuous and proactive process for conducting verification and validation of systems involves using scenario-based testing to validate whether formal assertions correctly capture the intent of the natural language requirements. The process is automated through the use of statechart assertions and runtime execution monitoring. The statechart assertions can be used as part of a system reference model in support of independent verification and validation of trustworthy systems.
No takes yet. Share an insight, caveat, or question.
Michael et al. (2011) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: