final
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
final [2020/04/08 01:16] – franck | final [2020/04/08 23:01] (current) – franck | ||
---|---|---|---|
Line 15: | Line 15: | ||
The instructor will be on Zoom during the exam to answer questions. | The instructor will be on Zoom during the exam to answer questions. | ||
- | ====== | + | ====== |
- | A classical concurrency problem, known as the sleeping barber problem, takes place in a barber shop. This problem is originally due to Dijkstra. | + | A classical concurrency problem, known as the sleeping barber problem, takes place in a barbershop. This problem is originally due to Dijkstra. |
- | If there are no customers present, the barber sits down in the barber chair, takes off his face mask, and falls asleep. | + | If there are no customers present, the barber sits down in the barber chair, takes off his face mask, and falls asleep. |
- | During the test, you are provided with the classes Shop, Barber, Customer and Main. The APIs of these classes can be found here. During the exam, you are expected to apply JPF to this code. You should describe how you applied JPF to the code, documenting how you configured JPF, 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 were any). | + | 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:// |
====== Submission ====== | ====== Submission ====== |
final.1586308613.txt.gz · Last modified: 2020/04/08 01:16 by franck