Differences

This shows you the differences between two versions of the page.

--- final [2020/04/08 22:53] – franck
+++ final [2020/04/08 23:01] (current) – franck
@@ Line 21: / Line 21: @@
 If there are no customers present, the barber sits down in the barber chair, takes off his face mask, and falls asleep.  When a customer arrives, they have to first use hand sanitizer, put on their face mask, and wake up the sleeping barber by calling the barber's cellphone, as has also been mentioned on the note at the door of the barbershop.  If additional customers arrive while the barber is cutting a customer's hair, then they also use hand sanitizer and put on their face mask before sitting down (if there still is hand sanitizer and there are empty even-numbered chairs) or they simply leave the shop (if the barber has run out of hand sanitizer or all even-numbered chairs are full). If the last customer for the day notices that the barber has run out of hand sanitizer and that the barber is asleep, then this customer wakes up the barber.  Once awake, the barber puts on his face mask and gives hair cuts to waiting customers.
-During the test, you are provided with the classes Shop, Barber, Customer, and Main.  These classes and some other code will be available at 7 pm [[http://www.eecs.yorku.ca/course/4315/exam|here]].  The APIs of these classes can be found [[http://www.eecs.yorku.ca/course/4315/api/exam|here]].  During the exam, you are expected to apply JPF to this code in order to verify properties of the code.  **You should describe how you applied JPF to the code** (such as documenting how you configured JPF, which properties you checked, how you added code to the classes to check for particular properties, what output JPF produced, what you concluded from that output, if you detected any bugs (//this does not imply that the code contains any bugs//) and how you corrected those bugs (//if there are any//)).  **Please describe all the steps in sufficient details so that the instructor can reproduce your work.**  The focus of the exam is on the process of applying JPF to the provided code.  You should submit a report describing all the steps, as well as your modified classes (//try to make as few, if any, changes as needed//), other code that you developed, application configuration files, etc.
+During the test, you are provided with the classes Shop, Barber, Customer, and Main.  These classes and some other code will be available at 7 pm [[https://www.eecs.yorku.ca/course/4315/exam|here]].  The APIs of these classes can be found [[http://www.eecs.yorku.ca/course/4315/api/exam|here]].  During the exam, you are expected to apply JPF to this code in order to verify properties of the code.  **You should describe how you applied JPF to the code** (such as documenting how you configured JPF, which properties you checked, how you added code to the classes to check for particular properties, what output JPF produced, what you concluded from that output, if you detected any bugs (//this does not imply that the code contains any bugs//) and how you corrected those bugs (//if there are any//)).  **Please describe all the steps in sufficient details so that the instructor can reproduce your work.**  The focus of the exam is on the process of applying JPF to the provided code.  You should submit a report describing all the steps, as well as your modified classes (//try to make as few, if any, changes as needed//), other code that you developed, application configuration files, etc.
 ====== Submission ======