The Community for Technology Leaders
RSS Icon
Issue No.06 - Nov.-Dec. (2011 vol.28)
pp: 86-92
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
James Bret Michael, Doron Drusinsky, 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
1. P. Charles and P. Turner, "Capabilities Based Acquisition: From Theory to Reality," CHIPS, vol. 22, no 3, 2004, pp. 38–39.
2. Merriam-Webster's New Universal Unabridged Dictionary, 2nd ed., Simon & Schuster, 1983.
3. J.C. Laprie, A. Avizienis, and H. Kopetz eds., , Dependability: Basic Concepts and Terminology, Springer, 1992.
4. P. Bourque and R. Dupuis eds., SWEBOK: Guide to the Software Engineering Body of Knowledge, IEEE CS Press, 2004; .
5. S. Easterbrook et al., "Experiences Using Lightweight Formal Methods for Requirements Modeling," IEEE Trans. Software Eng., vol. 24, no. 1, 1998, pp. 4–11; doi:10.1109/32.663994.
6. D. Drusinsky, M. Shing, and K. Demir, "Creating and Validating Embedded Assertion Statecharts," IEEE Distributed Systems Online, vol. 8, no. 5, 2007, p. 3; doi:10.1109/MDSO.2007.25.
7. R. Bloomfield et al., "International Working Group on Assurance Cases (for Security)," IEEE Security & Privacy, vol. 4, no. 3, 2006, pp. 66–68; doi:10.1109/MSP.2006.73.
8. D. Drusinsky, J.B. Michael, and M. Shing, "A Visual Tradeoff Space for Formal Verification and Validation Techniques," IEEE Systems Journal, vol. 2, no. 4, 2008, pp. 513–519; doi:10.1109/JSYST.2008.2009190.
9. D. Drusinsky, Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-Based Model Checking, Elsevier, 2006.
10. D. Harel, "Statecharts: A Visual Approach to Complex Systems," Science of Computer Programming, vol. 8, no. 3, 1987, pp. 231–274.
11. A. Pnueli, "The Temporal Logic of Programs," Proc. 18th IEEE Symp. Foundations of Computer Science, IEEE CS Press, 1977, pp. 46–57.
12. D. Drusinsky and D. Harel, "On the Power of Bounded Concurrency I: Finite Automata," J. ACM, vol. 41, no. 3, 1994, pp. 517–539; doi:10.1145/176584.176587.
13. K. Beck and E. Gamma, "Test Infected: Programmers Love Writing Tests," Java Report, vol. 3, no. 7, 1998, pp. 37–50.
14. D. Drusinsky et al., "Validating UML Statechart-based Assertions Libraries for Improved Reliability and Assurance," Proc. 2nd Int'l Conf. Secure System Integration and Reliability Improvement, IEEE CS Press, 2008, pp. 47–51; doi:10.1109/SSIRI.2008.54.
15. D. Drusinsky, J.B. Michael, and M. Shing, "A Framework for Computer-Aided Validation," Innovations in Systems and Software Eng., vol. 4, no. 2, 2008, pp. 161–168; doi:10.1007/s11334-008-0047-2.
16. D. Drusinsky and S. Raque, Specification and Validation of Space System Behaviors, tech. report NPS-CS-10-002, Dept. of Computer Science, Naval Postgraduate School, 2010.
17. M. Alves et al., "Formal Validation and Verification of Space Flight Software Using Statechart-Assertions and Runtime Execution Monitoring," Proc. 6th IEEE Int'l System of Systems Eng. Conf. (SoSE), IEEE CS Press, pp. 155–160; doi:10.1109/SYSOSE.2011.5966564.
344 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool