Software Testing Kiểm thử phần mềm Nội dung Mục tiêu chương mơ tả q trình kiểm thử phần mềm đưa kĩ thuật kiểm thử Các nội dung trình bày: • • • • Kiểm thử hệ thống ( System testing) Kiểm thử thành phần ( Component testing) Thiết kế trường hợp kiểm thử ( Test case design) Tự động hóa kiểm thử ( Test automation) Các giai đoạn kiểm thử phần mềm Kiểm thử thành phần:    Kiểm thử thành phần riêng biệt chương trình Được thực người phát triển phần mềm Kiểm thử dựa kinh nghiệm người phát triển phần mềm Kiểm thử hệ thống:    Kiểm thử tồn hệ thống sau tích hợp thành phần tạo nên hệ thống Được thực nhóm kiểm thử độc lập Kiểm thử dựa văn đặc tả hệ thống Các giai đoạn kiểm thử phần mềm Kiểm thử thành phần (Người phát triển phần mềm) Kiểm thử hệ thống (Nhóm kiểm thử độc lập) Các giai đoạn kiểm thử phần mềm Quá trình kiểm thử phần mềm có mục tiêu riêng biệt: Chứng minh cho người phát triển phần mềm khách hàng thấy yêu cầu phần mềm Mục tiêu thứ dẫn đến kiểm thử hợp lệ Một thử nghiệm thành công thử nghiệm mà hệ thống thực đắn Phát lỗi khiếm khuyết phần mềm Mục tiêu thứ hai dẫn đến kiểm thử khiếm khuyết Một thử nghiệm thành cơng thử nghiệm tìm khiếm khuyết, nguyên nhân làm cho hệ thống thực khơng xác Mơ hình q trình kiểm thử phần mềm Các trường hợp Dữ liệu kiểm Các kết Báo cáo kiểm KT thử kiểm thử thử Thiết kế trường hợp kiểm Chuẩn bị liệu kiểm Chạy chương trình với So sáng kết với thử thử liệu kiểm thử trường hợp kiểm thử Chính sách kiểm thử  Mọi chương trình thực kiểm tra điều làm Vì vậy, kiểm thử phải thực tập trường hợp kiểm thử xảy Chính sách kiểm thử xác định phương pháp sử dụng việc chọn lựa kiểm thử hệ thống Các sách dựa kinh nghiệm sử dụng hệ thống tập trung vào đặc trưng hệ thống Ví dụ:    Tất chức truy cập thông qua Menu nên kiểm thử Sự kết hợp chức Menu nên kiểm thử Khi liệu Input người dùng đưa vào cần kiểm tra chức với trường hợp đầu vào sai Kiểm thử hệ thống Kiểm thử hệ thống  Hệ thống gồm hai nhiều thành phần tích hợp nhằm thực chức đặc tính hệ thống Sau tích hợp thành phần tạo nên hệ thống, trình kiểm thử hệ thống tiến hành  Với hầu hết hệ thống phức tạp, kiểm thử hệ thống gồm giai đoạn riêng biệt: Kiểm thử tích hợp Kiểm thử phát hành Kiểm thử tích hợp  Q trình kiểm thử tích hợp bao gồm việc xây dựng hệ thống từ thành phần kiểm thử hệ thống tích hợp với vấn đề phát sinh từ tương tác thành phần  Hệ thống tích hợp bao gồm nhóm thành phần thực vài chức hệ thống tích hợp với  Một vấn đề chủ yếu nảy sinh lúc kiểm thử tích hợp lỗi cục Có nhiều tương tác phức tạp thành phần hệ thống, lỗi bất thường phát hiện, bạn khó nhận nơi mà lỗi phát sinh Kiểm thử cấu trúc  Kiểm thử cấu trúc cách tiếp cận để thiết kế trường hợp kiểm thử, thử nghiệm xác định từ hiểu biết cấu trúc thực phần mềm Cách tiếp cận gọi kiểm thử “hộp trắng”, “hộp kính”, kiểm thử “hộp trong” để phân biệt với kiểm thử hộp đen  Về bản, kiểm thử chương trình, bạn nên kiểm tra thực thi câu lệnh lần Kiểm thử cấu trúc giúp cho việc xác định trường hợp thử nghiệm Thông thường, thiết kế trường hợp thử nghiệm, bạn nên bắt đầu với thử nghiệm mức cao yêu cầu, sau thêm dần thử nghiệm chi tiết kiểm thử phân hoạch kiểm thử cấu trúc Kiểm thử cấu trúc Kiểm thử cấu trúc Kiểm thử cấu trúc  Đây hàm tìm kiếm nhị phân thực dãy đối tượng có thứ tự khóa, trả đối tượng với thuộc tính là:  index : giá trị số khóa dãy  found : có kiểu logic cho biết có hay khơng có khóa dãy  Một đối tượng trả Java khơng thể thông qua kiểu tham chiếu tới hàm trả hai giá trị Giá trị index = -1 khóa khơng có dãy  Hiểu cách sử dụng thuật toán thành phần giúp bạn xác định thêm phân hoạch trường hợp thử nghiệm Tự động hóa kiểm thử Tự động hóa kiểm thử  Kiểm thử giai đoạn tốn nặng nề quy trình phần mềm Kết dẫn đến công cụ kiểm thử công cụ phần mềm phát triển Hiện nay, công cụ bộc lộ nhiều tiện lợi chúng làm giảm đáng kể chi phí kiểm thử Phần mềm kiểm thử WorkBench Tự động hóa kiểm thử  Một phần mềm kiểm thử workbench tập tích hợp cơng cụ để phục vụ cho trình kiểm thử Hơn với khung kiểm thử cho phép thực kiểm thử tự động, workbench bao gồm cơng cụ để mô phần khác hệ thống để sinh liệu thử nghiệm hệ thống Hình sau đưa vài cơng cụ bao gồm workbench kiểm thử: Người quản lý kiểm thử Máy sinh liệu thử nghiệm Hệ tiên đoán (Oracle) Hệ so sánh tập tin Hệ sinh báo cáo Hệ phân tích động Hệ mơ (Simulator) Tự động hóa kiểm thử Tự động hóa kiểm thử  Khi sử dụng cho kiểm thử hệ thống lớn, cơng cụ phải định dạng phù hợp với hệ thống cụ thể Ví dụ:  Các cơng cụ thêm vào để kiểm thử đặc trưng ứng dụng cụ thể, vài cơng cụ có khơng cần đến  Các kịch viết cho hệ mô giao diện người dùng mẫu xác định cho hệ sinh liệu thử nghiệm Các khn dạng báo cáo phải xác định  Các tập kết thử nghiệm mong muốn phải chuẩn bị tay khơng phiên chương trình trước dùng hệ tiên đốn  Hệ so sánh tập tin mục đích đặc biệt viết bao gồm hiểu biết cấu trúc kết thử nghiệm tập tin Tự động hóa kiểm thử  Một lượng lớn thời gian công sức thường cần để tạo nên workbench thử nghiệm tồn diện Do đó, workbench hồn chỉnh sử dụng phát triển hệ thống lớn Với hệ thống đó, tồn chi phí kiểm thử lên tới 50% tổng giá trị phát triển  Các loại hệ thống khác yêu cầu hỗ trợ loại kiểm thử khác nhau, cơng cụ kiểm thử khơng sẵn có để dùng Tổng quan điểm trình bày Tổng quan  Kiểm thử diện lỗi chương trình Nó khơng thử chứng tỏ khơng cịn lỗi chương trình  Kiểm thử thành phần trách nhiệm người phát triển thành phần Một đội kiểm thử khác thường thực kiểm thử hệ thống  Kiểm thử tích hợp hoạt động kiểm thử hệ thống ban đầu bạn kiểm thử khiếm khuyết thành phần tích hợp Kiểm thử phát hành liên quan đến kiểm thử khách hàng kiểm thử phát hành nên xác nhận hệ thống phân phối có đầy đủ yêu cầu  Khi kiểm thử hệ thống, bạn nên có gắng “phá” hệ thống cách sử dụng kinh nghiệm nguyên tắc để lựa chọn kiểu thử nghiệm có hiệu để phát khiếm khuyết hệ thống Tổng quan  Kiểm thử giao diện dùng để phát khiếm khuyết giao diện thành phần hỗn hợp Các khiếm khuyết giao diện nảy sinh lỗi đọc đặc tả chương trình, hiểu sai đặc tả chương trình, lỗi khác thừa nhận đếm thời gian không hợp lệ  Phân hoạch tương đương cách xác định thử nghiệm Nó phụ thuộc vào việc xác định phân hoạch tập liệu đầu vào đầu ra, thực chương trình với giá trị từ phân hoạch Thơng thường, giá trị giá trị giới hạn phân hoạch  Kiểm thử cấu trúc dựa phân tích chương trình để phát đường dẫn qua chương trình sử dụng phân tích để lựa chọn thử nghiệm  Tự động hóa thử nghiệm làm giảm chi phí kiểm thử cách hỗ trợ q trình kiểm thử cách công cụ phần mềm Danh sách thành viên nhóm thực Bùi Hồi Anh – 081224T Nguyễn Mạnh Tuấn – 081314T Lê Thanh Bình – 081228T La Hồng Phát – 081281T ... kĩ thuật kiểm thử Các nội dung trình bày: • • • • Kiểm thử hệ thống ( System testing) Kiểm thử thành phần ( Component testing) Thiết kế trường hợp kiểm thử ( Test case design) Tự động hóa kiểm... thử trạm dự báo thời tiết bao gồm:    Shutdown → Waiting → Shutdown Waiting → Calibrating → Testing → Transmitting → Waiting Waiting → Collecting → Waiting → Summarising → Transmitting → Waiting