01 02 19

Pagina 1

Dipartimento di Elettronica, Informazione e Bioingegneria Politecnico di Milano Prof. Elisabetta Di Nitto and Matteo Rossi 20133 Milano (Italia) Piazza Leonardo da Vinci, 32 Tel. (39) 02-2399.3400 Fax (39) 02-2399.3411 Software Engineering II February 1st, 2019 Last Name First Name Id number (Codice Persona or Matricola) Note 1. The exam is not valid if you do not fill in the above data. 2. Write your answers on these pages. Extra sheets will be ignored. You may use a pencil. 3. Incomprehensible hand-writing is equivalent to not providing an answer. 4. The use of any electronic apparatus (computer, cell phone, camera, etc.) is strictly forbidden. 5. You cannot keep a copy of the exam when you leave the room. 6. The exam is composed of three exercises. Read carefully all points in the text! 7. There are 2 variants of Exercise 3, both dealing with Project Management. You are required to answer only one of the two variants; if you answer both of them we will grade the answer to question 3.b. Please note that this last one gives you less points than the other. 8. Total available time: 2h Scores of each question: Question 1 (MAX 7) _________ Question 2 (MAX 6) _________ Question 3 (MAX 3) a __________ b _____________ 2 Question 1 Alloy (7 points) Consider the following Alloy signatures: abstract sig Boolean {} one sig True extends Boolean {} one sig False extends Boolean {} sig TCPData { processed: one Boolean } sig TCPServer { received: set TCPData } TCPData represents information being transferred through a TCP network and TCPServer represents servers able to receive such data. When processed is true, this means that the corresponding TCPData has been processed by a server. Of course, this happens only if the server receives such data. Assume to observe the final state of…