Examination cover sheet

1 Student name:Student number: Examination cover sheet (to be completed by the examiner)Course name: Software Specification and ArchitectureCourse code: 2IW80, exam 2IW81 Date: 14-04-2015 Start time: 9:00 End time : 12:00 Number of pages: 19 Number of questions: 20 multiple choice questions; 4 modeling questionsMaximum number of points/distribution of points over questions:100; Part I: 20 multiple choicequestions up to two points each; Part II: 4 modeling questions up to 20 points each. You shouldanswer at least three of these questions. Should you decide to answer four questions, we will considerthe three best of determining final grade: divide total of points by 10 Answering style: multiple choice questions; open questionsExam inspection: With your instructorOther remarks: The exam questions have been inspected by Alexander Serebrenik, Kees Huizing,Sarmen Keshishzadeh and Anton for students and invigilatorsPermitted Examination aids (to be supplied by students): Notebook Calculator Graphic calculator Lecture notes/book One A4 sheet of annotations Dictionar(y)(ies).

2 If yes, please specify: After inspection by the invigilator a dictionary is allowed from any language toEnglish and from English to any language. Other:Important: examinees are only permitted to visit the toilets under supervision it is not permitted to leave the Examination room within 15 minutesof the start and within the final 15 minutes of the Examination ,unless stated otherwise Examination scripts (fully completed Examination paper, statingname, student number, etc.) must always be handed in the house rules must be observed during the Examination the instructions of examiners and invigilators must be followed no pencil cases are permitted on desks examinees are not permitted to share Examination aids or lend themto each otherDuring written examinations, the following actions willin any casebedeemed to constitute fraud or attempted fraud : using another person s proof of identity/campus card (student iden-tity card) having a mobile telephone or any other type of media-carrying de-vice on your desk or in your clothes using, or attempting to use, unauthorized resources and aids, suchas the internet, a mobile telephone, etc.

3 Using a clicker that does not belong to you having any paper at hand other than that provided by TU/e, unlessstated otherwise visiting the toilet (or going outside) without permission or super-visionAssociated with the Central Examination RegulationsStudent name:Student number:EINDHOVEN UNIVERSITY OF TECHNOLOGYD epartment of Mathematics and Computer ScienceSoftware specification and architecture (2IW81)Tuesday, April 14, 2015, 9:00 12 I (40 points)Answer the following multiple-choice questions. Each question might have multiplecorrect answers; you should encircle all of them in the exam text below. For eachquestion you get 2pointsifallcorrectanswershavebeenindica tedandnoincorrectanswershave been indicated; 1pointifatleastonecorrectanswerhavebeeng iven,somecorrectanswershave been missed but no incorrect answers have been indicated; 1 SysML extends UML by including additional types of diagrams such as the Require-ment Diagram.

4 This diagram can, for instance, display requirements, packages, testcases, rationale. Relations that can be shown on the Requirement Diagram includecontainment, satisfaction, verification, refinement, copy, and trace. By making theserelations explicit, SysML can be seen as aiming at improvement of requirements a)specificity;b)measurability;c)attainab ility;d) 2 Which of the following statements pertaining to actors in use cases areFALSE?a)AnswerIn presence of generalization a more general actor can always replace thespecialized )One user might be represented by multiple actors in the same use )Actor is a class of entities (human or computer), falling beyond the systemboundaries and interacting with the )One use case might involve multiple name:Student number:Question 3 Read the following description.

5 Customers of the garage can buy cars. Customerswith a bad credit should pay an extra down payment . Which of the followingdiagrams represent this description? include CustomerBad Credit CustomerBuy a carPay an extradown paymenta) include CustomerBad Credit CustomerBuy a carPay an extradown paymentb) extend CustomerBad Credit CustomerBuy a carPay an extradown paymentc) extend CustomerBad Credit CustomerBuy a carPay an extradown paymentd)AnswerQuestion 4 Identify allTRUE statements:a)AnswerConnectors can be used to reduce visual clatter in an activity )AnswerUML 2 supports multiple ways of indicating who is responsible for eachgroup of )Expansion regions are indicated with the rake )Activity diagrams focus on the steps/actions that should be taken and do notprovide elements to represent the data being 5A controller for a cassette player is shown on Figure 1 on page 3.

6 The cassetteplayer can be controlled by buttons including play, pause, stop, flip and off. Theplayer has a motor that can be started or stopped, and a playback head that canbe engaged or disengaged. The head serves as an interface between the player andthe name:Student number:Figure 1: State machine of a controller for a cassette playerWhich of the following statements areTRUE?a)AnswerIf no previous history is available, then thestoppedstate is )If the user presses play, then pause, followed by flip and flip, then the motor )Correctness of answer a) would be changed ifH would have been replaced )AnswerWhenever the motor is running, the head is LanguageProficiency LevelFigure 2: Class diagram for Question 6 Question 6 Which statements are implied by the class diagram in Figure 2 on page 3:a)Every learner can study only one foreign )AnswerEvery learner can have only one proficiency level per foreign name:Student number.

7 C)Every foreign language can be studied only by one )Every proficiency level can be recorded for at most one (learner, foreign language) 7 Read the following description and select the most appropriate class diagram fromFigure 3 on page 4: A company realizes projects; each project is executed by ateam of employees . For the sake of simplicity, multiplicities and attributes are a mProjectEmployeea)AnswerCompanyTe a mProjectEmployeeb)CompanyTe a mProjectEmployeec)CompanyTe a mProjectEmployeed)Figure 3: Class diagrams for Question 7 Question 8 Which of the following class diagrams is wrong?Aa)Ab)Ac)AnswerAd)4 Student name:Student number:Question 9 Consider the following sequence :Ab:Bc:CWhich of the following statements areTRUE?

8 ABmsg1 Cmsg2msg3a)AnswerThe class diagram above is consistent with the sequence ) The class diagram above is consistent with the sequence ) Messagemsg2is received beforemsg3has been )AnswerMessagemsg2is sent aftermsg1has been 10In UML deployment diagrams (indicate all correct answers):a)artifacts are represented as )Answernodes are represented as )use cases are represented as )information assets are represented as 11On February 21, 2014 userettozyamehas asked the following question on the popu-lar Q&A site StackOverflow: I want to know in detail about the difference betweenaltandoptfragment in sequence diagram, they seem similar, I can t distinguish5 Student name:Student number:them. Anyone knows about this thing? Which of the following answers are cor-rect?

9 1a)Answeraltis more used for several choices, like aswitch, while withoptcode willbe executed or not!b)Answeraltis used to described alternative scenarios. Only one of the options willbe used to describe an optional )anoptfragment cannot be enclosed in other combined fragments such asstrictorpar, whilealtcan be enclosed in such )analtfragment cannot be enclosed in other combined fragments such asstrictorpar, whileoptcan be enclosed in such 12 Indicate all correct statements in the component diagram in Figure 4 on page delegate DAa) This is a ) This is a ) This is a ) This is a )AnswerThis is )AnswerThis is ) This component isrepresented as a white-box ) This component isrepresented as a white-box 4: Component modified from the answers given at name:Student number:Question 13We are modeling a taxi fleet company in Event-B.

10 We consider the following vari-ables:driversrepresenting the drivers working for the company,taxisfor the taxisowned by the company,assignedrepresenting the assignment of drivers to taxis atagivenmoment,occupiedindicating whether the taxi is occupied or not, ,iscurrently transporting a passenger or following Event B specification fragment2describes the relation between thevariables:assigned2(drivers7 taxis),occupied ran(assigned)Which informal description corresponds to this fragment?a)Adrivercanbeassignedonlytoone taxiatthegivenmoment,taxiscanbedriven by one or more drivers. Only taxis assigned to a driver can be )Adrivercanbeassignedonlytoonetaxiattheg ivenmoment,alltaxisshouldbe assigned to a driver. Only occupied taxis can be )One or more drivers can be assigned to the same taxi at the given moment.