-

1.
, , .
.
2.
-
:
-
: (), ,
-
: *7 .
- : ( , )
- ID()
: ,
-
:
-
:
-
: , .
- /
:
- Pass
:
- Fail
:
- Not Tested :
- Blocked
: . ( )
3. TestCase
ID
xx
1.1

( )
1.

PF
-

- 2. TD

()

(, )

yy.7.3

4. TestCase

1.
.
2. ,
, .
( )
3.
( ) .
.
4.
( ) .
3 , .


1.
-
- /
- , .
2.
-
- .
- , .
3.
-
- , , .
- , .

 (Specification-based technique)
1.
- (Equivalence partitioning)
- (Boundary value analysis)
- (Decision table testing)
- (State transition testing)
- (Use case testing)
2.
- .
( , )
- (Early test design) .
( .)
, , .
3.
1)
1-1

- ,
-
: , , ,
- .
1-2

( )
1

1
2
3
4
2.75
2.98
3.57
4.03
2.50V<=<2.80V 2.80V<=<3.30V 3.30V<=<3.80V 3.80V<=<4.30V

2
A
B
a1
a2
a3

b1
b2
b3
b4

ai

c1
c2

bi

ci

- 1 .
- 2 A 3 , B 4 , C 2 (A X B X C) .
- 2 , .
2)
2-1

- (, ) .
- ( ), ( ) .
- , , .
- '' .
- .
2-2

1 .
2.50v
2.80v
3.30v
3.80v
4.30v
< 2.50V
2.50V<=<2.80v
2.80V<=<3.30v
3.30V<=<3.80v
3.80V<=<4.30v

2

1
2
3
()
2.49
2.50
2.79

4
2.80

5
3.29

6
3.30

7
3.79

8
3.80

9
4.29

4.30v<=

10
4.30
-

- 1 .
- 2 .
- 2.79 , 3, 2.80 2 1 .
2-3

- .
- .
- .
- .

3.
3)
3-1

- .
- .
- , .
- , .
- .
: , .
- .
3-2

- .
- Test Basis
-
- Test Basis

3-3

-
-
-

- .
- 2 .
- . .
- , . .
- , , .
- . 2 , 3 .

ID
1

2

3

T
F

MSG( )
MSG( )
SW
SW
MSG( )

MSG( )

T
T
F
T

T
T
F
F

10

11

T
T
T

T
T
T

T
T
T

T
T
T

T
T
T

T
T
T

F
T

F
F
F

F
F
T

T
T
T
T
*
*
*

(?)*
*
*
*
*

T
T
T
T
T
T

T
T

- ( , ) .
- (True) (FALSE) .
- .
- TEST CASE 2 , .

ID

( )

' '
1

.
.

' '
.

P/F

3.
4)
3-1

-
- , , , .
- , .
3-2

-
-
-
-
-

3-3

( ev , : ev)
[ ]

(, ev / )

1)
2)
3)
4)
5)
6)

3-5

3-4

-

(Legal, (Valid))
(Illegal, Invalide))
(Guard)
(Test procedure)

0)

1) -

ev /
ev
ev
ev
ev [->]
ev [ -> ]
ev [->]
ev [ -> ]
ev [, , 1, 1 , ]
ev [ ]

(Stand by)
1 ^
2

(Play)

3
4
5
6 ^
7 ^
8 ^
9 ^
10 ^
11 ^

12 ^
13

(Pause)
14
15
16

- () ev(Event) .
- () , , , , .
- . ev / 1 .( )
- ev / .( )
- ev / .( )
- (^) Guard .

2)

- - .
-
1) .
2) .
3) .
- 0-Switch .
- 0 .
- N .
- .

3) (Legal, (Valid)) (0-Switch)

ID
V001
V002
V003
V004
V005
V006
V007
V008
V009
V010
V011
V012
V013
V014
V015
V016

ev/
ev
ev/
ev
ev
ev
ev
ev
ev
ev
ev
ev
ev
ev/
ev
ev

=
= Live User

Live User

- (16) .
- V001 - - .
- .
- .
- .

4) (Illegal, (Invalid)) (0-Switch)

ID
IV001
IV002
IV003

IV009
IV010
IV011
IV012
IV013

IV018
IV019

IV024

V001
V002
V002
V002
V002

V003
V003

V003

ev
ev
ev

ev
ev/
ev
ev
ev

ev
ev

ev

- - .
- .
5) (Guard)
ID

G01.1
V001
G01.2
V001
G01.3
V001
G06.1
V006
G06.2
V006
G07.1
V007
G07.2
V007

G11.1
V011
G11.2
V011

ev/
ev/
ev/
ev
ev
ev
ev

ev
ev

()

0
, =
= 0
MSG( )
= 256
MSG(256 )
, =
= , =
3 , =
= , =

=Live Live , =
=Wide Wide , =

- .
- - .
- , .

6)
- , .
- , , .

TP1
= V001 >
TP2
= V006 >
TP3
= V015 >
TP4
= IV018 >

V003
V007
IV010
IV019

>
>
>
>

V014
V008
IV011
IV024

>
>
>
>

V004
V009
IV012
IV016

>
>
>
>

v012 > V002 > V013 > IV001 > IV002 > IV003 > G01.1 > G06.1 > G06.2
V101 > V011 > IV009 > G07.1 > g07.2 > G11.1 > G11.2 > V005
IV013
G01.2 > G01.3

V001 V002 V003 V004 V005 V006 V007 V008 V009 V010 V011 V012 V013 V014 V015 V016
TP1
V
V
V
V
V
V
V
TP2
V
V
V
V
V
V
V
TP3
V
TP4
V

IV001 IV002 IV003

TP1
V
V
V
TP2
TP3
TP4

IV009 IV010 IV011 IV012 IV013

IV018 IV019

IV024

V
V

G01.1 G01.2 G01.3 G06.1 G06.2 G07.1 G07.2

TP1
V
V
V
TP2
V
V
TP3
TP4
V
V

V
V

G11.1 G11.2
V

- TP1 13 .
- , 1 .
- ?

3.
5)
4-1

- ( ) , .
- .
- .

- .
- , .
- .
- , A
(A , .)
- , T/C .
4-2

() ()

TC0
TC1
TC2
TC2.1
TC3
TC4

S0
S1
S2( >1)
S2( =1)
S2( =0)
S4

V
I
V
V
V
V

V
N/A
I
I
I
V

<=
N/A
N/A
N/A
N/A
N/A
N/A
N/A
N/A
>

MSG
MSG
MSG
MSG
MSG

1)
2)
3) , ,
4) ID
5) (Vaild/Invalid, upper/lower Bound, True/False, Not Application)