IVY workbench evaluation

Diogo Martins

Nuno Pinto

Rui Freitas

10910

12797

10908

Outline

• HCI and IVY workbench

• Objectives

• Interface evaluation

• The case study

• The experience results

• The statistical results

• Conclusions

HCI

IVY workbench

Objectives

Objectives

Objectives

?

Objectives

Interface evaluation

• Methods

Interface evaluation

• Methods

• Groups

Interface evaluation

• Methods

• Groups

• Local

Interface evaluation

• Methods

• Groups

• Local

• The experience

The case study

• Problem description

• Given examples

The case study

• Problem description

The case study

• Given examples

The experience results

• User’s behavior

• previous knowledge in Model Checking

• no previous knowledge in Model Checking

• User’s opinions

• physical states

• tabular

User’s behavior

• Users with previous knowledge in Model Checking:

• Comfortable

• Easy learning

• Problem identified

User’s behavior

• Users without previous knowledge in Model Checking:

• Difficulties in understanding the Tabular representation

• Easy understanding in the Physical States representation

• Problem identified in both cases

User’s opinions

• Physical states

User’s opinions

- Action Highlight

User’s opinions

- Components Highlight

User’s opinions

- State variables insidethe state boxes

User’s opinions

- Zoom

User’s opinions

- Horizontal diagram (reduce scroll, easier to compare states)

User’s opinions

- Loop Arrow connectedand should have the action

User’s opinions

- Highlight changed variables

User’s opinions

- Highlight condition violation

User’s opinions

• Tabular

User’s opinions

- Explain the yellow color

User’s opinions

- Loop

User’s opinions

- Highlight the action

User’s opinions

- System component

User’s opinions

- Highlight condition violation

The statistical results

Conclusions