... | ... | @@ -23,31 +23,20 @@ test-case. |
|
|
### Categories of test-cases
|
|
|
|
|
|
The test-cases are grouped by categories, each testing a different aspect of the ILP generation. In the following, the categories
|
|
|
ids are listed along with a short description. The description $r \times c \ast i \ast m$ describes a $r$$c$
|
|
|
software components with $i$ implementations having $m$ modes each.
|
|
|
|
|
|
-----------------------------------------------------------------------------------------------------------------------
|
|
|
ID System Description
|
|
|
----------- ------------------------------- ---------------------------------------------------------------------------
|
|
|
1 - 16 $2 \times 1 \ast 1 \ast 2$ Basic selection within modes.
|
|
|
|
|
|
30 - 36 $2 \times 1 \ast 2 \ast 1$ Basic selection within modes.
|
|
|
|
|
|
100 - 129 $3 \times 1 \ast 2 \ast 2$ Basic selection within implementation and modes.
|
|
|
|
|
|
200 - 207 $3 \times 2 \ast 2 \ast 2$ Component requiring another component. For the 3xx category, only the
|
|
|
300 - 307 first implementation has a constraint for the required component.
|
|
|
|
|
|
400 - 407 $3 \times 1 \ast 2 \ast 2$ Resources with different resource types.
|
|
|
|
|
|
500 - 503 $2/3 \times 1 \ast 1 \ast 2$ New resources entering the hardware system.
|
|
|
|
|
|
600 - 605 $2 \times 1 \ast 1 \ast 2$ New components, implementations and modes entering the software system.
|
|
|
|
|
|
700 - 702 $30 \times 1 \ast 1 \ast 2$ Tree-like hardware structure.
|
|
|
|
|
|
900 - 907 *varies* Unsolveable problems, i.e. negative test-cases.
|
|
|
-----------------------------------------------------------------------------------------------------------------------
|
|
|
ids are listed along with a short description. The description r x (c \* i \* m) describes a system with *r* resources and *c*
|
|
|
software components with *i* implementations having *m* modes each.
|
|
|
|
|
|
ID | System | Description
|
|
|
-|-|-
|
|
|
1 - 16| 2x(1\*1\*2) | Basic selection within modes.
|
|
|
30 - 36| 2x(1\*2\*1) | Basic selection within modes.
|
|
|
100 - 129| 3x(1\*2\*2) | Basic selection within implementation and modes.
|
|
|
200 - 207, 300 - 307| 3x(2\*2\*2) | Component requiring another component. For the 3xx category, only the first implementation has a constraint for the required component.
|
|
|
400 - 407| 3x(1\*2\*2) | Resources with different resource types.
|
|
|
500 - 503| \[2,3\]x(1\*1\*2)| New resources entering the hardware system.
|
|
|
600 - 605| 2x(1\*1\*2) | New components, implementations and modes entering the software system.
|
|
|
700 - 702| 30x(1\*1\*2) | Tree-like hardware structure.
|
|
|
900 - 907| *varies* | Unsolveable problems, i.e. negative test-cases.
|
|
|
|
|
|
## Profiling Tests
|
|
|
|
... | ... | |