Test Generation
CBB CBBB CBBBB CBCBBB
CCB CCBB CCBBB CCCBBB
CBBB CBBBB CBBBBB CBBCBBB
CBCB CBCBB CBCBBB CBCCBBB
CBBBB CBBBBB CBBBBBB CBBBCBBB
CBBCB CBBCBB CBBCBBB CBBCCBBB
CBBBBB CBBBBBB CBBBBBBB CBBBBCBBB
CBBBCB CBBBCBB CBBBCBBB CBBBCBBB
}
T
1
contains a total of 60 tests of which 20 are in S · W and 40
in S · X · W. To obtain T
2
, we note that R = P − S ={
B CC
,
CBC CBBC CBBBC CBBBB
}. T
2
can now be computed as follows:
T
2
= R · X[m − n] ⊗ W
= (R ⊗ W) ∪ R · X ⊗ W)
R ⊗ W = ({
B
}·W
1
) ∪ ({
CC
}·W
4
) ∪ ({
CBBC
}·W
5
) ∪{
CBC
}·W
1
∪
{
CBBBC
}·W
1
∪{
CBBBB
}·W
5
={
BCBBB BBB BB CCB CCBBB CBBCB CBBCBBB
}
R · X W = (
BB
· W
1
) ∪ (
BC
· W
4
) ∪
(
CCB
· W
3
(∪(
CCC
· W
4
) ∪
(
CBBCB
· W
2
) ∪ (
CBBCC
· W
5
)
(
CBCB
· W
1
) ∪ (
CBCC
· W
4
)
(
CBBBCB
· W
2
) ∪ (
CBBBCC
· W
5
)
(
CBBBBB
· W
1
) ∪ (
CBBBBC ...