Issue No. 06 - Nov.-Dec. (2011 vol. 28)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MS.2011.151
James Bret Michael , Naval Postgraduate School
Doron Drusinsky , Naval Postgraduate School
Thomas W. Otani , Naval Postgraduate School
Man-Tak Shing , Naval Postgraduate School
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
D. Drusinsky, J. B. Michael, T. W. Otani and M. Shing, "Verification and Validation for Trustworthy Software Systems," in IEEE Software, vol. 28, no. , pp. 86-92, 2011.