fr_b02 / petri / Readme.md @ 5
History | View | Annotate | Download (1.09 KB)
| 1 |
# Reseau de Petri |
|---|---|
| 2 |
binome 2 Sean/Amaury |
| 3 |
|
| 4 |
## Note de conception |
| 5 |
Nous avons procédé à quelques modification par rapport a notre conception initiale. |
| 6 |
|
| 7 |
Ainsi nous avons ajouté une methode *equals* aux classes arc et place. Ces methodes servent pour deleteArc() et deletePLace() |
| 8 |
|
| 9 |
Nous avons également rajouté des methodes *toString* afin d'avoir une meilleur visibilité pour nos tests. |
| 10 |
|
| 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 |
|
| 13 |
## Execution du code |
| 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é**. |
| 16 |
|
| 17 |
En executant src *as a Java Application*, on voit un exemple simple de réseau de petrie |
| 18 |
|
| 19 |
Nous n'avons pas encore rajouté la JDOC |