1 / 9

Diagnostic Scenarios for the Foodshop Test Case

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

april-houston
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. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Diagnostic Scenarios for the Foodshop Test Case

  2. 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

  3. 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

  4. Warehouse: Collect Supplies XXX order code desc code desc XXX code desc 120 Peach jam

  5. Warehouse: Collect Supplies XXX order code desc code desc XXX code desc Mango chutney found instead of peach jam!

  6. 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

  7. 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)

  8. 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).

  9. 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.

More Related