Evaluation Scenario Requirements

Evaluation Scenario Requirements List

• UC2_R_7 Switching between WiFi APs (Access Points)

V&V Methods

V&V Methods List of the methods used in this evaluation scenario

• Dynamic Analysis of Concurrent Programs Dynamic analysis of concurrent programs aims at coping with the inherent non-determinism in scheduling concurrent threads (processes or other units of computation) due to which it is difficult to catch rarely occurring but often critical bugs in synchronisation. To counter the problem, approaches such as extrapolating checkers, systematic exploration of all schedules up to some bound, and/or noise injection are used.
• Source Code Static Analysis Static code analysis strives to analyse programs without executing them at all (i.e., purely on the syntactic level) or at least without executing them under the original semantics, meaning that some abstract semantics is used. There exist many different forms of static analysis based, e.g., on syntactic error patterns, data-flow analysis, extended type and effect analysis, abstract interpretation, or symbolic execution.

VALU3S Framework

Evaluation Environment Type Type of environment where the method is applied. It can be more than one type of environment.(Dimension 1)

Evaluation Type Type of evaluation performed with that method. If a method is hybrid, more than one type can be selected.(Dimension 2)

Type of Component Under Evaluation Type of components that can be evaluated with that method. It can be more than one type.(Dimension 3)

Evaluation Stage The evaluation stage where the method is used.(Dimension 5)

Purpose of the Component Under Evaluation The type of purpose that can be evaluated by a method. It can be more than one type.(Dimension 6)

Type of Requirement Under Evaluation The type of requirements that a method is able to evaluate. It can be more than one type.(Dimension 7)

Evaluation Performance Indicator The type of evaluation criteria or KPI that a method is able to improve. It can be more than one type.(Dimension 8)

Contents

UC2_R_7

Switching between WiFi APs (Access Points)