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 over-view 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.