软件工程实验二

SoftwareEngineeringLesson3Exercise2RequirementsATMsystemWithdrawalValidatecardHandlerequestCompletetransactionExercise2.1Identifythefunctionandnon-functionrequirementsofATMsystemsFunctionrequirementsNon-functionrequirementsListedintheformofitemsExampleExercise2.2Describethefunctionof‘withdrawal’usingthestandardform(structuredlanguage)Example:CardhadbeenvalidatedExercise2.3BasedonyourexperiencewithabankATM,drawadata-flowdiagrammodelingthedataprocessinginvolvedwhenacustomerwithdrawscashfromthemachineExample:Exercise2.4UsingyourknowledgeofATMoperation,writeadecisiontabledefiningconditionsintheprocessofusingATMExampleDecisiontableforlibraryfunctionsborrow,return,reserve,andunreserveExercise2.5UsingyourknowledgeofATMoperation,writeZschemasdefiningthestateofthesystem,cardvalidation(wheretheuser’sidentifierischecked)andcashwithdrawalBankaccountValidationWithdrawalExampleStateSchemafortheinsulinpumpExercise2.5DrawaPetri-Netdiagrammodelingthe“DiningPhilosophers’Problem”ExampleExercise2.5TheDiningPhilosophers’Problem([Dijkstra,1968])concernsfivephilosophersseatedataroundtable.Eachphilosophereithereatsormeditates.Thetableissetalternatelywithoneplateandonechopstick.Eatingrequirestwochopstickssothatifeachphilosopherpicksupthechopsticktotherightoftheplate,nonecaneat—thesystemwilldeadlock.ModelthissituationasaPetrinet..3philosophers