demo - data fault generator politecnico di milano
TRANSCRIPT
Demo - Data Fault Generator
Politecnico di Milano
The foodshop architecture
Shop
Supplier DB
Warehouse
DB
CheckAvailability
Reserve
Unreserve
DBCheckAvailability
Reserve
Unreserve
ReceiveOrder
Data Fault Generation
Shop
Supplier DB
Warehouse
DBDB
(p)001(u)002
(p)001(u)002
(p)010(u)002
(u)002
(p)010
In this demo… Items
In this demo… ItemAvailability
What we will see...
• item error: the customer orders an item and receives a different item. Simulation with operation on data: package error
• availability fault: an item becomes out-of-availability between check availability and reservation
Two data faults examples: