?????? 26. ????:

1
?????? 26. ???? ?????????????? ??????
??????????? ?????? ???. ???????????????? ????
? ???????, ????????? ???????????? ?
??????????? ?????????? ??????-???????????
???????? (???????????)
????? ?. ????? ???????? ??????? ????????
??????????, ???
Email mslevin_at_acm.org / mslevin_at_iitp.ru
???? 1.???????????? ?????? (????????
???????) white-box ???????????? (??????? ?
????????? ??????????) black-box ???????????? ???
???????? ?????? (model checking) black-box
???????????? ??? ?????-??????????????
???????????? 2.?????-?????????????? ????????????
??????? ????????????? ?????? ???????????????
?????? ??????? , ?????????? ???????? ??????
(test cases) ?????????????? ??????? ????????
?????? (chain of test cases), ???????? ???????
????????? ??????? ????????? 3.??????????????
?????? ?????-??????????????? ????????????
?????? 5, 2004
2
???????? ??? ?????? ???? (Black-box system)
x1
y1
???????
?????
????


ym
xn
3
?????? ????????? ????????? ????? (test case)
Sx1x2x3x4x5x6
x1
x2
x3
x4
x6
x5
0 x1Any (2)
0 x2Any (2)
0 x3Any (4)
0 x4Any (4)
0 x5Any (2)
0 x6Any (4)
1 x11(3)
1 x21(3)
1 x31(1)
1 x41(1)
1 x51(3)
1 x61(2)
2 x12(3)
2 x22(3)
2 x32(1)
2 x62(2)
2 x42(1)
2 x52(3)
3 x33(3)
3 x63(2)
4 x64(3)
5 x65(1)
???????? ???? (TEST CASE)
4
????? ???????? ?????? (text cases) (???????
???????)
??????? ????????? ???????? ?????? (test cases)
???????? ????????? 1.??????? (Reducing)
????????? ????????? (?? ???????????????) 2.?????
????? ????????? ???????? ?????? (test
cases), ??????? ????????? ????????
????????? ???????? ??????
????????- ?????? ????????? ???????? ?????? (test
cases)
5
?????????????? ???????????
???????????? ?????????? ?? ?????
(?????????????, white box ?????)
???????? ????????? ??????? (????????????,
black-box ?????)
?? ????????? ?????
??????????? ???????? ????? (test cases)
(?????????? ?? ????????????, black-box ?????,
???????? ?????? - Model checking ? ??.)
???? ???????? ??? ???????? / ???????? ???????
6
??????????? ?????-??????????????? ???????????? ??
??????? ???????? N ??????? ? ????????? ????????
????
???????
??????? 1
??????? 1
????????? (?????) ???????? ???? (test case)
??????? 2
??????? 2
??????? N
??????? N
7
???????? ????????????? ??????? ???
?????-?????????????? ????????????
F1
F2
F3
?????? ????????? ??????? ???????
???????? ??????? ???????
??????? ???????
????????? ???? ?????
???? ?????
X
Y
8
?????? ???????? ???????????? ? ????????
???? ????????? ?? ?????? (??????????, ?????????
???????)
??????? ?????
???????? ?????????
??????? ???????
?????/?????????? (???????? ??????????????????)
??????? ?????? (?????????, ???????)
?????? ?????? (?????????, ???????)
?????/ ??????????
??????? ????? (?????????)
??????? ??????
?????/ ??????????
????? / ????????? / ???????
??????? ?????? ???????
?????/ ??????????
???????? ????? (Test cases)
9
???????????? ??????? ??????? ? ????????? ???????
??????? F4
??????? F2
??????? F3
??????? F5
??????? F1
??????? F6
10
???????? ???? (Test case) ??? ???????? ??????? ?
??????? (??????????????????) ???????? ?????? ???
???? ????????? ???????
??????? ???????
???????? ???? (Test case) 1
???????? ???? (Test case) 2
???????? ???? (Test case) 3
??????? F1
??????? F2
??????? F3
11
???? ????????? ??????? ? ????????
?????? ????????? ??????? ???????
F2
F1
F4
F3
F6
F5
F1
F2
F3
F4
F5
F6
F3
F3
F1
F5
F3
12
?????????? ????????? ??????? (?????? ????? /
?????????)
???????? ??????? 1
?????? ??????? (??????? ??????, ???????
?????? ???????)
???????? ??????? 2
????? ??????????
13
??????? ? ???????? ???????
???????
???????? ???????
1. ???????????? ??????????? ??????? f1
F1 f1
2.?????? f2
F2 f1, f4
3.????????????? f3
4.????????????? ????? f4
F3 f2, f3, f4
5. Multi-target multi-track
assignment f5
F4 f4, f5
6.?????????? ????? (?????????? ????? ??
?????) f6
F5 f4, f7
7. ???????? ????????? ????? f7
F6 f5, f6
8.????????? ?????? ?? ??. ?????? f8
F7 f5, f8, f9
9.???????? ?????? ? ??. ???????? f9
14
?????? ????????? ???????
F2
F5
F1
F4
F3
F6
F7
F1
F2
F3
F4
F6
F7
F3
F2
F5
F4
F3
F3
F4
F5
F7
15
Recent papers on multi-function system testing
1.M.Sh. Levin, M. Last, Multi-Function System
Testing Composition of Test Sets.8th IEEE
Int. Conf. HASE 2004, Tampa, FL, 99-108,
2004.   2.M.Sh. Levin, M. Last, Test Case
Sequences in System Testing Selection of
Test Cases for a Chain( Sequence) of Function
Clusters. 17th Int. Conf. IEA/AIE, Ottawa,
LNCS 3029, Springer, 895-904, 2004.
  3.M.Sh. Levin, M. Last, Collection
of Test Case Sequences Covering of Function
Cluster Digraph. IASTED Int. Conf. AI and
Applications, Innsbruck, 806-810, Febr.
2004.