@@ -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*
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,2]\*[1,2]\*[2,3]) | New components, implementations and modes entering the software system.
| 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,2]\*[1,2]\*[2,3]) | New components, implementations and modes entering the software system. |