ĐẢM BẢO CHẤT LƯỢNG PHẦN MỀM
VERIFICATION AND VALIDATION
GVHD: Lê Mậu Long
ĐẠI HỌC TÔN ĐỨC THẮNG_ KHOA CNTT
Nhóm 9
(Xác minh và thẩm định)
Thành viên nhóm

Đặng Thanh Hiếu 070109T

Nguyễn Thị Ngọc Hân 070079T

Hà Thị Kim Phượng 070052T

Trần Anh Hào 070088T

Phạm Thị Hà 070085T
Nhóm 9
Nội dung trình bày

Giới thiệu xác minh và thẩm định phần
mềm, phân biệt sự khác nhau giữa
chúng.

Mô tả quá trình kiểm tra chương trình
và vai trò cuả nó trong V & V.

Tìm hiểu kĩ thuật phân tích tĩnh

Mô tả quá trình phát triển phần mềm
Cleanroom

Mục đích của V & V

Xác minh và thẩm định phải tạo được sự tin
tưởng rằng phần mềm phải phù hợp với mục
đích.

Điều này không có nghĩa là nó hoàn toàn
không có khuyết điểm

Hơn nữa, nó phải đáp ứng được đầy đủ các
chức năng dự định và các loại chức năng sẽ
quyết định mức độ tin cậy cần thiết.
Nhóm 9
Sự tin cậy V & V

Phụ thuộc vào mục đích hệ thống, sự mong đợi
của người sử dụng và môi trường tiếp thị

Chức năng phần mềm: Mức độ tin cậy được phụ
thuộc vào sự đánh giá phần mềm được tổ chức
như thế nào

Sự mong đợi của người sử dụng: Người sử
dụng ít kì vọng các loại phần mềm

Môi trường tiếp thị: Đưa sản phẩm ra thị trường
sớm thì quan trọng hơn là tìm ra những khuyết
điểm chương trình
Nhóm 9
Xác minh tĩnh và động


Một phương thức kiểm tra khuyết điểm thành công là tìm
thấy những khuyết điểm tồn tại trong hệ thống

Kiểm thử thẩm định:

Dùng để chỉ ra rằng các phần mềm đáp ứng được những
yêu cầu

Phương thức kiểm tra thành công để chỉ ra rằng những
yêu cầu được thực thi chính xác.
Kiểm thử và sửa lỗi
Nhóm 9

Kiểm thử khuyết điểm và sửa lỗi là những quá trình
riêng biệt

Xác minh và thẩm định là liên quan đến việc chứng
minh sự tồn tại những khuyết điểm trong chương
trình.

Sửa lỗi là liên quan đến việc xác định vị trí và sửa
lỗi.

Sửa lỗi đòi hỏi phải thiết lập một giả thuyết về hoạt
động chương trình sau đó kiểm thử những giả thiết
này để tìm thấy lỗi hệ thống
Qúa trình sửa lỗi
Nhóm 9
Kế hoạch V & V


Khả năng lần vết theo yêu cầu
Người dùng quan tâm nhất trong hệ thống đáp ứng yêu cầu của mình và
cần phải lên kế hoạch để tất cả các yêu cầu được thử nghiệm riêng lẻ

các thành phần kiểm thử
Các sản phẩm của quá trình phần mềm nên được kiểm thử theo quy định

Lịch kiểm thử

thủ tục ghi nhận kiểm thử.
Không phải đơn giản là chạy để kiểm thử. Tất cả các kết quả kiểm thử phải
được ghi lại 1 cách hệ thống, nó phải được kiểm toán thật tốt các quá trình
kiểm thử để kiểm tra xem nó đã được thực hiện đúng hay không.

Các yêu cầu về phần cứng và phần mền
Những công cụ phần mền và ước tính phần cứng phải sử dụng

Những ràng buộc
Hạn chế ảnh hưởng đến quá trình kiểm thử chẳng hạn như thiếu nhân viên
nên được dự kiến.
kiểm tra phần mềm
Nhóm 9

Kiểm tra phần mềm là một quá trình thẩm
định và xác minh tĩnh, trong đó một phần
mềm được xem xét để tìm ra các lỗi, những
bỏ xót và bất thường.

Khi kiểm tra hệ thống, bạn sử dụng kiến

xem xét các trường hợp kiểm thử cho một hệ thống. bạn
có thể bắt đầu xác minh và thẩm định hệ thống với kiểm
tra sớm trong quá trình phát triển, nhưng một khi hệ thống
được tích hợp, bạn cần kiểm tra để kiểm tra giao diện
chức năng của nó và chức năng của hệ thống là những gì
mà chủ sở hữu của hệ thống thực sự muốn
Kiểm tra chương trình
Nhóm 9

Cần một tài liệu chính thức để hỗ trợ các
kế hoạch của quá trình kiểm tra.

Khuyết điểm có thể là các lỗi logic, dị
thường trong mã có thể chỉ ra một tình
trạng sai lệch hoặc không tuân thủ các tiêu
chuẩn tổ chức, dự án.
Quá trình kiểm tra
Nhóm 9
Thủ tục kiểm tra
Nhóm 9

Trình bày tổng quan về hệ thống với đội
kiểm tra.

Tài liệu liên quan và mã chương trình được
giao cho đội kiểm tra trước.

Kiểm tra và phát hiện các lỗi ghi nhận.

Sửa chữa các lỗi được phát hiện.