Transcript
![Page 1: Demo - Data Fault Generator Politecnico di Milano](https://reader035.vdocuments.mx/reader035/viewer/2022081518/55145e8c550346414e8b57b8/html5/thumbnails/1.jpg)
Demo - Data Fault Generator
Politecnico di Milano
![Page 2: Demo - Data Fault Generator Politecnico di Milano](https://reader035.vdocuments.mx/reader035/viewer/2022081518/55145e8c550346414e8b57b8/html5/thumbnails/2.jpg)
The foodshop architecture
Shop
Supplier DB
Warehouse
DB
CheckAvailability
Reserve
Unreserve
DBCheckAvailability
Reserve
Unreserve
ReceiveOrder
![Page 3: Demo - Data Fault Generator Politecnico di Milano](https://reader035.vdocuments.mx/reader035/viewer/2022081518/55145e8c550346414e8b57b8/html5/thumbnails/3.jpg)
Data Fault Generation
Shop
Supplier DB
Warehouse
DBDB
(p)001(u)002
(p)001(u)002
(p)010(u)002
(u)002
(p)010
![Page 4: Demo - Data Fault Generator Politecnico di Milano](https://reader035.vdocuments.mx/reader035/viewer/2022081518/55145e8c550346414e8b57b8/html5/thumbnails/4.jpg)
In this demo… Items
![Page 5: Demo - Data Fault Generator Politecnico di Milano](https://reader035.vdocuments.mx/reader035/viewer/2022081518/55145e8c550346414e8b57b8/html5/thumbnails/5.jpg)
In this demo… ItemAvailability
![Page 6: Demo - Data Fault Generator Politecnico di Milano](https://reader035.vdocuments.mx/reader035/viewer/2022081518/55145e8c550346414e8b57b8/html5/thumbnails/6.jpg)
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: