Kết luận về khoá luận

Một phần của tài liệu NGHIÊN CỨU VỀ MỨC BAO PHỦ CỦA KIỂM THỬ (Trang 57)

Trong quá trình thực hiện khoá luận này, chúng tôi đã tìm hiểu những kiến thức cơ bản về kiểm thử phần mềm, giai đọan vô cùng quan trọng giúp phát triển và sửa lỗi nhằm đảm bảo chất lượng phần mềm. Đồng thời, chúng tôi đã nghiên cứu, phân tích hai kỹ thuật phục vụ cho việc thành lập các ca kiểm thử tốt. Một kỹ thuật thuộc về kiểm thử hộp trắng là : phân tích bao phủ code và một kỹ thuật thuộc về kiểm thử hộp đen là : phân tích giá trị điểm biên. Trong phần phân tích về kỹ thuật bao phủ code chúng tôi đã chỉ ra những ưu nhược điểm của các phương pháp bao phủ cơ bản là : bao phủ dòng lệnh, bao phủ nhánh và bao phủ đường đi. Nhìn chung phương pháp bao phủ đường đi đã bao gồm cả 2 phương pháp bao phủ câu lệnh và bao phủ nhánh. Với kỹ thuật phân tích bao phủ code đòi hỏi chúng ta phải tìm hiểu sâu sắc về mã nguồn. Thiết kế các ca kiểm thử thích hợp để tìm ra những dòng lệnh không được thực thi, những dòng lệnh dư thừa. Quá trình này là một vòng lặp: từ kết quả của ca kiểm thử ta có thể đánh giá được mã nguồn, đồng thời đánh giá được ca kiểm thử vừa xây dựng đã tốt, đã tối ưu hay chưa từ đó xây dựng ca kiểm thử tiếp theo hay hơn, có mức bao phủ code nhiều hơn. Với việc phân tích giá trị điểm biên chúng tôi cũng đã chỉ ra những giá trị cần phải được kiểm tra trong dải giá trị đầu vào của các biến. Để khắc phục những sai sót về lập trình xảy ra tại những điểm biên cần phải tiến hành các ca kiểm thử kiểm tra tập giá trị baseline và robust.

Tuy nhiên, hai kỹ thuật đề xuất này cũng gặp phải những khó khăn. Với những phương thức phức tạp với nhiều câu lệnh rẽ nhánh, nhiều biểu thức logic trong từng câu lệnh rẽ nhánh thì số ca kiểm thử thiết kế để đảm bảo bao phủ 100% là một con số vô cùng lớn, và đôi khi ngay cả khi báo cáo 100% code được bao phủ nhưng trên thực tế vẫn có lỗi được tìm ra. Do đó bên cạnh kỹ thuật phân tích bao phủ code chúng ta cần phải tiến hành các phương pháp kiểm thử khác, kiểm thử các mức khác nhau để sớm tìm ra lỗi. Trong kỹ thuật phân tích giá trị điểm biên cũng gặp phải những khó khăn như nếu biến đầu vào có nhiều dải giá trị thì số lượng các ca kiểm thử robust cũng tăng lên đáng kể. Và trước khi tiến hành phân tích giá trị điểm biên ta phải tiến hành phân hoạch tương đương miền giá trị đầu vào, việc phân hoạch này không phải lúc nào cũng chính xác tuyệt đối.

Một phần của tài liệu NGHIÊN CỨU VỀ MỨC BAO PHỦ CỦA KIỂM THỬ (Trang 57)