Verification of object-oriented simulation designs

This paper discusses the verification process for object-oriented simulation high-level and detailed designs based on the authors experience with the Joint Warfare System (JWARS). There is an overview of the JWARS simulation, the software development process, and the design artifacts. The paper describes how the JWARS V&V Team developed a tailored process and method for verification of the high level design and the detailed design and attempted to determine and document the completeness of the design. Also the V&V Team´s verification experts attempted to identify the linkage and traceability of the simulation from the pre-design artifacts to the design and from the design to the implemented code. Included is a discussion of how JWARS uses the IBM VisualAge and UML Designer tools and how the Verification Agent was able to use them to support the verification process