. . , , , , , .. , , ..
59. , .
. , . :
- C
- E
-
- I
- N
- SIZE={C, E, T, I,N}
60. .
¨ /
Ø
Ø
Ø ʳ
¨
Ø
Ø ϳ
Ø
¨
Ø
Ø
61. ֳ .
ֳ ()
,
( / ). .
( ). , .
- - (- -). , , , , 䳿 ( ) ( ) .
/ ( / / ). ֳ -, , - , ' , .
62. .
, , , .
, . : , , . -.
|
|
ѳ ( )
Ø .
Ø : .
Ø
Ø '
63. .
, .
.
, "" , .
64. .
䳿 / .
㳿 - "-" "-, .
㳿 "".
1. "-" - ³
2. "-
3. .
ϳ ,
䳿
:
o
o
o
1. ( )
2. , . .
3. ( ) - -, .
65. , .
, . . , , , , , ( -). , , . , : , , .
66. .
(black box)- , , . , , . . - .
|
|
(white box)- , . , . .
?
1. /
a.
b.
c. ʳ
2.
a.
b. ϳ
c.
3.
a.
b.
?
1. /
a.
b. ( )
c. ( )
2.
a.
b.
3.
a.
b.
67. .
ϳ , , . :
- - , ;
- , ( ).
:
, .
, , .
1) ;
2) ( , .), ;
3) .
- . , , .
.
¨ - , , , .
¨ -, () .
¨ : , . , , , , . " " , , , .
¨ ʳ: , - , . . , .
|
|
¨ : , , , . . ; .
¨ : , , , , . ( ()), ( ), , , .
¨ :
¨ .
¨ , .
¨ , , .
69., .
, (Code-based techniques)
3.3.1 , - (Control-flow-based criteria)
-. - . .
- - -, () . -.
3.3.2 (Data-flow-based criteria)
() (), , (). , , , , .
3.3.3 , (Reference models for code-based testing flowgraph, call graph)
, , (, sequence-, UML ).
70. .
:
¨ IEEE Standard 610.12-1990
¨ Standard Glossary of Software Engineering Terminology (IEEE610-90)
¨ :
¨ , , .
¨ , , .
¨ , .
¨ , , .
¨ , , , , .