??Devpartner??????

1
??????
2
??

• ????,?????
• ?????????
• ??????
• ????
• ???????

3
??

• ???????,?????????
• ??????????
• ????????
• ???????????????
• ??Devpartner??????

4
????

• ??????
• ??????
• ????
• ????????
• ??????

5
??????

• ??????????????
• ??????????????????????????????????
• ???????????
• ???????????????,?????????????????

6
??????

• ???????????????????
• ???????????
• ?????????
• ?????????

7
???????

• ??????
• ??????
• ????
• ????
• ?????
• ?????
• ?????

• ??????
• ????
• ????
• ????
• ????
• ??-????
• ????

8
?????

• ??????????,????????????????????
• ???????????????????,????????
• ????????????????,????????????

9
????

• ??????
• ??????
• ????
• ????????
• ????????

10
??????

• ????
• ????
• ?????
• ?????
• ?????

11
????

• ??
• ???????????????????,???????????
• ??
• ??(???????????)????????????????????????????
• ?????
• ????
• ?????(??????)
• ??????????????,???????,???? ??????????,??????????
  ????

12
????

• ??
• ???????????
• ??????????????
• ?????????????
• ??????????
• ?????????????checklist

13
????

• ??
• ??
• ????
• ???
• ?????

14
?????

• ??????????????????????????
• ???????????
• ???????????????????

15
?????
1
2
3
5
16
????
1
a
2
c
b
3
f
d
4
e
5
17
????

• ??
• ???????
• ???????????????
• ???????????????
• ??????????

18
????

• ??????
• ??
• ????????????,????????
• ??????????

19
??????
1
3
5
2
4
a
c b
d
e
f
1
2
3
4
5
20
??????

• ?????????????
• ????????????????????
• ????????(?--gt?)
• ????????,????????????

21
?????????

• ?????????
• ?????????
• ????????
• ???????????????
• ???????????
• ?????????????????????????????
• ????????????,?????????
• ??1-2-3?4-4-5(??)

22
?????

• ??????????????
• ?????????????????????????
• ?????????
• ????
• ????
• ????

23
???

• ????????????????????V??,??V??????
• ????????????????V??,??V??????
• ??
• XYZ---------X???,Y?Z???
• if YgtZ then return----Y?Z???

24
?????????
??????????????????????(?????????),?????????
1
?? ????? ?????
1 X,Y,Z
2 X W,X
3 X,Y
4 Y,Z
5 Y V,Y
6 Z V,Z
7 V X
8 W Y
9 Z V
10 Z Z
11 Z
2
3
4
10
5
6
Z?????????
7
11
8
9
25
?????

• ??????????????????????????????
• ?????????,??????????
• ??????
• ??in_m????,in_n???
• ??out_q??,out_r???

26
??????

• out_q 0
• out_r in_m
• While(out_r gt in_n)
• out_q
• out_r out_r in_n

27
??????
in_n
in_m
out_q
out_r
out_r
out_q

v
v v
v v
v v
v
v v
v v
v
v v
v v
v v
1
1
in_m
2
2
In_n
???????
3
3
(3)
4
4
5
5
(1)????????
(2)?????????
28
?????

• ?????????????????
• ????????????????????????????
• ????????????,???????????????,????????

29
????

• ??????
• ??????
• ????
• ????????
• ????????

30
????

• ??????????????
• ????

31
?????

• if (A gt 1 B 0)
• X X/A
• if (A 2 X gt 1)
• X X 1

32
????????
a
F
T
A gt 1 B 0
c
b
X X/A
T
F
A 2 X gt 1
e
d
X X 1
33
????????

• ????
• ????
• ????
• ??-????
• ????

34
????

• ??????????,?????????????
• ????,???????????,????????,??????????????????
• ??? -gt ???
• ????????????????

35
?????

• ?????
• ????????????????????????
• ?????????????????
• ?????????

36
????????

• ??????100?????(??ace)
• A 2
• B 0
• X 3

• ???????100?????(??abe)
• A 2
• B 1
• X 3

37
???????

• ??????
• ??????????????
• ????????
• ??????
• ????????,????????????

38
????????????

• ??????
• A gt 1 B 0 -gt A gt 0 B 0
• ????(?)??
• A gt 1 B 0 -gt A gt 1 B 0
• U Alt1 Bgt2 -gt U Alt1

39
????????????

• ??????
• ??????
• ????????

40
????????????

• for(i0ilt10i)
• statement
• While(xgt3xlt7)
• statement

• ??????
• for(i0ilt10i)
• statement
• While(xgt3)
• statement

41
????????

• ???????????
• ?????????,??????
• if(x!1)
• statements
• else
• statement

???? x 2 ?????99 50???????
99?
1?
42
????

• ????????,??????,????????????????????
• ??????
• while???switch???????????????????????????
• ?????
• ????????????????????????????

43
????????
??acd A3 B0 X3 ??abe
A2 B1 X2

• ??ace
• A2
• B0
• X3
• ??abd
• A1
• B0
• X1

?
44
???????

• ????????????????????????,???????????
• ????????????????
• ??????????
• ??????????
• ??????????
• ??????????

45
????

• ????????,????????,???????????????????????

46
??????

• ?1??????
• A gt 1,??T1
• A lt 1,???F1
• B 0,??T2
• B ! 0,??F2
• ?2??????
• A 2,??T3
• A ! 2,??F3
• X gt 1,??T4
• X lt 1,??F4

47
????????
???? ABX ?? ????
1 203 ace T1,T2,T3,T4
2 101 abd F1,T2,F3,F4
3 211 abe T1,F2,T3,F4
???????????????????
48
????????
???? ABX ?? ????
1 103 abe F1,T2,F3,T4
2 211 abe T1,F2,T3,F4
???????????????
49
???????

• ???????????
• ????????????
• ???????
• a b (c (d e))
• ((a b) (c d)) e

50
??-????

• ?????????,????????????????????,???????????????????
  ?

51
??-??????

• (1)A gt 1, B 0, ??T1, T2
• (2) A gt 1, B ! 0, ??T1, F2
• (3) A lt 1, B 0, ??F1, T2
• (4) A lt 1, B ! 0, ??F1, F2
• (5) A 2, X gt 1, ??T3, T4
• (6) A 2, X lt 1, ??T3, F4
• (7) A ! 2, X gt 1, ??F3, T4
• (8) A ! 2, X lt 1, ??F3, F4

52
??-????????
???? ABX ????? ?? ????
1 203 (1)(5) ace T1,T2,T3,T4
2 211 (2)(6) abe T1,F2,T3,F4
3 103 (3)(7) abe F1,T2,F3,T4
4 111 (4)(8) abd F1,F2,F3,F4
???3???,?????acd
53
??-???????

• ?????????,?????????,?????????????????
• ???????????
• ???????

54
????

• ??????????,??????????????
• ??
• ace ??L1
• abd ??L2
• abe ??L3
• acd ??L4

55
????????
???? ABX ????
1 203 ace(L1)
2 101 abd(L2)
3 211 abe(L3)
4 301 acd(L4)
56
????????

• ????????????????,???????????????????????,?????????
  ?????????????
• ??????????????????,???????????????????(?????????)?
  ?????
• ???????????????,???????????????????,??????????????
  ???????,???????????????????????????????

57
????????(?)

• ??????????????????,??????????????,??????????,?????
  ????????????????????4???
• (1)??????????
• (2)??????????,?????????????????,??????????????????
  ????????????????
• (3)???????,??????????
• (4)??(3)??????,?????????????????

58
?????

• ????????????,????????????????????????
• ????????????????????????,?????????????????????
  ?????????????????
• ???????????????????????????????????????????,??????
  ???????????????????????
• ??????????????????,?????????????

59
??????????

• ???????????,??????????????????????????????????
• ???????????????????
• ??????G??????V(G),???
• V(G) E-N2
• ??,E??????????,N????????????
• ??????G??????V(G),?????
• V(G) P1
• ??,P?????G???????????????????2???????

60
????????(?)

• void Sort ( int iRecordNum, int iType )
• 1
• 2 int x0
• 3 int y0
• 4 while ( iRecordNum-- gt 0 )
• 5
• 6 If ( iType0 )
• 7 xy2
• 8 else
• 9 If ( iType1 )
• 10 xy10
• 11 else
• 12 xy20
• 13
• 14

61
????????(?)

• ??????
• ?????
• ???????
• 10(??)- 8(???) 2 4
• ??????(???????)
• ??14?14
• ??24?6?7?14
• ??34?6?9?10?13?4?14
• ??44?6?9?12?13?4?14

62
???????

• ??????????,???????
• ????????????
• ?????,?????????
• ???????

63
????????

• 0???
• ??????
• 1???
• ???????
• 2???
• ??????
• m???
• ??????
• ?????????????????????
• ????????

64
??????

• ???????????
• ??
• ????????????????????,????????0?
• ????
• ???????
• ?????

65
???????
C
B
B
C
(2)
(1)
66
???????

• (1)?(2)?????(3)

C
B
67
?????????

• ???????,????????????
• ?????????
• ??????
• ??????????

68
??????N-S?

• ???????3?????????
• ???
• ???(????)
• ???(??)
• ????????
• ???
• ???(????)

69
??????????
??
??
70
??????????

• ???????????,????????????????????????????
• ?????????,??n?????,??n1?????
• ?????????,??n?????,???2n?????,????2n???

71
???????????

• ?????????

72
???????????
73
???????????
74
??????

• Foster?ESTCA????
• ??????????(Error Sensitive Test Cases Analysis)
• ??

75
ESTCA????

• ????A(gt, , lt, gt, lt)B,??????AltB, AB,
  AgtB?????????
• ????A (gt, lt)C,A???,C???
• ?AgtC?,??AC???
• ?AltC?,??AC-???
• ????????,?????????????????

76
?????

• ???????,????????????????
• ???????(??)?????????????????,?????????????
• ???????????,??????????????-????????????

77
????

• ??????
• ??????
• ????
• ????????
• ????????

78
??????

• ????
• ????????
• k i
• for(j i1 j lt n j)
• if(Aj lt Ak)
• k j

79
?????
k i j i1
a
c
j lt n?
b
Aj lt Ak?
f
d
e
k j
j
80
???????
3
81
????(??)
???? ?? ?? ?? ?? ?? ?? ??
???? ?? i n Ai Ai1 ?? k
1 0 1 1 1 ac 1
2 1 1 2 1 2 abefc 1
3 1 1 2 2 1 abdfc 2
82
??

• ??????????????????
• ?????,????????????,??????????????,????????
• ????????
• ??2???

83
????(??)
???? ?? ?? ?? ?? ?? ?? ?? ??
???? ?? i n Ai Ai1 Ai2 ?? k
1 0 1 1 1 ac 1
2 1 1 2 1 2 abefc 1
3 1 1 2 2 1 abdfc 2
4 2 1 3 1 2 3 abefbefc 1
5 2 1 3 2 1 3 abdfbefc 2
6 2 1 3 2 3 1 abefbdfc 3
7 2 1 3 3 2 1 abdfbdfc 3
84
????

• ??????
• ??????
• ????
• ????????
• ????????

85
?????????

• DevPartner(Compuware)(C?VC?.net?java)
• IBM Rational Purify(C,C )
• NUnit(.net)
• JUnit(java)
• CppUnit(C)

86
Devpartner???

• Compuware ? DevPartner ??????????? Microsoft?Java
  ? 64 ????????????
• ??(C/VC/.net)?java????
• DevPartner ???????????????,???????????,??????????
  ?????????
• DevPartner ?????????????????,?????????,???????????
  ????

87
Devpartner???
DevPartner 8.0 Professional Edition
88
Devpartner???
DevPartner 8.0 Professional Edition
89
NUnit???

• NUnit?????????,?????.NET???.??????JUnit(Java),CPPU
  nit(C),????xUnit???.??,???JUnit??.??????2.2.
• NUnit????James W. Newkirk, Alexei A. Vorontsov
  ?Philip A. Craig, ????????????.??????, Kent Beck
  ?Erich Gamma2???????????.
• NUnit?xUnit?????4?????,???C?????,????????????.NET
  ???,????,??????.

90
NUnit???
91
????

• ????????????????????
• ???????????????????
• ???????????????????????

92
????

• ???
• ?????????????????????
• ???
• ?????????????????
• Void Do(int X, int A, int B)
• if(Agt1)(B0)) XX/A
• if(A2)(Xgt1) XX1

93
????

• ???
• ??????????????,?????????????
• Void DoWork(int x,int y, int z)
• int k0,j0
• if((xgt3)(zlt10)) kxy-1 jsqrt(k)
• if((x4)(ygt5)) jxy10
• jj3

94
Thanks!