Level partitioning Iteration-1*
| m-Health Barriers | Reachability set | Antecedent set | Intersection set | Level |
|---|---|---|---|---|
| m-HB 1 | 1, 2, 7, 11 | 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15 | 1, 2, 7, 11 | 1 |
| m-HB 2 | 1, 2, 7, 11 | 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15 | 1, 2, 7, 11 | 1 |
| m-HB 3 | 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 14, 15 | 3, 5, 9, 10, 13 | 3, 5, 9 | |
| m-HB 4 | 1, 2, 4, 6, 7, 11, 14 | 3, 4, 5, 6, 8, 9, 10, 12, 13, 14, 15 | 4, 6, 14 | |
| m-HB 5 | 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 14, 15 | 3, 5, 9, 10, 13 | 3, 5, 9 | |
| m-HB 6 | 1, 2, 4, 6, 7, 11, 14 | 3, 4, 5, 6, 8, 9, 10, 12, 13, 14, 15 | 4, 6, 14 | |
| m-HB 7 | 1, 2, 7, 11 | 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15 | 1, 2, 7, 11 | 1 |
| m-HB 8 | 1, 2, 4, 6, 7, 8, 11, 12, 14 | 3, 5, 8, 9, 10, 12, 13, 15 | 8, 12 | |
| m-HB 9 | 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 14, 15 | 3, 5, 9, 10, 13 | 3, 5, 9 | |
| m-HB 10 | 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 15 | 10, 13 | 10 | |
| m-HB 11 | 1, 2, 7, 11 | 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15 | 1, 2, 7, 11 | 1 |
| m-HB 12 | 1, 2, 4, 6, 7, 8, 11, 12, 14 | 3, 5, 8, 9, 10, 12, 13, 15 | 8, 12 | |
| m-HB 13 | 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15 | 13 | 13 | |
| m-HB 14 | 1, 2, 4, 6, 7, 11, 14 | 3, 4, 5, 6, 8, 9, 10, 12, 13, 14, 15 | 4, 6, 14 | |
| m-HB 15 | 1, 2, 4, 6, 7, 8, 11, 12, 14, 15 | 3, 5, 9, 10, 13, 15 | 15 |
| m-Health | Reachability set | Antecedent set | Intersection set | Level |
|---|---|---|---|---|
| m-HB 1 | 1, 2, 7, 11 | 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15 | 1, 2, 7, 11 | 1 |
| m-HB 2 | 1, 2, 7, 11 | 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15 | 1, 2, 7, 11 | 1 |
| m-HB 3 | 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 14, 15 | 3, 5, 9, 10, 13 | 3, 5, 9 | |
| m-HB 4 | 1, 2, 4, 6, 7, 11, 14 | 3, 4, 5, 6, 8, 9, 10, 12, 13, 14, 15 | 4, 6, 14 | |
| m-HB 5 | 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 14, 15 | 3, 5, 9, 10, 13 | 3, 5, 9 | |
| m-HB 6 | 1, 2, 4, 6, 7, 11, 14 | 3, 4, 5, 6, 8, 9, 10, 12, 13, 14, 15 | 4, 6, 14 | |
| m-HB 7 | 1, 2, 7, 11 | 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15 | 1, 2, 7, 11 | 1 |
| m-HB 8 | 1, 2, 4, 6, 7, 8, 11, 12, 14 | 3, 5, 8, 9, 10, 12, 13, 15 | 8, 12 | |
| m-HB 9 | 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 14, 15 | 3, 5, 9, 10, 13 | 3, 5, 9 | |
| m-HB 10 | 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 15 | 10, 13 | 10 | |
| m-HB 11 | 1, 2, 7, 11 | 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15 | 1, 2, 7, 11 | 1 |
| m-HB 12 | 1, 2, 4, 6, 7, 8, 11, 12, 14 | 3, 5, 8, 9, 10, 12, 13, 15 | 8, 12 | |
| m-HB 13 | 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15 | 13 | 13 | |
| m-HB 14 | 1, 2, 4, 6, 7, 11, 14 | 3, 4, 5, 6, 8, 9, 10, 12, 13, 14, 15 | 4, 6, 14 | |
| m-HB 15 | 1, 2, 4, 6, 7, 8, 11, 12, 14, 15 | 3, 5, 9, 10, 13, 15 | 15 |
*Source(s): Authors own work
Sharing content requires targeting cookies to be enabled. Please update your cookie preferences to use this feature.