Title :
Verification and validation of object-oriented artifacts throughout the simulation model development life cycle
Author :
Carr, John T., III ; Balci, Osman
Author_Institution :
Naval Surface Warfare Center, Dahlgren, VA, USA
Abstract :
The purpose of this paper is to present a series of questions (or indicators) for assessing the verity and validity of the artifacts produced during the entire object-oriented simulation model development life cycle. Using modern object-oriented development processes, artifacts developed in one phase flow seamlessly from those of the previous phase. This provides forward and backward traceability between artifacts. This inherent backward traceability has been exploited by tracing defects in artifacts back to their defective ancestral artifacts. Questions are then phrased such that when answered in the negative indicate the presence of defects. Use of the Evaluation Environment software tool facilitates the integration of the answers to the assessment questions and enables an overall evaluation. The collection of questions can be useful for the verification and validation of artifacts in any object-oriented simulation model development
Keywords :
digital simulation; object-oriented programming; program verification; Evaluation Environment software tool; artifact validation; artifact verification; object-oriented artifacts; object-oriented simulation; simulation model development life cycle; traceability; Analytical models; Character generation; Computer science; Design engineering; Modems; Object oriented modeling; Product design; Software tools;
Conference_Titel :
Simulation Conference, 2000. Proceedings. Winter
Conference_Location :
Orlando, FL
Print_ISBN :
0-7803-6579-8
DOI :
10.1109/WSC.2000.899886