CHAPTER 8 SOFTWARE VERIFICATION AND VALIDATION (VV) 1
CHAPTER 8: SOFTWARE VERIFICATION AND VALIDATION (V&V) Software Verification & Validation Để biết người dùng có muốn sử dụng phần mềm hay khơng cần phải xác minh (verification) thẩm định (validation) phần mềm Verification Make sure that software comforms to its specification (Ứng dụng có đáp ứng đặc tả ban đầu hay không?) Validation Make sure software does what users really need V&V process Chúng ta thực quy trình V&V để: Phát khuyết tật phần mềm CHAPTER 8: SOFTWARE VERIFICATION AND VALIDATION (V&V) Đánh giá xem phần mềm có hữu ích sử dụng hay khơng Thiết lập niềm tin vào phần mềm Static and Dynamic V&V Software inspections (static V&V) - Thanh tra, đánh giá phần mềm Đọc tài liệu, đọc code để phát lỗi phần mềm Software testing (dynamic V&V) So sánh kết (result) kỳ vọng đặt (expectation) Chạy thử, quan sát hoạt động phần mềm để phát lỗi (Đăng nhập, dùng thử dịch vụ phần mềm,…) Sau chạy thử chương trình (program testing) cho mẫu (prototype) High-level design: Software Architecture Documents Khi thiết kế Database có Schema database Software testing Kiểm thử phần mềm để phát lỗi tạo độ tin cậy cho phần mềm CHAPTER 8: SOFTWARE VERIFICATION AND VALIDATION (V&V) Một phần mềm khơng thể khơng có lỗi ln thay đổi theo thời gian, đối tượng sử dụng đa dạng ta khơng thể kiểm tra hết trường hợp Used in conjunction with static verification to provide full V&V coverage (Được sử dụng với static verification để cung cấp vùng phủ trình V&V đầy đủ nhất.) Software requirement is the basic to determine the software run right or not Testing & Debugging Testing: Chạy chương trình để tìm lỗi Debugging: Tìm vị trí, xác định ngun nhân sửa lỗi Debugging thường làm developer Testing làm developer (nếu cơng ty khơng có tester), tester, customer, etc Software inspections Quá trình kiểm tra sản phẩm để phát dị thường lỗi Không yêu cầu phải thực thi hệ thống kiểm tra Là kỹ thuật hiểu cho việc: Phát lỗi Giảm thiểu vấn đề phát sinh dự án Giảm thiểu rủi ro dự án Inspection Checklist Đồng nghĩa với Code Review Checklist lỗi phổ biến nên sử dụng để thúc đẩy việc kiểm tra Các error checklist bị phụ thuộc vào ngơn ngữ phần mềm sử dụng Defects có những: Logical errors Anomalies in code Coding standard violations CHAPTER 8: SOFTWARE VERIFICATION AND VALIDATION (V&V) Potential issues concerning performance, security Class Assignment Automated static analysis Static analyzers phần mềm công cụ để xử lý mã nguồn Rất hiệu A supplement not replacement (Bổ sung không thay thế) Stages of static analysis Control flow analysis Check loops CHAPTER 8: SOFTWARE VERIFICATION AND VALIDATION (V&V) Data use analysis Detects uninitialized variables Interface analysis Checks the consistency of routine and procedure declarations and their use (Kiểm tra tính quán khai báo thủ tục quy trình việc sử dụng chúng.) Information flow analysis: Identifies the dependencies of output variables Path analysis: Identifies paths through the program and sets out the statements executed in that path CHAPTER 8: SOFTWARE VERIFICATION AND VALIDATION (V&V)