Issue No.06 - Nov.-Dec. (2011 vol.28)
James Bret Michael , Naval Postgraduate School
Thomas W. Otani , Naval Postgraduate School
Man-Tak Shing , Naval Postgraduate School
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MS.2011.151
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.
requirements, specification, validation, software, program, verification, assertion checker, assertion languages, performance, formal methods, software engineering
James Bret Michael, Thomas W. Otani, Man-Tak Shing, "Verification and Validation for Trustworthy Software Systems", IEEE Software, vol.28, no. 6, pp. 86-92, Nov.-Dec. 2011, doi:10.1109/MS.2011.151