Giáo trình Kiểm thử phần mềm: Phần 2 gồm có những nội dung chính sau: 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 tra tích hợp, hệ thống & chấp nhận. 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 điều khiển 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ử chức năng hay kiểm thử hộp đen đượ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ử 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 156 CHƯƠNG 6. KIỂM THỬ DÒNG ĐIỀU KHIỂN 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. Khác với các phương pháp kiểm thử hộp đen nơi mà các ca kiểm thử được sinh ra từ đặc tả của hệ thống các ca kiểm thử trong các phương pháp kiểm thử hộp trắng được sinh ra từ mã nguồn. 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 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
