ĐẢ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 [...]... 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... 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,... 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... 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ệ 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... 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... 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... 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... thể ảnh hưởng đến Những nhánh không chịu ảnh hưởng bởi điều kiện của vòng lặp Lỗi xuất /nhập Những biến xuất 2 lần mà không xảy ra giữa những thao tác Lỗi giao diện Những kiểu tham số không phù hợp Số lượng tham số không phù hợp Không sử dụng kết quả của các hàm chức năng Những hàm và thủ tục không được gọi Lỗi quản lý bộ nhớ Những con trỏ không được xác định Chỉ số con trỏ Các giai đoạn phân tích tĩnh... tích đường dẫn: Xác định các đường dẫn thông qua chương trình và đưa ra các câu lệnh đã thực hiện trong đường dẫn đó.Điều này có thể hữu ích trong quá trình xem xét Cả hai giai đoạn này tạo ra khối lượng lớn thông tin Chúng phải được sử dụng cẩn thận Phân tích tĩnh LINT 138% more lint_ex.c #include Printarray(Anarray) Int Anarray; { ptintf(“%d”,Anarray); } main() { int Anarray[5] ; int . ĐẢ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. 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. 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ỏ