Upload
sonya-welch
View
47
Download
0
Tags:
Embed Size (px)
DESCRIPTION
Production Cell VDM++ og UML. Brian Steensgaard, [email protected] Henrik Karmisholt Grosen, [email protected] Rasmus Oudal Edberg, [email protected]. Agenda. Changes from last time Pre- and postconditions in classes Test of Production Cell. Overview. Changes from last time #1. - PowerPoint PPT Presentation
Citation preview
Production CellVDM++ og UML
Brian Steensgaard, [email protected] Karmisholt Grosen, [email protected] Oudal Edberg, [email protected]
Agenda
Changes from last time Pre- and postconditions in classes Test of Production Cell
Overview
Changes from last time #1
FeedBelt -> SensorBelt•Returns true
•Used for simulation
Press
•Used for simulation
Changes from last time #2Logger
•Used for logging
ProductionCell
•Produce a single plate•Process returns logs.
Agenda
Changes from last timePre- and postconditions in classesTest of Production Cell
Belt class
SensorBelt class
Press class
Robot class(1)
Robot class(2)
Agenda
Changes from last timePre- and postconditions in classesTest of Production Cell
Test
test.arg
test.arg.res
test.cmd
Summary
Changes from last time Pre- and postconditions in classes Test of Production Cell