70 likes | 182 Views
Testing Use Case Maps http://www.usecasemaps.org/pub/ucmUpdate.pdf. A Simple UCM Path. responsibilities. r1. r3. r2. start point. end bar. path segment. Formally a start point is defined by a pre-condition and a set of possible triggering events. Showing Structure.
E N D
Testing Use Case Maps http://www.usecasemaps.org/pub/ucmUpdate.pdf
A Simple UCM Path responsibilities r1 r3 r2 start point end bar path segment Formally a start point is defined by a pre-condition and a set of possible triggering events.
Showing Structure A UCM proceeds from a use-case but abstracts specific messages between objects, focusing instead on responsibilities.
An Example ucm1 te1: triggering event for path P1 (precondition(te1): is in the state ) System S1 te1 C1 re1: resulting event for path P1 r3 C3 (postcondition(re1): is in the state ) System S2 r4 re1 r1 C2 r2
Bank Machine CBS Bank Machine Compound UCM Card invalid card reader x central controller x x user interface x x Incorrect PIN x Transaction Rejected printer x
A Related Path Set There can be several concurrent terminating paths in a related path set. B E A C D F H G J I 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.
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 From Daniel Amyot’s Presentation