Demo - Data Fault Generator Politecnico di Milano.

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: