SSTC 2004 CD-ROM - Presentation Information


Better V&V with MOVAT	Thursday Presentation

Software development using Unified Modeling Language (UML) tools generates artifacts that form an excellent framework for Verification and Validation (V&V). Model-based Tool for Automated Verification (MOVAT), developed with Defense Advanced Research Projects Agency (DARPA) sponsorship, produces from these artifacts a software Failure Modes and Effects Analysis (FMEA). The analysis identifies for every “method” (elementary software construct): -Severity of the effects of a failure (safety critical, mission loss, mission impairment) -Failure detection capabilities (assertions, code checks, sequence checks) -Mechanisms for recovering from failures (default values, roll-back, alternate routine) V&V is directed to the areas where failures produce severe effects and where detection and recovery provisions are weak. Because all “methods” are automatically entered into the FMEA the coverage is complete. Testing can concentrate on failure detection and recovery provisions, and because the number of these is limited there is a high potential for automated test case generation. If UML tools are used to maintain the software the analysis is automatically updated.

Thursday - April 22, 2004 1:30 - 2:15	Track 2 Salon H

*Speakers:*
Dr. Herbert Hecht

*Presentation:* *Not Available*

Better V&V with MOVAT