Top Banner
Demo - Data Fault Generator Politecnico di Milano
6

Demo - Data Fault Generator Politecnico di Milano.

Mar 26, 2015

Download

Documents

Jake Lopez
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Page 1: Demo - Data Fault Generator Politecnico di Milano.

Demo - Data Fault Generator

Politecnico di Milano

Page 2: Demo - Data Fault Generator Politecnico di Milano.

The foodshop architecture

Shop

Supplier DB

Warehouse

DB

CheckAvailability

Reserve

Unreserve

DBCheckAvailability

Reserve

Unreserve

ReceiveOrder

Page 3: Demo - Data Fault Generator Politecnico di Milano.

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.

In this demo… Items

Page 5: Demo - Data Fault Generator Politecnico di Milano.

In this demo… ItemAvailability

Page 6: Demo - Data Fault Generator Politecnico di Milano.

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: