Sciweavers

Share
UML
2000
Springer

Using UML Collaboration Diagrams for Static Checking and Test Generation

9 years 1 months ago
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.
Aynur Abdurazik, A. Jefferson Offutt
Added 25 Aug 2010
Updated 25 Aug 2010
Type Conference
Year 2000
Where UML
Authors Aynur Abdurazik, A. Jefferson Offutt
Comments (0)
books