EECS4315

User Tools

Site Tools

You are here: Mission Critical Systems » Lab 5
Trace:
lab8

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
lab8 [2020/02/29 21:12] – francklab8 [2020/02/29 21:15] (current) – franck
Line 1: Line 1:
-====== Lab 6 ======+~~NOTOC~~ 
 + 
 +====== Lab 5 ======
  
 Consider the following app. Consider the following app.
Line 94: Line 96:
 Submit your native peer class **and** your configuration file (name it Main-native-peer.jpf). Submit your native peer class **and** your configuration file (name it Main-native-peer.jpf).
  
-====== Approach 2: peer ======+===== Approach 2: peer =====
  
 Implement a peer class.  Add to the peer class a call to println with "peer" so that JPF produces output for the above app similar to the following.  To model exp, you may want to use a [[https://en.wikipedia.org/wiki/Taylor_series|Taylor series]].  Ensure that the modelled exp method satisfies the specification given in the API of the StrictMath class.  Some methods in the Double class might be useful. Implement a peer class.  Add to the peer class a call to println with "peer" so that JPF produces output for the above app similar to the following.  To model exp, you may want to use a [[https://en.wikipedia.org/wiki/Taylor_series|Taylor series]].  Ensure that the modelled exp method satisfies the specification given in the API of the StrictMath class.  Some methods in the Double class might be useful.
Line 128: Line 130:
 Submit your peer class **and** your configuration file (name it Main-peer.jpf). Submit your peer class **and** your configuration file (name it Main-peer.jpf).
  
-====== Approach 3: jpf-nhandler ======+===== Approach 3: jpf-nhandler =====
  
 Use jpf-nhandler so that JPF produces the following output. Use jpf-nhandler so that JPF produces the following output.
lab8.1583010768.txt.gz · Last modified: 2020/02/29 21:12 by franck