... | @@ -26,17 +26,17 @@ The test-cases are grouped by categories, each testing a different aspect of the |
... | @@ -26,17 +26,17 @@ The test-cases are grouped by categories, each testing a different aspect of the |
|
ids are listed along with a short description. The description r x (c \* i \* m) describes a system with *r* resources and *c*
|
|
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.
|
|
software components with *i* implementations having *m* modes each.
|
|
|
|
|
|
ID | System | Description
|
|
| ID | System | Description |
|
|
-|-|-
|
|
| ---- | ---- | ---- |
|
|
1 - 16| 2x(1\*1\*2) | Basic selection within modes.
|
|
| 1 - 16| 2x(1\*1\*2) | Basic selection within modes. |
|
|
30 - 36| 2x(1\*2\*1) | 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.
|
|
| 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.
|
|
| 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.
|
|
| 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.
|
|
| 500 - 503| \[2,3\]x(1\*1\*2)| New resources entering the hardware system. |
|
|
600 - 605| 2x([1,2]\*[1,2]\*[2,3]) | New components, implementations and modes entering the software system.
|
|
| 600 - 605| 2x([1,2]\*[1,2]\*[2,3]) | New components, implementations and modes entering the software system. |
|
|
700 - 702| 30x(1\*1\*2) | Tree-like hardware structure.
|
|
| 700 - 702| 30x(1\*1\*2) | Tree-like hardware structure. |
|
|
900 - 907| *varies* | Unsolveable problems, i.e. negative test-cases.
|
|
| 900 - 907| *varies* | Unsolveable problems, i.e. negative test-cases. |
|
|
|
|
|
|
## Profiling Tests
|
|
## Profiling Tests
|
|
|
|
|
... | | ... | |