Production Cell VDM++ og UML
-
Upload
sonya-welch -
Category
Documents
-
view
32 -
download
0
description
Transcript of Production Cell VDM++ og UML
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