Using UML Collaboration Diagrams for Static Checking and Test Generation

Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Tests are commonly generated from program source code, graphical models of software such as control ow graphs, and speci cations requirements. UML collaboration diagrams represent a signi cant opportunity for testing because they precisely describe how the functions the software provides are connected in a form that can be easily manipulated by automated means. This paper presents novel test criteria that are based on UML collaboration diagrams. The most novel aspect of this is that tests can be generated automatically from the software design, rather than the code or the speci cations. Criteria are de ned for both static and dynamic testing of speci cation-level and instance-level collaboration diagrams. These criteria allow a formal integration tests to be based on high level design notations, which can help lead to software that is signi cantly more reliable.

• Type: Conference
• Year: 2000
• Where: UML
• Authors: Aynur Abdurazik, A. Jefferson Offutt
• Keywords: Collaboration Diagrams, Natural Language Processing, Speci Cations, UML 2000, UML Collaboration Diagrams