软件工程实验二课件.pptVIP

Software Engineering Lesson 3 Exercise 2 Requirements ATM system Withdrawal Validate card Handle request Complete transaction Exercise 2.1 Identify the function and non-function requirements of ATM systems Function requirements Non-function requirements Listed in the form of items Example Exercise 2.2 Describe the function of ‘withdrawal’ using the standard form (structured language) Example: Card had been validated Exercise 2.3 Based on your experience with a bank ATM, draw a data-flow diagram modeling the data processing involved when a customer withdraws cash from the machine Example: Exercise 2.4 Using your knowledge of ATM operation, write a decision table defining conditions in the process of using ATM Example Decision table for library functions borrow, return, reserve, and unreserve Exercise 2.5 Using your knowledge of ATM operation, write Z schemas defining the state of the system, card validation (where the user’s identifier is checked) and cash withdrawal Bank account Validation Withdrawal Example State Schema for the insulin pump Exercise 2.5 Draw a Petri-Net diagram modeling the “Dining Philosophers’ Problem ” Example Exercise 2.5 The Dining Philosophers’ Problem ([Dijkstra, 1968]) concerns ?ve philosophers seated at a round table. Each philosopher either eats or meditates. The table is set alternately with one plate and one chopstick. Eating requires two chopsticks so that if each philosopher picks up the chopstick to the right of the plate, none can eat—the system will deadlock. Model this situation as a Petri net.. 3 philosophers