1 / 14

Production Cell VDM++ og UML

Production Cell VDM++ og UML. Brian Steensgaard, 20043835@iha.dk Henrik Karmisholt Grosen, 20043836@iha.dk Rasmus Oudal Edberg, 20043839@iha.dk. Agenda. Changes from last time Pre- and postconditions in classes Test of Production Cell. Overview. Changes from last time #1.

sonya-welch
Télécharger la présentation

Production Cell VDM++ og UML

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Production Cell VDM++ og UML Brian Steensgaard, 20043835@iha.dk Henrik Karmisholt Grosen, 20043836@iha.dk Rasmus Oudal Edberg, 20043839@iha.dk

  2. Agenda • Changes from last time • Pre- and postconditions in classes • Test of Production Cell

  3. Overview

  4. Changes from last time #1 FeedBelt -> SensorBelt • Returns true • Used for simulation Press • Used for simulation

  5. Changes from last time #2 Logger • Used for logging ProductionCell • Produce a single plate • Process returns logs.

  6. Agenda • Changes from last time • Pre- and postconditions in classes • Test of Production Cell

  7. Belt class

  8. SensorBelt class

  9. Press class

  10. Robot class(1)

  11. Robot class(2)

  12. Agenda • Changes from last time • Pre- and postconditions in classes • Test of Production Cell

  13. test.cmd Test test.arg test.arg.res

  14. Summary • Changes from last time • Pre- and postconditions in classes • Test of Production Cell

More Related