
KiểmChứng, ThẩmĐịnh và KiểmThử
(Verification, Validation, and Testing)

2
Mụcđích
zSau buổihọc sinh viên phảinắmđược:
−Hiểu các khái niệm: verification, valdation, và
testing
−Nắmđược các nguyên lý vềkiểmthử
−Hiểu khái niệmca kiểmthử(test case)
−Các phương pháp thiếtkếtest case
−Làm thếnào để kiểmthửchương trình
−Làm thếnào để kiểmthửhệthống

3
Nội dung
zGiớithiệu
−Verification,Validation, và Testing
zCác nguyên lý vềkiểmthử
zCa kiểmthử(test case)
zCác kỹthuậtkiểmthửchương trình
−Kiểmthửchứcnăng
−Kiểmthửcấutrúc
zCác giai đoạnvàchiếnlượckiểmthử

4
Tài liệu
zPressman, Software Engineering,
McGraw Hill (chapter 18 & 19)
zSommerville, Software Engineering,
Addison-Wesley (chapter 22 & 23)
zGiáo trình kỹnghệphầnmềm(chương 5)
zCác tài liệuđiệntửkhác

5
Verification,Validation, và Testing
zKiểmchứng (Verification)
−có đúng đặctảkhông, có đúng thiếtkếkhông
−phát hiệnlỗilậptrình
zThẩmđịnh (Validation)
−có đáp ứng nhu cầungười dùng không
−có hoạtđộng hiệuquảkhông
−phát hiệnlỗi phân tích, lỗithiếtkế(lỗimứccao)
zV&V = Verification and Validation
−mụctiêulàpháthiệnvàsửalỗiPM, đánh giá tính dùng
đượccủaPM
zThứtựthựchiện: Verification -> Validation