Kiểm thử đơn vị cho hệ thống

Hiện nay, khi các sản phẩm phần mềm ngày càng mang lại những lợi ích quan trọng cho cuộc sống, thì việc đánh giá, kiểm thử để chứng minh giá trị của các sản phẩm phần mềm ngày càng trở nên quan trọng. Hầu hết các dự án phát triển phần mềm hiện nay đều sử dụng mô hình phát triển chữ V đế tiến hành xây dựng và phát triển dự án phần mềm. Ở mô hình này, ta có thể dễ nhận thấy vai trò quan trọng của kiểm thử, cũng như việc xác định các chiến lược kiểm thử tương ứng với từng mức độ phát triển trong từng giai đoạn triển khai dự án.

Trong ngành phần mềm, việc tiến hành kiểm thử đơn vị là phương pháp xác định tính đúng đắn của một đơn vị mã nguồn đã ngày càng trở nên quan trọng. Tuy nhiên, hầu hết các lập trình viên hiện nay đều không sử dụng một công cụ sinh ca kiểm thử tự động nào mà vẫn viết ca kiểm thử thủ công, sau đó tiến hành chạy ca kiểm thử trong môi trường lập trình.

Mặt khác, có rất nhiều kỹ thuật, phương pháp kiểm thử có thể áp dụng để tiến hành kiểm thử cho đơn vị/chương trình như:

• Đối với chiến lược kiểm thử dựa trên đặc tả bài toán (black box): Ta có kỹ thuật kiểm thử sử dụng phân lớp tương đương (Equivalence class partitioning), kỹ thuật phân tích giá trị biên (Boundary value analysis), kỹ thuật kiểm thử cặp (Pairwise Tesing), kỹ thuật sử dụng bảng quyết định (Decision tables).
• Đối với chiến lược kiểm thử cấu trúc (white box): Ta có kỹ thuật kiểm thử dòng điều khiển (Control flow testing), kỹ thuật kiểm thử dòng dữ liệu (Data flow testing).

Vấn đề đặt ra là: Lập trình viên nên xây dựng chiến lược kiểm thử như thế nào để việc kiểm thử đơn vị đạt được hiệu quả tốt nhất, số lượng ca kiểm thử sinh ra không quá nhiều, mà việc hạn chế lỗi phát sinh là tốt nhất.

Từ vấn đề đặt ra đó, luận văn đã tiến hành thử nghiệm các kỹ thuật kiểm thử khác nhau áp dụng cho bài toán thực tế trong dự án phần mềm để sinh ra các ca kiểm thử. Từ đó, phân tích và đưa ra kết luận về chiến lược kiểm thử phù hợp sẽ áp dụng cho bài toán/ hàm thuộc chương trình.