Sưu tầm
13/10/2018 10:45:14 AM
Kiểm thử phần mềm (5)
Kiểm thử phần mềm đóng vai trò quan trọng trong việc đánh giá và thu được chất lượng cao của sản phẩm phần mềm trong quá trình phát triển. Thông qua chu trình “kiểm thử - tìm lỗi - sửa lỗi”, ta hy vọng chất lượng của sản phẩm phần mềm sẽ được cải tiến. Mặt khác, thông qua việc tiến hành kiểm thử mức hệ thống trước khi cho lưu hành sản phẩm, ta biết được sản phẩm của ta tốt ở mức nào. Vì thế, nhiều tác giả đã mô tả việc kiểm thử phần mềm là một quy trình kiểm chứng để đánh giá và tăng cường chất lượng của sản phẩm phần mềm. Quy trình này gồm hai công việc chính là phân tích tĩnh và phân tích động.
• Phân tích tĩnh: Việc phân tích tĩnh được tiến hành dựa trên việc khảo sát các tài liệu được xây dựng trong quá trình phát triển sản phẩm như tài liệu đặc tả nhu cầu người dùng, mô hình phần mềm, hồ sơ thiết kế và mã nguồn phần mềm. Các phương pháp phân tích tĩnh truyền thống bao gồm việc khảo sát đặc tả và mã nguồn cùng các tài liệu thiết kế. Người ta cũng có thể dùng các kỹ thuật phân tích hình thức như kiểm chứng mô hình (model checking) và chứng minh định lý (theorem proving) để chứng minh tính đúng đắn của thiết kế và mã nguồn. Công việc này không động đến việc thực thi chương trình mà chỉ duyệt, lý giải về tất cả các hành vi có thể của chương trình khi được thực thi. Tối ưu hóa các chương trình dịch là các ví dụ về phân tích tĩnh.
• Phân tích động: Phân tích động liên quan đến việc thực thi chương trình để phát hiện những thất bại có thể có của chương trình, hoặc quan sát các tính chất nào đó về hành vi và hiệu quả (performance). Vì gần như không thể thực thi chương trình trên tất cả các dữ liệu đầu vào có thể, ta chỉ có thể chọn một tập con các dữ liệu đầu vào để thực thi, gọi là các “ca kiểm thử”. Chọn như thế nào để được các bộ dữ liệu đầu vào hiệu quả (tức là các bộ dữ liệu có xác suất phát hiện thất bại (nếu có) cao hơn là công việc cần suy nghĩ và là nội dung chính của các giáo trình này.
Bằng việc phân tích tĩnh và động, người kiểm thử muốn phát hiện nhiều lỗi nhất có thể được để chúng có thể được sửa ở giai đoạn sớm nhất trong quá trình phát triển phần mềm. Phân tích tĩnh và động là hai kỹ thuật bổ sung cho nhau và cần được làm lặp đi lặp lại nhiều trong quá trình kiểm thử.
» Tin mới nhất:
- Private Bank - Ngân hàng cho giới siêu giàu (19/12/2023)
- Vốn là vấn đề sống còn giúp doanh nghiệp trong lĩnh vực kinh tế mới phát triển (18/12/2023)
- Giới thiệu về nghề Research Analyst (Phân tích Nghiên cứu) (18/09/2023)
- Động lực làm việc và đãi ngộ, khen thưởng - Motivation and reward (14/08/2023)
- NGÀNH KẾ TOÁN - KIỂM TOÁN LÀ GÌ? (18/07/2023)
» Các tin khác:
- Kiểm thử phần mềm (4) (13/10/2018)
- Kiểm thử phần mềm (3) (17/09/2018)
- Tập thể dục cũng quan trọng như gây dựng sự nghiệp: Đây là lý do vì sao càng thành công bạn càng phải luyện tập mỗi ngày (17/09/2018)
- Kinh nghiệm thực tế - Tố chất được săn đón ở môi trường đa quốc gia (15/08/2018)
- Những cụm từ rắc rối nhất trong tiếng Anh giao tiếp (17/06/2018)
- Những cụm từ rắc rối nhất trong tiếng Anh giao tiếp (17/06/2018)
- CÁC THÀNH NGỮ LIÊN QUAN ĐẾN ĐỘNG VẬT (17/06/2018)
- Tiêu xài phung phí khi còn trẻ - nguyên nhân đẩy bạn đến tương lai ‘gần đất xa trời’ mà vẫn phải chạy từng xu mua nhu yếu phẩm (16/06/2018)
- Cô gái gốc Việt vượt qua sự kỳ thị và nỗi hổ thẹn để trở thành bà chủ, biến công ty sắp phá sản thành đế chế 10 triệu USD (17/05/2018)
- Chào và tạm biệt như người bản ngữ (17/05/2018)
Đối tác & Hợp tác
