Diagnostic scenarios for the foodshop test case
This presentation is the property of its rightful owner.
Sponsored Links
1 / 9

Diagnostic Scenarios for the Foodshop Test Case PowerPoint PPT Presentation


  • 86 Views
  • Uploaded on
  • Presentation posted in: General

Diagnostic Scenarios for the Foodshop Test Case. Overview. Main idea: Three different faults that are detected in the same way The diagnostic algorithm is able to locate the fault by: Exploiting additional information Reasoning on models. Abstract of the FoodShop. Check availability

Download Presentation

Diagnostic Scenarios for the Foodshop Test Case

An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -

Presentation Transcript


Diagnostic scenarios for the foodshop test case

Diagnostic Scenarios for the Foodshop Test Case


Overview

Overview

Main idea:

Three different faults that are detected in the same way

The diagnostic algorithm is able to locate the fault by:

Exploiting additional information

Reasoning on models


Abstract of the foodshop

Abstract of the FoodShop

Check availability

and reserve

Reserve

and reply

Ask for user

confirmation

Reserve

and reply

Ask for supply

Supply

Collect supplies

Assemble

and deliver

Deliver


Warehouse collect supplies

Warehouse: Collect Supplies

XXX

order

code

desc

code

desc

XXX

code

desc

120

Peach jam


Warehouse collect supplies1

Warehouse: Collect Supplies

XXX

order

code

desc

code

desc

XXX

code

desc

Mango chutney found instead of peach jam!


Faults causes

Faults (causes)

The shop ordered item 120 (peach jam) and the supplier reserved it. When assembling the supply, the supplier put mango chutney in the box.

3

The shop ordered item 120 (peach jam). The supplier reserved 2 (mango chutney).

2

The user has ordered peach jam; in the shop DB the code for peach jam is 120 but this info is wrong (120 is mango chutney)

1

Check availability

and reserve

Reserve

and reply

Ask for user

confirmation

Reserve

and reply

Supply

Ask for supply

Collect supplies

Assemble

and deliver

Deliver


Discrimination 1

Discrimination (1)

120

Mango chutney

120

Peach jam

order

XXX

code

desc

code

desc

Mango chutney

1

The user has ordered peach jam; in the shop DB the code for peach jam is 120 but this info is wrong (120 is mango chutney)


Discrimination 2

Discrimination (2)

2

Mango chutney

120

Peach jam

order

XXX

code

desc

code

desc

Mango chutney

2

The shop ordered item 120 (peach jam). The supplier reserved 2 (mango chutney).


Discrimination 3

120

Peach jam

120

Peach jam

order

XXX

code

desc

code

desc

Mango chutney

Discrimination (3)

3

The shop ordered item 120 (peach jam) and the supplier reserved it. When assembling the supply, the supplier put mango chutney in the box.


  • Login