ĐẢM BẢO CHẤT LƯỢNG PHẦN MỀM pot

ĐẢ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

Nhóm 9
Xác minh và thẩm định
Xác minh:

“Chúng ta có tạo ra sản phẩm đúng hay
không”

Phần mềm phải phù hợp với đặc tả của
nó

“Chúng ta có tạo ra đúng sản phẩm hay
không”

Phần mềm phải đáp ứng đầy đủ yêu cầu
của người sử dụng
Nhóm 9
Quá trình V & V

Là quá trình xoay vòng. V & V phải
được ứng dụng ở mỗi bước trong các
tiến trình phần mềm.

Có 2 nội dung chính:

Phát hiện ra những khuyết điểm trong hệ
thống

Ước lượng được hệ thống có hữu ích và
tiện lợi để sẵn sàng dùng hay không.
Nhóm 9

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


Kiểm tra phần mềm:

Liên quan đến phân tích các biểu hiện tĩnh
của hệ thống để phát hiện vấn đề(xác minh
tĩnh)

Liên quan đến việc ứng dụng và nhận xét các
phản hồi sản phẩm.
Nhóm 9
Xác minh tĩnh và động
Nhóm 9
Kiểm thử chương trình
Nhóm 9

Có thể phát hiện ra những lỗi tiềm ẩn

Kĩ thuật thẩm định cho yêu cầu phi chức
năng thì khi chương trình được thực thi nó
có thể biết được cách hoạt động.

Nên sử dụng kết hợp các xác minh tĩnh để
cung cấp đầy đủ các chức năng của V&V
Các loại kiểm thử
Nhóm 9

Kiểm thử các khuyết điểm:

Những phương thức kiểm tra được thiết kế để phát hiện
ra những khuyết điểm của hệ thố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

Nhóm 9

Thẩm định và xác minh là 1 tiến trình tốn kém. Kế
hoạch an toàn là cần phải xem xét kĩ, kiểm tra và hạn
chế chi phí dành cho V & V.

Cần sớm có 1 kế hoạch thẩm định và xác minh hệ
thống trong các bước tiến trình.

Cần quyết định dựa trên sự cân bằng giữa thẩm định
và xác minh động và tĩnh

Kiểm tra để xác nhận sự tương thích giữa chương
trình với phần thiết kế và đặc tả của nó.
Sự phát triển của tiến trình chữ V
Nhóm 9
3 Kế hoạch kiểm thử liên kết giữa thành viên phát triển dự án và lập trình
cấu trúc của kế hoạch kiểm thử phần mềm
Nhóm 9
Tiến trình kiểm thử
Yêu cầu truy xuất nguồn gốc.
Danh mục kiểm thử.
Sao lưu lại những thủ tục kiểm thử
Các yêu cầu về phần cứng và phần mềm.
Những hạn chế.
Kế hoạch kiểm thử phần mềm
Nhóm 9

Tiến trình kiểm thử
Mô tả về các giai đoạn chính của quá trình thử nghiệm.


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

thức của hệ thống, ứng dụng của nó và
ngôn ngữ lập trình hay mô hình thiết kế để
phát hiện lỗi.
Có 3 đặc điểm chính khi kiểm thử
Nhóm 9

Vì kiểm tra là một quá trình tĩnh, bạn không
phải quan tâm đến sự tương tác giữa các sai
sót. do đó, một buổi kiểm tra duy nhất có thể
phát hiện ra nhiều sai sót trong hệ thống.

Phiên bản không đầy đủ của một hệ thống có
thể được kiểm tra mà không có thêm chi phí.

kiểm tra cũng có thể xem xét các thuộc tính
chất lượng rộng lớn hơn của một chương trình
như phù hợp với tính di động, tiêu chuẩn và
bảo trì.
Kiểm tra và kiểm thử
Nhóm 9

Đánh giá và thử nghiệm từng có lợi thế và bất lợi và cần
được sử dụng cùng nhau trong quá trình xác minh và
thẩm định

Selby and Basili ( Selby, et al., 198.7) thực nghiệm so
sánh kiểm tra hiệu quả và ít tốn kém hơn so với kiểm thử
trong việc phát hiện lỗi chương trình.

Một trong những sử dụng hiệu quả nhất của kiểm tra là

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.


Kiểm tra lại lần nữa.
Vai trò các thành viên
Nhóm 9
Các lưu ý trong kiểm tra
Nhóm 9

Việc kiểm tra không nên quá 2 giờ và chủ yếu tập trung
vào các sai sót, không phù hợp tiêu chuẩn và lập trình
kém chất lượng.

Đội kiểm tra không nên đề nghị để sữa các khuyết
điểm, không nên khuyên thay đỗi thành phần khác.

Sau kiểm tra, tác giả chương trình nên thay đổi nó để
sửa chữa những vấn đề đã xác định.

Bạn cần bản danh sách khác nhau cho các ngôn ngữ
lập trình khác nhau, vì mỗi ngôn ngữ có lỗi của riêng
đặc trưng của nó