Đang tải... (xem toàn văn)
Đảm bảo chất lượng phần mềm xác minh và thẩm định
ĐẢM BẢO CHẤT LƯỢNG PHẦN MỀMVERIFICATION AND VALIDATION GVHD: Lê Mậu LongĐẠI HỌC TÔN ĐỨC THẮNG_ KHOA CNTTNhóm 9(Xác minh và thẩm định) Thành viên nhómĐặng Thanh Hiếu 070109TNguyễn Thị Ngọc Hân 070079THà Thị Kim Phượng 070052TTrần Anh Hào 070088TPhạm Thị Hà 070085TNhóm 9 Nội dung trình bàyGiớ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 CleanroomNhóm 9 Xác minh và thẩm địnhXá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 & VLà 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 & VXá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ểmHơ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 & VPhụ 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àoSự 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ềmMô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ìnhNhóm 9 Xác minh tĩnh và độngKiể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à độngNhóm 9 Kiểm thử chương trìnhNhóm 9Có 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 [...]... 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ự... đú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... 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à. .. 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... 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... tùy thuộc vào kinh nghiệm của đội kiểm tra, ngôn ngữ lập trình và lĩnh vực ứng dụng Các nhân viên kiểm tra mất khoảng một giờ và mỗi thành viên trong nhóm dành 1-2 giờ chuẩn bị cho việc kiểm tra phân tích tĩnh tự động Nhóm 9 Phân tích tĩnh là những công cụ phần mềm quét văn bản mã nguồn của một chương trình và phát hiện lỗi có thể và dị thường Chúng phát hiện câu lệnh lỗi theo khuôn định sẵn nhằm... 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ị... tác xen giữa và những biến được khai báo nhưng không sử dụng Phân tích giao diện:kiểm tra tính nhất quán của những khai báo thông thường và khai báo thủ tục cũng như cách sử dụng của chúng Phân tích luồng thông tin :Xác định sự phụ thuộc của các biến đầu ra Nó không phát hiện ra những bất thường mà đưa ra những thông tin cho việc kiểm tra code và kiểm duyệt Phân tích đường dẫn: Xác định các đường... 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... đỗ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ó Xem xét kiểm tra Nhóm 9 Xem xét kiểm tra Nhóm 9 Xem xét kiểm tra Nhóm 9 Tốc độ kiểm tra Nhóm 9 Thời gian cần thiết cho một cuộc kiểm tra và số lượng code có thể được bảo vệ . 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ĩnhKiểm tra để xác. tra phần mềmNhó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à
