Révision 5 petri/Readme.md

Voir les différences:

Readme.md
11 11 
Nous avons aussi déclaré des constante ArcEntering, ArcOutering, qui sont des entier pour que lors de la declaration des arc le choix soit clair.
12 12 

  		




  13
  13
  
    
## Execution du code


  		




  14
  
  
    
Nous avons réalisé des tests "manuel" pour chaque classe et leurs methodes réspectivent. Pour les excuter il *faut executer la methode main de la classe*.


  		




  
  14
  
    
Nous avons réalisé des tests Junit pour chaque classe et leurs methodes réspectivent. Pour les excuter il *faut executer src as a Junit test*. Nous avons a chaque fois testé chaque methodes. Mais les tests ne sont sans doute pas exaustif.


  		




  
  15
  
    
Lorsque on fait cela on voit **4 erreurs**, en effet,les test des différent classe de Arc (ArcOutering,...) ne sont pas "relier" a leur test mais ces classes sont **bien tésté**.


  		




  15
  16
  
    

  		




  
  17
  
    
En executant src *as a Java Application*, on voit un exemple simple de réseau de petrie


  		




  16
  18
  
    

  		




  17
  
  
    
**Liste des tests effectuées :**


  		




  18
  
  
    
* place: changeToken(int i), isempty(), equals(),


  		




  19
  
  
    
* pour chaque classe Arc : isAtcive(), isPullable(), doTranstion() et equals(),


  		




  20
  
  
    
* transition : isPullable(),doTransition(),


  		




  21
  
  
    
* network : cas simple a 2 arc et 1 une transition, deletPlace(place),deleteArc(arc), deleteTransition(transtion), et les methodes add


  		




  22
  
  
    

  		




  
  19
  
    
Nous n'avons pas encore rajouté la JDOC


  		












Formats disponibles :  Unified diff