Ngoài các ngôn ng th t c nh Basic, Cobol, Fortran, Pascal ..... ây là cách chia nh các x lý... Ph ng pháp th nghi m.
Trang 1CH NG VII
TH C HI N K THU T
VII.1 M c ích và các công n c a giai n th c hi n k thu t HTTT
Giai n th c hi n k thu t h th ng thông tin có nhi m v a ra các quy t nh có liên quan
i vi c l a ch n công c phát tri n h th ng, t ch c v t lý c a c s d li u, cách th c truy
nh p t i các b n ghi c a các t p và nh ng ch ng trình máy tính khác nhau c u thành nên h
th ng thông tin Vi c vi t các ch ng trình máy tính, th nghi m các ch ng trình, các mô un
và toàn b h th ng c ng c th c hi n trong giai n này
M c tiêu chính c a giai n th c hi n k thu t h th ng là xây d ng m t h th ng ho t ng
t K t qu quan tr ng nh t c a giai n này là ph n tin h c hoá c a h th ng thông tin - ó chính là ph n m m Vi c hoàn thi n m i tài li u h th ng và tài li u h ng d n cho ng i s
ng, cho thao tác viên c ng là trách nhi m c a nh ng nhà thi t k h th ng
Nh ng công n chính c a giai n th c hi n k thu t bao g m:
- p k ho ch th c hi n k thu t
- Thi t k v t lý trong
- p trình
- Th nghi m
- Hoàn thi n h th ng các tài li u
- ào t o ng i s d ng
VII.2 L p k ho ch th c hi n
Nhi m v quan tr ng nh t c a l p k ho ch th c hi n k thu t là l a ch n các công c S l a
ch n này s quy nh t i nh ng ho t ng thi t k v t lý trong (thi t k v t lý c s d li u, thi t các ch ng trình) c ng nh ng ho t ng l p trình sau này
Trang 2Hi n nay t n t i r t nhi u ngôn ng l p trình khác nhau, m i ngôn ng có nh ng u và nh c
m khác nhau, m i ngôn ng c thi t k nh m nh ng m c ích và nhu c u riêng Cái thì
nh v n ng l c x lý, cái thì d s d ng, cái thì tính toán nhanh, cái thì th c hi n nhanh các
ch th vào/ ra i v i nh ng ng d ng trong th ng m i và qu n lý, nh ng v n quan tâm chính trong giáo trình này, thì ngôn ng b c cao t th h 3 tr lên là phù h p h n c Ngoài các ngôn ng th t c nh Basic, Cobol, Fortran, Pascal hi n nay có hàng ch c ngôn ng th h th , ngôn ng phi th t c nh Focus, SQL, DataBase, Lotus 123 Nh ng ngôn ng m i này g n
i ngôn ng t nhiên h n là th h tr c, có ngh a là l p trình viên không ph i nói cho máy bi t
ph i làm nh th nào mà ch c n báo cho nó bi t ph i làm gì
Vi c ch n ngôn ng l p trình tu thu c vào tình hình th c t c a h th ng M t ng d ng do
t cán b không chuyên tin h c thì rõ ràng là nên ch n ngôn ng th h 4 Tuy nhiên nh ng
ng d ng l n thì c n ph i có nhi u ngôn ng k t h p và c n nh ng nhà tin h c chuyên môn th c
hi n Vi c ch n Excel ch ng h n rõ ràng là không th là công c lý t ng phát tri n m t h
th ng l p hoá n bán hàng
Sau vi c l a ch n công c là vi c phân ph i công vi c cho các thành viên, xây d ng ti n trình
th c hi n và chi phí c ng nh các yêu c u v t t k thu t cho giai n th c hi n k thu t h
th ng
VII.3 Thi t k v t lý trong
u nh giai n phân tích chi ti t góp ph n b o m cho thông tin trong h th ng là y , thuy t ph c, có ý ngh a i v i ng i s d ng thì vi c thi t k v t lý trong có m c ích là b o
m chính xác c a thông tin và làm h th ng m m d o, ít chi phí Hai b ph n c a h th ng là
s d li u và các x lý s c xem xét k ây
3.1 Thi t k c s d li u v t lý trong
Trong giai n thi t k lô gíc, thi t k viên b o m cho c s d li u ch a t t c nh ng d
li u chính nh ng không có d li u d th a, t o ra các thông tin u ra c a h th ng Thi t k
t lý trong nh m m c ích tìm cách ti p c n t i d li u nhanh và hi u qu
Có hai ph ng th c quan tr ng t m c ích trên là ch s hoá các t p và thêm các d li u
tr cho các t p
Khi c s d li u c cài t vào máy tính thì h qu n tr c s d li u (HQTCSDL) t các
n ghi c a t p theo tr t t mà chúng c n p vào N u ch có nh v y thì th i gian tìm và l y
ra m t b n ghi s r t l n Ví d trên máy vi tính ( i 586) m t t p có 10 000 b n ghi và m i b n ghi có 100 ký t thì th i gian tìm ki m là kho ng 4,5 phút u này r t khó ch p nh n i v i
ng i s d ng, cho dù n i dung tìm ki m t t và cách th hi n p trên màn hình
v t qua khó kh n ó, thi t k viên có th s d ng m t t p ch s T p ch s gi ng nh
t quy n s a ch cho HQTCSDL bi t chính xác a ch c a t ng b n ghi trên a nh
Vi c dùng t p ch s làm gi m áng k th i gian tìm ki m Ví d n u tìm ki m có t p ch s thì
th i gian tìm ki m m t b n ghi trong 10 000 b n ghi dài 100 ký t s là kho ng 0,6 giây Tuy nhiên vi c s d ng t p ch s không ch có u m h QTCSDL ph i qu n lý c t p ch
và vi c c p nh t các t p ch s c ng chi m nhi u th i gian khi c p nh t t p d li u H n n a
i v i m t t p c s d li u th ng là có r t nhi u cách tìm ki m hay tiêu chu n tìm ki m khác nhau, do v y có th ph i có nhi u t p ch d n cho m t t p c s d li u Th ng thì khi tìm ki m
p ch d n c n m trong b nh chính m b o t c tìm ki m nh ng vi c ó òi h i b
nh trong ph i l n Vì v y cán b thi t k ph i cân nh c gi a vi c dùng hay không dùng t p ch n
t cách khác t ng t c tr l i thông tin là l u tr thêm các d li u d d t trong c s
li u Khi thi t k lô gíc thì yêu c u không l u tr các d li u th sinh ngh a là các d li u có
Trang 3th tính toán ra t các d li u khác nh ng ây có th xem xét l u tr nh ng d li u nh v y cho vi c t o thông tin ra nhanh h n
Ví d
Hãng hàng không Air Central có th ng cho hành khách theo các m c m mà hành khách
ã t c t các chuy n i máy bay c a hãng m này c tính t các thông tin ghi trên vé
a các chuy n bay mà khách hàng ã i Tuy nhiên có th tr l i ngay cho khách hàng theo
ch h i áp, ng i ta ã t o ra m t t p t ng h p tính m cho các khách hàng ch không
ph i m i khi có khách hàng h i m i tính t t p vé g c
3.2 Thi t k v t lý trong các x lý
th hi n t t các thi t k x lý cho phép vi t t t các ch ng trình sau này IBM ã a ra
ph ng pháp IPT-HIPO (Improved Programming Technoloies Hierarchical Input Proces Output ) k thu t phát tri n ch ng trình phân c p theo Vào-X lý-Ra
a) t s khái ni m c s
ki n (Evenement) là m t vi c th c khi n nó làm kh i sinh vi c th c hi n c a m t ho c nhi u x lý nào ó Có nh ng s ki n n m ngay trong c ch c a t ch c Ví d , sau khi “Tính
ng xong” thì k t qu c a vi c tính l ng này s là s ki n kh i sinh cho x lý in b ng l ng sau ó Có nh ng s ki n t ngoài nh “ M t n t hàng n” Ng i ta ch th hi n trên s
x lý nh ng s ki n ngoài này
Công vi c (Operation) là m t dãy x lý có chung m t s ki n kh i sinh Ví d v i s ki n
kh i sinh “ n cu i tháng “ thì công vi c tính l ng g m các x lý sau ây c th c hi n:
- p nh t nh ng thay i trong h s l ng nhân viên
- Tính l ng cho t ng nhân viên
- In các b ng l ng
- Tính và l p b ng chi b o hi m xã h i
- p b ng t ng h p chi l ng
Ti n trình (Process) là m t dãy các công vi c mà các x lý bên trong c a nó n m trong cùng
t l nh v c nghi p v N u ti n trình quá l n thì lên chia c t thành nh ng l nh v c nh h n
Ví d
Trong l nh v c “Q n lý kho” s là thu n ti n h n khi 3 ti n trình: (1) Nh p hàng vào kho, (2) Xu t kho và (3) Ki m kê
Nh v y ti n trình là khái ni m mang tính t ch c, vì nó g n v i l nh v c ho t ng, còn công vi c mang tính khái ni m
Nhi m v là m t x lý c xác nh thêm các y u t v t ch c: Ai, âu và Khi nào th c
hi n nó "Ai?" ây nh n m nh v ph ng th c x lý (th công, h i tho i, h n h p), " âu?"
mu n nói v v trí a lý ho c v trí công tác c a ng i th c hi n và "Khi nào?" mu n nói t i
nh ng u ki n kh i sinh nó u ki n kh i sinh ph c t p c u thành t s k t h p nhi u s
ki n thì g i là m t ng b
Pha x lý Là t p h p các nhi m v có tính n các y u t t ch c và s th c hi n c a chúng, không ph thu c vào s ki n nào khác mà ch ph thu c vào s ki n kh i sinh ban u
Trang 4Nh v y xu t phát t danh sách các x lý chúng ta phân b thành các công vi c, t các công
vi c chúng ta tách ra thành các ti n trình, t ti n trình chúng ta chia ra thành các pha x lý
Mô un x lý là m t x lý c p nh t ho c tra c u bên trong c a m t pha và thao tác v i s
ng t ng i ít d li u ây là cách chia nh các x lý Yêu c u x lý v i ít d li u là m t
khái ni m t ng i, tu thu c vào m t s nh ng tiêu chu n khác và nhi u khi mang tính ch quan c a nhà thi t k
Ví d
xác nh các yêu c u s l ng hàng c n t có th t o ra 3 mô un x lý sau:
b) Th hi n s liên k t các mô un
d ng s phân c p th hi n m i liên k t gi a các mô un ã c t o ra
Pha “ p m t n t hàng” có các mô un liên k t v i nhau nh hình sau:
t s l u ý khi thi t k các mô un l p trình
- Xây d ng các mô un nh d ki n tra
- Mô un nh có th s d ng trong nhi u pha
- Tính n kh n ng tr giúp c a các ph n m m phát tri n
- Tích h p các c tr ng v t lý c a máy tính phân chia mô un
- p theo các nhóm mô un có s liên thông h t cái này n cái kia
Trang 5Vi c tách thành các mô un c n ph i luôn luôn tr l i câu h i “ Nh th nào?” N u câu tr
i c n ph i xem xét t i nhi u quy t c qu n lý ph c t p thì c n ph i ti p t c phân rã
Các s c a t ng pha nh trên s c liên k t l i t o thành m t s t ng th duy nh t
t qu vi c làm này cho phép :
- dàng th y rõ t ng th ng d ng
- Là chìa khoá ti p c n t i các tài li u h th ng vì m i m t mô un s kèm v i m t phích
mô t ph thêm cho mô un ó
- Cho phép phát tri n ng d ng t cao xu ng th p
c) Thi t k các nhi m v ng i - máy
Các nhi m v ng i máy có m c ích chính là t ch c h i tho i gi a ng i và máy trong các pha i tho i M i nhi m v ng i - máy c n ph i l p ra m t s theo m u ví d c a pha l p
n t hàng sau:
VII.4 L p các ch ng trình máy tính
Ph n m m máy tính cho h th ng thông tin do các l p trình viên th c hi n v i yêu c u m
o r ng các ch ng trình phù h p hoàn toàn v i các c t thi t k
p trình là quá trình chuy n i các c t thi t k v t lý c a các nhà phân tích thành ph n m m máy tính do các l p trình viên m nh n M t khi ti n trình l p trình c b t u thì c ng là lúc
có th b t u ti n trình th nghi m và ti n hành chúng song song M i khi m t mô un ch ng trình c vi t xong có th ti n hành th riêng mô un ó, sau ó th mô un này nh m t ph n
a m t ch ng trình l n h n và sau ó th ch ng trình nh m t ph n c a m t h th ng l n
n n a Chú ý r ng, th nghi m c ti n hành trong giai n th c hi n k thu t nh ng ph i
c l p k ho ch t r t s m trong d án L p k ho ch th nghi m bao g m vi c xác nh xem cái gì c n c th nghi m và vi c thu th p d li u ph c v m c ích th nghi m B c l p k
ho ch th nghi m th ng c ti n hành trong giai n phân tích, vì yêu c u th nghi m liên quan n yêu c u h th ng
VII.5 Th nghi m ph n m m
5.1 T ng quan v th nghi m ch ng trình
Trang 6Th nghi m ch ng trình là quá trình tìm l i Nó là m t ánh giá cu i cùng v các c t , thi t k và mã hoá M c ích c a vi c th nghi m ch ng trình là nh m m b o r ng t t c các thành ph n c a ch ng trình ng d ng u c thi t k và th c hi n k thu t úng v i các yêu
u ra
Th ng có 2 ki u l i c tr ng trong ch ng trình ng d ng: (1) Ch ng trình không làm
nh ng u c n ph i làm và (2) Ch ng trình làm nh ng u không c n làm L i lo i 1 c g i
là l i b sót và hay g p i v i các ng d ng m i c phát tri n, lo i l i th 2 g p ph i trong các ng d ng b o trì M t th nghi m t t là m t th nghi m ph i xác nh c c 2 lo i l i ó Tham gia vào giai n th nghi m ch ng trình có nhi u i t ng khác nhau và có nhi u chi n l c th nghi m khác nhau có th c áp d ng v i nh ng m c khác nhau, nh m m c tiêu
cu i cùng là "Tìm l i" còn ti m n trong ch ng trình
Th nghi m ch ng trình th c ch t c b t u t r t s m trong chu k phát tri n h th ng,
c d u v y các ho t ng th nghi m ch ng trình th c s l i x y ra trong giai n th c hi n thu t h th ng N u trong giai n phân tích h th ng m t k ho ch th nghi m t ng th
(Master Test) c xây d ng, thì trong giai n thi t k h th ng: k ho ch th nghi m mô
un (Unit Test), k ho ch th nghi m tích h p (Integration Test) và k ho ch th nghi m toàn
th ng (System Test) m i c xây d ng Trong quá trình th c hi n k thu t h th ng, các k
ho ch th nghi m khác nhau này s c th c hi n và quá trình th nghi m th c s c b t u
NG 3.9 : N I DUNG C A K HO CH TH NGHI M T NG TH
1 Gi i thi u chung
a Mô t h th ng c n th nghi m.
b Các m c tiêu c a k ho ch th nghi m.
c Ph ng pháp th nghi m.
d Các tài li u h tr
2 K ho ch chung
a L ch v : th i gian và a m th nghi m.
b Tài li u th nghi m
+ K ho ch th nghi m.
+ Các tr ng h p th nghi m.
c u ki n th nghi m.
3 Các yêu c u th nghi m
a Ph n c ng.
b Ph n m m.
c Nhân s
4 Ki m soát quá trình th nghi m.
Trong m t s t ch c, ng i ta còn ào t o nhân viên chuyên nghi p v th nghi m ch ng trình, nh ng ng i s giám sát và h tr quá trình th nghi m Các qu n tr viên th nghi m
ch ng trình có nhi m v l p k ho ch th nghi m, xác l p các chu n th nghi m, tích h p các
ho t ng th nghi m và phát tri n h th ng vào chu k phát tri n h th ng, ng th i m b o
ng các k ho ch th nghi m c th c hi n k thu t và hoàn thành Các chuyên gia th nghi m ch ng trình có trách nhi m tr giúp qu n tr viên th nghi m trong vi c l p k ho ch
th nghi m, xây d ng các tr ng h p th , ti n hành th nghi m và ánh giá, báo cáo v k t qu
th nghi m
Có nhi u ki u th nghi m ch ng trình khác nhau và có th ti n hành phân lo i các k thu t
th nghi m ó theo nhi u tiêu th c khác nhau
Trang 7a Phân lo i theo cách th nghi m
- thu t th nghi m t nh Không ti n hành th c hi n ch ng trình, k t qu th c hi n
ch ng trình không ph i là m c tiêu chính trong ki u th này
- thu t th nghi m ng Th nghi m có ti n hành th c hi n ch ng trình
b Phân lo i theo công c th nghi m
- thu t th công Th nghi m do con ng i th c hi n, không có tr giúp c a máy tính
- thu t t ng Th nghi m b ng máy tính.
5.2 M t s khía c nh c n th nghi m i v i m t h th ng thông tin qu n lý
Theo E M Awad thì c n ki m tra trong th nghi m h th ng 7 khía c nh sau:
- chính xác c a các s n ph m u ra
- áp ng v m t th i gian tr l i c a h th ng
- ng l c x lý v i kh i l ng d li u l n
- Kh n ng ph c h i h th ng n u có s c ng ng ho t ng
- an toàn c a d li u
- d dàng s d ng tài li u và các h ng d n
5.3 M t s k thu t th nghi m ch ng trình
Các k thu t th nghi m ch ng trình
+ Rà soát l i c tr ng (Inspections) Là m t k thu t th nghi m ch ng trình t nh, theo
ó ch ng trình c ki m tra m t cách th công phát hi n ra nh ng l i th ng g p M i m t ngôn ng l p trình th ng có nh ng ki u l i nh t nh mà các l p trình viên có th m c ph i Công vi c c a các thành viên ki m tra l i là i chi u ch ng trình v i danh m c các l i th ng
p i v i ngôn ng l p trình ó Có th phát hi n t i 60 n 90% l i c a ch ng trình b ng k thu t này
+ K thu t ki m tra logic (Walkthroughs) K thu t này t p trung vào logic c a ch ng trình h n là vào các tr ng h p th c bi t C ng nh n m nh r ng, k thu t này ch phát hi n
i ch không s a l i Công vi c s a l i ch ng trình là c a các l p trình viên
+ K thu t th nghi m th công (Desk Checking) Là t k thu t th ch ng trình ch
ng gi y và bút chì L p trình viên ho c m t thành viên nào ó có hi u bi t v logic ch ng trình s rà soát l i toàn b ch ng trình và ti n hành th c hi n t ng l nh m t thay th vai trò c a
t máy tính
+ K thu t ki m tra cú pháp b ng máy tính (Syntax Checking) Là k thu t th t ng duy nh t d ng t nh - phát hi n l i cú pháp nh ng không th c hi n l nh Còn các k thu t th t
ng khác u là d ng ng (ngh a là có s th c hi n ch ng trình tìm l i)
+ K thu t th nghi m mô un (Unit Test) Th nghi m t ng mô un (hay còn g i là n mã) riêng r , nh m phát hi n ra l i có trong mô un ó
Trang 8+ K thu t tích h p (Integration Test) Vì các mô un cùng t n t i và cùng ho t ng v i các mô un khác trong các ch ng trình và trong các h th ng nên các mô un ph i c th trong nh ng nhóm l n h n K thu t k t h p các mô un v i nhau và th nghi m chúng g i là thu t th tích h p K thu t tích h p c tri n khai chi ti t d n t trên xu ng (Top - Down).
t u b ng vi c th mô un liên k t (mô un g c trong m t c u trúc hình cây) và ch m t trong s các mô un th c p c a nó Sau ó là b c b sung thêm 1 ho c 2 mô un th c p cùng
c khác Sau khi ch ng trình ã c th v i mô un liên k t và toàn b các mô un th c p
tr c ti p c a nó, có th b sung thêm mô un c a m c k ti p và th nghi m ch ng trình Quá trình này c l p l i, cho t i khi toàn b ch ng trình c th nghi m d ng t ng th
+ Th nghi m h th ng (System Test). ây là k thu t ghép t t c các ch ng trình c u thành nên h th ng th K thu t này t ng t nh k thu t th tích h p, nh ng thay vì tích
p các mô un l i v i nhau thành m t ch ng trình là vi c tích h p các ch ng trình thành các
th ng K thu t này c ng theo logic phát tri n nh k thu t th tích h p Và c hai k thu t
th nghi m này, không ch các mô un và các ch ng trình c ki m tra mà c các giao di n
gi a chúng n a
Nh v y, v i ph ng th c nh trên thì ph i vi t mô un liên k t tr c, sau ó m i vi t các
mô un m c ti p theo và c th ti p t c, cho t i khi toàn b các mô un c a h th ng c hoàn thi n Tuy nhiên c ng c n chú ý r ng các mô un m c cao nh t s g i n r t nhi u các mô
un th c p khác, v y nên khi mu n th các mô un m c cao nh t trong khi các mô un th c p
ch a có thì ph i s d ng k thu t th Stub
+ K thu t th stub Stub là hai ho c ba dòng l nh do các l p trình viên vi t thay th t m
th i cho nh ng mô un th c p ch a vi t Trong khi ch y th , mô un liên k t s g i các Stubs thay vì g i các mô un Stub s nh n u khi n và tr l i k t qu cho mô un mã liên k t
Sau khi các mô un th c p c th nghi m, có th ti n hành k thu t th tích h p K thu t
th toàn h th ng không ch n gi n là k thu t th tích h p m r ng mà còn th xem h th ng
có áp ng c các m c tiêu không ki m tra u ó, k thu t th nghi m h th ng s d ng các d li u gi nh trong m t môi tr ng th nghi m gi nh K thu t th h th ng th ng
c th c hi n b i nhân viên c a h th ng thông tin ho c b i ng i s d ng có s h ng d n
a ph trách h th ng thông tin qu n lý
Các chi n l c th nghi m
c b n có 2 ki u chi n l c th nghi m ch ng trình:
(1) Chi n l c th nghi m liên quan n cách ki m tra Logic c a ch ng trình: Ki u chi n
c này có th là chi n l c h p en - Black Box (chi n l c có tính h ng d li u, các chi ti t Logic c che u và không c n phân tích) ho c là chi n l c h p tr ng - White Box (chi n
Trang 9c có tính h ng Logic hay h ng gi i thu t, theo ó m t vài hay t t c các m t Logic c n
c ki m tra xác nh tính úng n c a ch c n ng Các k t qu trung gian và u ra cu i cùng có th c d oán và nh l ng nh chi n l c th nghi m h p tr ng này)
(2) Chi n l c th nghi m liên quan n cách th c ti n hành th nghi m: Ki u chi n l c này
có th là chi n l c "T trên xu ng" Top - Down (v i quan ni m ch ng trình chính là quan
tr ng nh t, c n ph i c phát tri n và th nghi m tr c và c nh th chi ti t d n t i các
ch ng trình và mô un th c p ti p theo) ho c chi n l c " d i lên" Bottom - Up" (v i
quan ni m các mô un và ch ng trình riêng r c n c phát tri n và th nghi m hoàn toàn riêng r , sau ó m i c g p v i nhau ti n hành th nghi m tích h p)
Các chi n l c ki m tra không lo i tr l n nhau, chúng có th c s d ng n l ho c k t
p v i nhau Thông th ng phát hi n c h t các l i trong ch ng trình ng
ng c n áp d ng nhi u chi n l c th nghi m khác nhau
Trang 10Sau khi ã xác nh c chi n l c th nghi m, có th ti n hành t o các tr ng h p th
nghi m c th (Test Case) Quá trình th nghi m c l p i l p l i cho t i khi không còn l i
ho c ã t c m c ch p nh n c
Quá trình th nghi m ch ng trình
Có hai m c n ghi nh khi th nghi m h th ng thông tin:
(1) M c tiêu c a vi c th là xác nh n h th ng ã tho mãn các yêu c u ra
(2) K ho ch th nghi m h th ng c n c xây d ng c th
H th ng c n c th nghi m nhi u góc khác nhau nh : th i gian h i áp, h i áp trong tr ng h p không có u vào ho c quá t i u vào C n ph i th nghi m m i cái có th
y ra sai sót trong h th ng Ít nh t ph i th c nh ng ph n hay s d ng nh t c a h th ng, thêm vào ó là nh ng ph n khác n u th i gian cho phép
t trong nh ng n i dung có trong k ho ch th nghi m t ng th là vi c chu n b m t b các
tr ng h p dùng cho th nghi m và m i tr ng h p th nghi m ph i c l p tài li u c n th n,
vì ng i t o các tr ng h p th nghi m không c là ng i s ti n hành th nghi m (xem m u
mô t tr ng h p th nghi m trên)
i tr ng h p th nghi m có th và c n c s d ng l p l i cho các phiên b n m i sau ó
a ng d ng, t o u ki n so sánh k t qu th nghi m c a phiên b n tr c c a ng d ng v i phiên b n sau ó, nh m xác nh rõ r ng nh ng thay i c th c hi n i v i h th ng không sinh thêm l i m i và ho t ng c a h th ng không b kém i
Bên c nh mô t chi ti t cho m i tr ng h p th nghi m c n có mô t k t qu th nghi m h
th ng i v i tr ng h p th nghi m ó, trong ó có nh n m nh t i s khác bi t c a k t qu
th c t v i k t qu d tính Trong b ng k t qu th nghi m có xác nh rõ: t i sao có s khác nhau gi a k t qu th c t và k t qu d tính c ng nh nh ng xu t cho gi i pháp thay i
ph n m m, n u có Ngh a là khi có s khác nhau gi a k t qu d tính và th c t thì c n ti n hành tìm và x lý l i b ng nh ng công c g r i khác nhau (xem m u k t qu th nghi m ch ng trình trên)
Chu trình: phát hi n v n còn t n t i, khoanh vùng l i và th nghi m l i các tình hu ng
c l p i l p l i cho t i khi không t n t i v n nào n a