COSC6490A

User Tools

Site Tools

You are here: Concurrent Object Oriented Languages » Assignments » Assignment 3
Trace:
assignments:a3

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
assignments:a3 [2007/11/02 23:33] – franckassignments:a3 [2007/11/02 23:34] (current) – franck
Line 5: Line 5:
  
 Verify some properties of your implementation using Java PathFinder (JPF). Just running JPF on your code is not enough. Either you add something to your code that enables you to check a property. Or you   consider minor variations on your implementation (showing, for example, that a particular lock is essential to guarantee deadlock freedom).  Or you implement a listener that checks a particular property. Etcetera. Verify some properties of your implementation using Java PathFinder (JPF). Just running JPF on your code is not enough. Either you add something to your code that enables you to check a property. Or you   consider minor variations on your implementation (showing, for example, that a particular lock is essential to guarantee deadlock freedom).  Or you implement a listener that checks a particular property. Etcetera.
 +
  
 ===== Write a report ===== ===== Write a report =====
Line 10: Line 11:
 In your report, describe the properties you checked.  Also explain how you checked them.  Furthermore, report the results of your verification effort.  Finally, draw some conclusions. In your report, describe the properties you checked.  Also explain how you checked them.  Furthermore, report the results of your verification effort.  Finally, draw some conclusions.
  
 +The report should be roughly between 3 and 8 pages. These bounds are not absolute (but one page is probably not enough and 20 pages is too much).
 +
 +As the audience of your report, consider your fellow students in the course.
  
assignments/a3.1194046407.txt.gz · Last modified: by franck