1404 L4 - © J.-Pierre Corriveau, 1997- 2008

TestingUse Case Maps

http://www.usecasemaps.org/pub/ucmUpdate.pdf

2404 L4 - © J.-Pierre Corriveau, 1997- 2008

A Simple UCM Path

start point path segment end bar

r1 r3

r2

responsibilities

Formally a start point is defined by a pre-condition and a set of possible triggering events.

3404 L4 - © J.-Pierre Corriveau, 1997- 2008

Showing Structure

BC

D

A

x

y

z

A

x

y

z

Unbound map Bound map

A UCM proceeds from a use-case but abstracts specific messages between objects, focusing instead on responsibilities.

4404 L4 - © J.-Pierre Corriveau, 1997- 2008

An Example

C1

C2

C3

r1

r2

r3r4

te1

re1

ucm1te1: triggering event for path P1 (precondition(te1): System is in the state S1)re1: resulting event for path P1

(postcondition(re1): System is in the state S2)

5404 L4 - © J.-Pierre Corriveau, 1997- 2008

Bank Machine Compound UCM

card reader

user interface

printer

central controller

CBS

Bank Machine

xx

x x

x

x

x

Card invalid

Incorrect PIN

Transaction Rejected

6404 L4 - © J.-Pierre Corriveau, 1997- 2008

A Related Path Set

A

B

C D

E

F

GH

IJ

There can be several concurrent terminating paths in a related path set.

Each use case is to have a semantically equivalent UCM.This compound UCM has to have a related path set for each scenario of the use case.

7404 L4 - © J.-Pierre Corriveau, 1997- 2008

From Daniel Amyot’s Presentation

• Daniel Amyot is the leader of the URN-FR initiative.

• Amyot el al. (of UCM-Nav fame) have suggested an approach to extract tests from UCMs

• We now jump to his presentation on UCMs and their use for OOQE– Posted in the 4004 Notes folder in file Amyot.pdf

– Slides 17 and 18: assertions and feature interactions…

» Back to the importance of pre- and post- conditions

– Slides 21-25: use of LOTOS from UCMs for structural testing

– Slides 26-34: path traversal with global boolean variables