Câu 7: Thế nào là k/thử hộp trắng? Trong kiểm thử hộp trắng có những loại kiểm thử gì?

Trả lời: K/thử hộp trắng:

-K/n: k/thử hộp trắng hay còn gọi là k/thử hướng logic, cho phép k/tra cấu trúc bên trong của phần mềm với mục đích đảm bảo rằng tất cả các câu lệnh và đk sẽ dc thực hiện ít nhất 1 lần. trong kĩ thuật này người kiểm thử lấy dl xuất phát từ việc k/tra logic của ctrinh.

-Nhược điểm : +k thể kiểm thử được hết các đường dẫn

+ Không thể đảm bảo rằng chương trình đã tuân theo đặc tả

+ Một chương trình sai do thiếu đường dẫn, k/thử hộp trắng k thể biết dc

+ Không thể phát hiện đc lỗi do dữ liệu.

- Nguyên tắc kiểm thử hộp trắng

+thực hiện mọi đường dẫn độc lập ít nhất 1 lần

+trường hợp mọi đk logic trên các giá trị true or false

+thực hiện mọi vòng lặp tại các biên và trong phạm vi hoạt động của chúng

+thực hiện mọi cấu trúc dl bên trong để đảm bảo tính hợp lệ của chúng

- Các loại kiểm thử hộp trắng: kiểm thử luồng dl và k/thử luồng điều khiển

(1)K/thử luồng dl:

+ k/n: chính là ktra trình tự tgian các cặp được đ/nghĩa đc sd và bị phá hủy

+ kĩ thuật: b1:trước tiên chúng ta sẽ thực hiện 1 thử nghiệm tĩnh của biểu đồ bằng cách “tĩnh” có nghĩa là chúng ta xem xét biểu đồ (thông qua kiểm tra hoặc thông qua nhìn thấy)

b2: ktra năng động về modul bằng cách “động” có nghĩa là chúng ra x/dựng và thực hiện các trường hợp thử nghiệm. hãy bắt đầu các thử nghiệm tĩnh

+ ứng dụng và hạn chế: được sd cho tất cả các modul của mã mà k thể dc kiểm thử đầy đủ thông qua đánh giá và ktra. Hạn chế là các tester phải có kĩ năng lập trình đủ để hiểu đc mã, luồng đ/khiển của nó và các biến của nó. Kiểm thử luồng dl mất nhiều tgian.

(2)K/thử luồng đ/khiển:

+ k/n: là PP tiếp cận test này xđ đường đi trong qtrinh thực thi thông qua 1 modul của code c/trình và sau khi tạo ra và thực thi các test-case để đi được con đường này.

+ kĩ thuật: đồ thị luồng đ/khiển là cơ sở của việc test luồng đ/khiển. ở đây đồ thị cung cấp tài liệu về cấu trúc đ/khiển của modul, các modul của code chuyển thành đồ thị, các đường đi thông qua đồ thị đc p/tích và các test case đc tạo ra từ sự p/tích này. Đồ thị luồng đ/khiển bao gồm 1 số các phần tử: -các khối xử lí là 1 chuỗi các p/triển của c/trình mà thực hiện tuần tự từ khi bắt đầu đến khi kết thúc. Khối hợp lệ là khối có lối vào và lối ra.

- điểm quyết định là một điểm trong modul mà tại đó luồng đ/khiển có thể tăng or giảm, các điểm q/định là nhị phân và được cài đặt bởi IF-THEN-ELSE

- các điểm nối là điểm mà ở đó các luồng đ/khiển nối với nhau

+hạn chế và ứng dụng là nền tảng cho k/thử đơn vị. nó được sd cho các modul của code mà không thể đc test đầy đủ thông qua các nhận xét và ktra. Các tester phải có kĩ năng lập trình để hiểu.