18C5T13 Lecture Notes - Lecture 2: Unit Testing, Unit, Static Analysis
Document Summary
An atm system, for example, allows the user to try, say three times, and will take the card away the fourth time: complications: In simple cases, the transactions have a unique identity from the time they"re created to the time they"re completed. In many systems the transactions can give birth to others, and transactions can also merge: births: there are three different possible interpretations of the decision symbol, or nodes with two or more out links. Mergers: transaction flow junction points are potentially as troublesome as transaction flow splits. There are three types of junctions: (1) ordinary junction (2) absorption (3) conjugation. 1 ordinary junction: an ordinary junction which is similar to the junction in a control flow graph. A transaction can arrive either on one link or the other. (see figure 3. 3 (a)) 2 absorption: in absorption case, the predator transaction absorbs prey transaction. The prey gone but the predator retains its identity. (see figure 3. 3 (b))