Tiếp nội dung giáo trình phần 1, Giáo trình Kiểm thử phần mềm: Phần 2 cung cấp cho người học những kiến thức như: Kiểm thử dòng điều khiển; Kiểm thử dòng dữ liệu; Kiểm thử dựa trên mô hình; Kiểm thử tự động và công cụ hỗ trợ; Kiểm thử tích hợp; Kiểm thử hệ thống, chấp nhận và hồi quy. Mời các bạn cùng tham khảo! | Chương 6 Kiểm thử dòng điều khiển Trong chương này chúng ta sẽ tìm hiểu chi tiết về phương pháp kiểm thử dòng dữ liệu control flow testing nhằm phát hiện các lỗi tiềm ẩn bên trong chương trình đơn vị chương trình cần kiểm thử. Các lỗi này thường khó phát hiện bởi các kỹ thuật kiểm thử hàm hay kiểm thử chức năng được trình bày trong chương 5. Để áp dụng phương pháp này chúng ta cần phân tích mã nguồn và xây dựng các ca kiểm thử ứng với các dòng điều khiển của chương trình đơn vị chương trình. Các độ đo hay tiêu chí kiểm thử cho phương pháp này cũng sẽ được giới thiệu. Kiểm thử hộp trắng Kiểm thử hộp trắng sử dụng các chiến lược cụ thể và sử dụng mã nguồn của chương trình đơn vị phần mềm cần kiểm thử nhằm kiểm tra xem chương trình đơn vị phần mềm có thực hiện đúng so với thiết kế và đặc tả hay không. Trong khi các phương pháp kiểm thử hộp đen hay kiểm thử hàm chức năng chỉ cho phép phát hiện các lỗi khiếm khuyết có thể quan sát được kiểm thử hộp trắng cho phép phát hiện các lỗi khiếm khuyết tiềm ẩn bên trong chương trình đơn vị phần mềm. Các lỗi này thường khó phát hiện bởi các phương pháp kiểm thử hộp đen. Kiểm thử hộp đen và kiểm thử hộp trắng không thể thay thế cho nhau mà chúng cần được sử dụng kết hợp với nhau trong một quy trình kiểm thử thống nhất nhằm đảm bảo chất lượng phần mềm. Tuy nhiên để áp dụng các phương pháp kiểm thử hộp trắng người 137 138 CHƯƠNG 6. KIỂM THỬ DÒNG ĐIỀU KHIỂN kiểm thử không chỉ cần hiểu rõ giải thuật mà còn cần có các kỹ năng và kiến thức tốt về ngôn ngữ lập trình được dùng để phát triển phần mềm nhằm hiểu rõ mã nguồn của chương trình đơn vị phần mềm cần kiểm thử. Do vậy việc áp dụng các phương pháp kiểm thử hộp trắng thường tốn thời gian và công sức nhất là khi chương trình đơn vị phần mềm có kích thước lớn. Vì lý do này các phương pháp kiểm thử hộp trắng chủ yếu được sử dụng cho kiểm thử đơn vị . Hai phương pháp được sử dụng trong kiểm thử hộp trắng là kiểm thử dòng điều khiển control flow testing và kiểm thử dòng dữ liệu .
