Cơ sở toán học cho các kỹ thuật kiểm thử phần mềm

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƢỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN DƢƠNG THỊ PHƢỢNG CƠ SỞ TOÁN HỌC CHO CÁC KỸ THUẬT KIỂM THỬ PHẦN MỀM LUẬN VĂN THẠC SĨ KHOA HỌC Hà Nội - Năm 2012 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƢỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN DƢƠNG THỊ PHƢỢNG CƠ SỞ TOÁN HỌC CHO CÁC KỸ THUẬT KIỂM THỬ PHẦN MỀM Chuyên ngành: BẢO ĐẢM TOÁN CHO MÁY TÍNH VÀ HỆ THỐNG TÍNH TOÁN Mã số: 60.46.35 LUẬN VĂN THẠC SĨ KHOA HỌC NGƢỜI HƢỚNG DẪN KHOA HỌC: TS. PHẠM NGỌC HÙNG Hà Nội - Năm 2012 Luận văn cao học Dương Thị Phượng - 1 - MỤC LỤC MỞ ĐẦU 5 1.1. Đặt vấn đề 3 1.2. Nội dung nghiên cứu 4 1.3. Cấu trúc luận văn 5 Chƣơng 1: Tổng quan về kiểm thử phần mềm 6 1.1. Các khái niệm cơ bản về kiểm thử phần mềm 6 1.1.1. Kiểm thử phần mềm là gì? 6 1.1.2. Lý do kiểm thử phần mềm 7 1.1.3. Vai trò của kiểm thử phần mềm 8 1.1.4. Mục đích của kiểm thử phần mềm 9 1.2. Tiến trình kiểm thử phần mềm 10 Chƣơng 2: Phƣơng pháp phân hoạch (quy hoạch) toán học trong kiểm thử hộp đen 12 2.1. Phƣơng pháp kiểm thử dựa trên phân hoạch tƣơng đƣơng 12 2.1.1. Phân lớp tƣơng đƣơng mạnh 17 2.1.2. Phân lớp tƣơng đƣơng yếu 18 2.1.3. Phân lớp tƣơng đƣơng truyền thống 19 2.2 Ứng dụng 21 2.2.1 Kiểm thử chƣơng trình nhập điểm thi cao học 21 2.2.2 Kiểm thử chƣơng trình sau khi lập trình viên đã sửa lỗi 26 Chƣơng 3: Cơ sở toán học trong kiểm thử hộp trắng 27 3.1. Ứng dụng đồ thị lƣu trình trong lý thuyết đồ thị vào kiểm thử luồng điều khiển (Basic Path Testing). 27 3.2 Áp dụng vào kiểm thử đoạn mã chƣơng trình trong ví dụ "Nhập điểm thi cao học" 33 3.2.1 Trƣờng hợp 1: Đoạn mã chƣơng trình A 34 3.2.2 Trƣờng hợp 2: Đoạn mã chƣơng trình B (đã chỉnh sửa). 39 Chƣơng 4: Kết luận 44 Luận văn cao học Dương Thị Phượng - 2 - DANH MỤC CÁC BẢNG VÀ HÌNH VẼ Hình 1.1 - Giai đoạn kiểm thử trong xử lý phần mềm 9 Hình 1.2 - Tiến trình kiểm thử phần mềm 10 Bảng 2.1 - Mẫu bảng liệt kê các lớp tƣơng đƣơng 13 Hình 2.1 - Nguyên tắc phân hoạch tập hợp. 14 Hình 2.2 - Phân lớp tƣơng đƣơng cho bài toán điểm thi cao học 16 Bảng 2.2. Bảng liệt kê các lớp tƣơng đƣơng cho bài toán điểm thi cao học 16 Hình 2.3 - Chọn giá trị tại mỗi lớp tƣơng đƣơng cho bài toán điểm thi cao học 16 Bảng 2.3 - Danh sách các ca kiểm thử sinh ra theo phân lớp tƣơng đƣơng mạnh Bảng 2.4 - Danh sách các ca kiểm thử sinh ra theo phân lớp tƣơng đƣơng yếu 18 Bảng 2.5 - Danh sách các ca kiểm thử sinh ra theo phân lớp tƣơng đƣơng truyền thống. 19 Hình 2.4 - Giao diện màn hình nhập điểm thi cao học 21 Bảng 2.6. Kết quả kiểm thử với trƣờng hợp phân lớp tƣơng đƣơng mạnh 22 Bảng 2.7. Kết quả kiểm thử qua với trƣờng hợp phân hoạch tƣơng đƣơng yếu 24 Bảng 2.8. Kết quả kiểm thử với trƣờng hợp phân lớp tƣơng đƣơng truyền thống 24 Bảng 2.9. Bảng kết quả chạy thực tế với đoạn mã chƣơng trình A 26 Hình 3.1 - Ký hiệu đồ thị lƣu trình 29 Hình 3.2 - Điều kiện phức 30 Hình 3.3 - Đồ thị lƣu trình 30 Hình 3.4 - Đồ thị lƣu trình trên đoạn mã chƣơng trình A 35 Bảng 3.1: Kết quả kiểm thử theo phƣơng pháp kiểm thử luồng điều khiển trên đoạn mã chƣơng trình A 38 Hình 3.4 - Đồ thị lƣu trình trên đoạn mã chƣơng trình B 40 Bảng 3.2: Kết quả kiểm thử theo phƣơng pháp kiểm thử luồng điều khiển trên đoạn mã chƣơng trình B 43 Luận văn cao học Dương Thị Phượng - 3 - MỞ ĐẦU 1.1. Đặt vấn đề Việc phát triển phần mềm ngày càng đƣợc hỗ trợ bởi nhiều công cụ tiên tiến giúp cho việc xây dựng phần mềm hiệu quả hơn, với chất lƣợng tốt hơn. Tuy nhiên, vì độ phức tạp của phần mềm và những giới hạn về thời gian và chi phí, cho dù các hoạt động đảm bảo chất lƣợng phần mềm nói chung và kiểm thử phần mềm nói riêng ngày càng chặt chẽ và khoa học, chung ta vẫn rất khó khăn trong việc đảm bảo tính đúng đắn của các sản phẩm phần mềm. Lỗi vẫn luôn tiềm ẩn trong mọi sản phẩm phần mềm và cũng có thể gây những thiệt hại khôn lƣờng khi triển khai chúng trong thực tế [13]. Để xây dựng đƣợc một phần mềm đáp ứng yêu cầu ngƣời sử dụng và có chất lƣợng cao, các dự án phát triển phần mềm cần phải trải qua một quy trình gồm các khâu sau: Phân tích yêu cầu, phân tích hệ thống, thiết kế phần mềm, lập trình, kiểm thử phần mềm, triển khai phần mềm và bảo trì phần mềm [2, 6, 13]. Trong quy trình này, kiểm thử phần mềm đóng vai trò hết sức quan trọng nhằm đảm bảo chất lƣợng của sản phẩm. Nó giúp cho ngƣời xây dựng hệ thống và khách hàng thấy đƣợc hệ thống mới đã đáp ứng yêu cầu đặt ra hay chƣa. Tuy nhiên, kiểm thử phần mềm đang đƣợc xem là một khâu yếu nhất trong quy trình phát triển phần mềm. Mỗi dự án gia công phần mềm cho Công ty nƣớc ngoài, trên thực tế 50% dùng để chi phí cho lập trình, còn lại 50% dùng chi phí cho việc kiểm thử [13]. Hiện tại các Công ty phần mềm làm công tác kiểm thử chƣa tốt và là công việc khó khăn trong Công ty phần mềm, nên công tác đào tạo về kiểm thử cần đƣợc coi trọng. Quy trình kiểm thử phần mềm gồm bai giai đoạn chính: sinh các ca kiểm thử và chạy các ca kiểm thử này nhằm phát hiện các lỗi/khiếm khuyết của hệ thống [5]. Nếu sản phẩm chạy qua tất cả các ca kiểm thử với kết quả thu đƣợc Luận văn cao học Dương Thị Phượng - 4 - giống với kết quả mong muốn thì ta có thể tin tƣởng vào chất lƣợn của sản phẩm. Ngƣợc lại, một kết quả không đúng giúp ta tìm và sửa các lỗi và kết quả là ta phải chạy lại toàn bộ các ca kiểm thử. Trong hai giai đoạn này, việc sinh các ca kiểm thử có vai trò quyết định đến khả năng phát hiện lỗi/khiếm khuyết của quá trình kiểm thử. Làm thế nào để sinh đƣợc bộ kiểm thử tốt (gồm các ca kiểm thử) là bài toán khó trong kiểm thử phần mềm. Việc sinh bộ kiểm thử tốt phụ thuộc vào phƣơng pháp chúng ta sử dụng. Có nhiều phƣơng pháp sinh ra bộ kiểm thử [10], mỗi phƣơng pháp đều có ƣu và nhƣợc điểm riêng. Vì vậy, ngƣời sinh ra bộ kiểm thử phải bơi trong biển các phƣơng pháp kiểm thử. Trong nhiều trƣờng hợp, có thể họ sử dụng một phƣơng pháp kiểm thử nào đó nhƣng không nắm đƣợc bản chất toán học của phƣơng pháp này nên sinh ra các ca kiểm thử không tốt. Điều này giống nhƣ việc khi mua m ột chiếc máy tính mới cấu hình mạnh, tính năng sử dụng nhiều nhƣng ngƣời sử dụng lại không biết khai thác điểm mạnh của nó mà chỉ sử dụng thƣờng xuyên nhƣ chiếc máy tính cũ. Theo khảo sát của chúng tôi, hầu hết những ngƣời làm kiểm thử đều ít để ý đến bản chất toán học của các phƣơng pháp sinh bộ kiểm thử. Trong thực tế, mỗi phƣơng pháp kiểm thử đều dựa trên một cơ sở toán học. Việc nắm rõ bản chất toán học của các phƣơng pháp kiểm thử giúp cho chúng ta khai thác tối đa khả năng phát hiện lỗi/khiếm khuyết của các phƣơng pháp này. Hơn nữa, công việc này cũng là cơ sở quan trọng để đào tạo nguồn nhân lực về kiểm thử phần mềm trong môi trƣờng thƣờng xuyên biến động và ngày càng có nhiều phƣơng pháp kiểm thử mới ra đời. 1.2. Nội dung nghiên cứu Nhằm tìm hiểu cơ sở toán học của các phƣơng pháp kiểm thử, luận văn tập trung nghiên cứu các nội dung chính nhƣ sau. Tìm hiểu các kỹ thuật kiểm thử nhằm đảm bảo chất lƣợng phần mềm. Luận văn cao học Dương Thị Phượng - 5 - Tập trung nghiên cứu cơ sở toán học của phƣơng pháp phân hoạch tƣơng đƣơng (một kỹ thuật kiểm thử hộp đen) và phƣơng pháp kiểm thử luồng điều khiển (một kỹ thuật kiểm thử hộp trắng). Áp dụng các kỹ thuật trên nhằm kiểm thử một số chƣơng trình đơn giản. 1.3. Cấu trúc luận văn Phần còn lại của luận văn đƣợc cấu trúc nhƣ sau. Chƣơng 1 giới thiệu tổng quan về kiểm trử phần mềm gồm khái niệm về phần mềm, lý do kiểm thử phần mềm, vai trò của kiểm thử phần mềm và mục đích của kiểm thử phần mềm. Phƣơng pháp phân hoạch (quy hoạch) toán học và ứng dụng của phân hoạch tƣơng đƣơng vào kiểm thử hộp đen (kiểm thử dựa theo đặc tả không quan tâm tới mã nguồn) cùng ví dụ áp dụng đƣợc trình bày trong Chƣơng 2. Chƣơng 3 mô tả về đồ thị lƣu trình trong lý thuyết đồ thị và ứng dụng vào kiểm thử luồng điều khiển chƣơng trình trong kiểm thử hộp trắng cùng ví dụ áp dụng. Cuối cùng, Chƣơng 4 trình bày kết luận của luận văn và hƣớng nghiên cứu tiếp theo. Luận văn cao học Dương Thị Phượng - 6 - CHƯƠNG 1 TỔNG QUAN VỀ KIỂM THỬ PHẦN MỀM 1.1. Các khái niệm cơ bản về kiểm thử phần mềm Kiểm thử phần mềm Kiểm thử phần mềm là quá trình khảo sát một hệ thống hay thành phần dƣới những điều kiện xác định, quan sát và ghi lại các kết quả, và đánh giá một khía cạnh nào đó của hệ thống hay thành phần đó [5]. Kiểm thử phần mềm thƣờng đồng nghĩa với việc tìm ra lỗi chƣa đƣợc phát hiện. Tuy nhiên, có nhiều bối cảnh kiểm thử không bộc lộ ra lỗi. Kiểm thử phần mềm là quá trình thực thi một hệ thống phần mềm để xác định xem phần mềm đó có đúng với đặc tả không và thực hiện trong môi trƣờng nhƣ mong đợi hay không. Trên thực tế, hệ thống đang thực hiện khác biệt với việc duyệt lại mã nguồn. Thông thƣờng, ngƣời phát triển thực hiện việc đọc lại và phân tích mã nguồn. Nói cách khác, kiểm thử đòi hỏi một hệ thống chạy đƣợc. Đặc tả là căn cứ chủ yếu hỗ trợ cho việc kiểm thử. Nó xác định những hành vi đúng và làm cho dễ dàng hơn trong việc xác định những hành vi không đúng. Mỗi hành vi không đúng chính là một lỗi phần mềm. Nói chung, ngƣời phát triển phải tự chẩn đoán nguyên nhân sinh lỗi trong mã nguồn. Mục đích của kiểm thử phần mềm là tìm ra lỗi chƣa đƣợc phát hiện, tìm một cách sớm nhất có thể và đảm bảo rằng lỗi đã đƣợc sửa, mà kiểm thử phần mềm không làm công việc chẩn đoán nguyên nhân gây ra lỗi đã đƣợc phát hiện và sửa lỗi. Chúng ta sẽ nghiên cứu kĩ hơn vấn đề này ở những phần tiếp theo. Luận văn cao học Dương Thị Phượng - 7 - Mục tiêu của kiểm thử phần mềm là thiết kế tài liệu kiểm thử một cách có hệ thống và thực hiện nó sao cho có hiệu quả, nhƣng tiết kiệm đƣợc thời gian, công sức và chi phí. Kiểm thử phần mềm là một tiến trình hay một tập hợp các tiến trình đƣợc thiết kế để đảm bảo mã hóa máy tính thực hiện theo cái mà chúng đã đƣợc thiết kế để làm, và không thực hiện bất cứ thứ gì không mong muốn. Đây là một pha quan trọng trong quá trình phát triển hệ thống, giúp cho ngƣời xây dựng hệ thống và khách hàng thấy đƣợc hệ thống mới đã đáp ứng yêu cầu đặt ra hay chƣa. 1.1.1. Lý do kiểm thử phần mềm Mặc dù kiểm thử phần mềm là một quy trình bắt buộc trong vòng đời phát triển phần mềm nhƣng hầu hết các phần mềm hiện tại vẫn còn lỗi lọt đến khách hàng hoặc đƣợc chính ngƣời sử dụng tìm ra trong quá trình kiểm thử chấp nhận sản phẩm (acceptance test). Nguyên nhân một phần lớn là do kiểm thử viên chƣa làm đúng quy trình trong quá trình xây dựng các ca kiểm thử. Vì vậy chúng ta cần hiểu rõ lý do của việc kiểm thử để từ đó thấy đƣợc ý nghĩa của việc xây dựng ca kiểm thử hiệu quả. Có một số lý do chính của hoạt động kiểm thử phần mềm nhƣ sau. Lý do thứ nhất, về khía cạnh xem xét sản phẩm, ngƣời phát triển muốn kiểm tra phần mềm nhƣ một phần tử của hệ thống hoạt động thì cần phải thực hiện thông qua hoạt động kiểm thử phẩn mềm. Lý do quan trọng thứ hai là khi thực hiện tốt hoạt động kiểm thử, chúng ta sẽ hạn chế đƣợc chi phí cho các thất bại do lỗi gây ra sau này. Đây chính là hiệu quả của hoạt động kiểm thử mang lại và cũng chính là mục tiêu của ngƣời phát triển hệ thống khi thực hiện hoạt động kiểm thử phần mềm. Ngoài ra còn có một lý do liên quan đến giải pháp phát triển, khi thực hiện hoạt động kiểm thử, đội phát triển sẽ có kế hoạch tốt nâng cao chất lƣợng suốt quá trình phát triển phần mềm [4]. Luận văn cao học Dương Thị Phượng - 8 - Chất lƣợng phần mềm là một khái niệm đa chiều, không dễ định nghĩa đơn giản theo cách chung cho các sản phẩm là: “Sản phẩm đƣợc phát triển phù hợp với đặc tả của nó.” (Ian Somerville [6] trích dẫn định nghĩa của Crosby). Có một số vấn đề khó trong hệ thống phần mềm, đó là: Đặc tả phải định hƣớng theo những đòi hỏi về chất lƣợng của khách hàng (nhƣ tính hiệu quả, độ tin cậy, tính dễ hiểu, tính bảo mật,…) và những yêu cầu của chính tổ chức phát triển phần mềm vốn không có trong đặc tả (nhƣ các yêu cầu về khả năng bảo trì, tính sử dụng lại, ) Một số yêu cầu về chất lƣợng cũng rất khó chỉ ra một cách rõ ràng (nhƣ tính bảo trì). Những đặc tả phần mềm thƣờng không đầy đủ và hay mâu thuẫn. Vì thế phải có sự thỏa hiệp về chất lƣợng: Chúng ta không thể đợi các đặc tả hoàn thiện trƣớc khi chú ý đến quản lý chất lƣợng, chúng ta phải sắp xếp các thủ tục để hoàn thiện chất lƣợng mặc dù đặc tả chƣa hoàn thiện. Quản lý chất lƣợng không chỉ quan tâm đến việc làm hạn chế tối thiểu những khiếm khuyết của sản phẩm và đảm bảo tuân theo đặc tả, mà còn phải quan tâm đến những thuộc tính chất lƣợng khác của sản phẩm. Trên quan điểm qui trình, kiểm thử phần mềm là một phần của xác minh và thẩm định phần mềm. Nếu phần mềm là thành phần của hệ thống lớn hơn thì kiểm thử phần mềm cũng đƣợc xem nhƣ là một phần của quản lý và đảm bảo chất lƣợng. Và để đạt phần mềm chất lƣợng cao, thì kiểm thử có thể coi là một thành phần chủ yếu của hoạt động đảm bảo chất lƣợng phần mềm. 1.1.2. Vai trò của kiểm thử phần mềm Thực tế đã chứng minh hoạt động kiểm thử có vai trò vô cùng quan trọng trong tiến trình phát triển phần mềm. Vai trò đó đƣợc thể hiện qua chi phí và hiệu quả của hoạt động kiểm thử mang lại. Về mặt chi phí, hoạt động kiểm thử chiếm khoảng 40% tổng công sức phát triển phần mềm và chiếm tới hơn [...]... ca kiểm thử Kế hoạch kiểm thử Chuẩn bị dữ liệu kiểm thử Các ca kiểm thử Chạy chƣơng trình với dữ liệu kiểm thử Dữ liệu kiểm thử So sánh các kết quả với các trƣờng hợp kiểm thử Kết quả kiểm thử Báo cáo kiểm thử Hình 1.2 Quy trình kiểm thử phần mềm Qui trình kiểm thử phần mềm chứa các bƣớc cơ bản nhƣ mô tả trong hình 1.2 Dƣới đây là mô tả chi tiết nội dung của các bƣớc trên - Lập kế hoạch kiểm thử Bƣớc... xong các đơn vị (unit) hoặc tiến hành tích hợp hệ thống và kiểm thử chấp nhận Phân tích Thiết kế Mã hóa KIỂM THỬ Kế hoạch kiểm thử Các trƣờng hợp kiểm thử Dữ liệu kiểm thử Bàn giao SP Các báo cáo kiểm thử Hình 1.1 Giai đoạn kiểm thử trong quy trình phát triển phần mềm -9- Luận văn cao học Dương Thị Phượng 1.2 Quy trình kiểm thử phần mềm Yêu cầu, mã nguồn Lập kế hoạch kiểm thử Nhật ký Thiết kế các ca kiểm. .. cho tất cả các hoạt động sẽ đƣợc thực hiện và các phƣơng pháp đƣợc sử dụng Các chuẩn IEEE 1012-1986 bao gồm các thông tin về tác giả chuẩn bị kế hoạch, danh sách liệt kê của kế hoạch kiểm thử - Thiết kế các ca kiểm thử Các ca kiểm thử là các đặc tả đầu vào cho kiểm thử và đầu ra mong đợi của hệ thống cùng với các câu lệnh đƣợc kiểm thử Có một vài phƣơng pháp thiết kế ca kiểm thử và các qui tắc từ các. .. tạo ra các ca kiểm thử để tìm ra lỗi của phần mềm Mục tiêu cuối cùng và cũng là mục tiêu mà ngƣời phát triển hƣớng tới là kiểm thử phần mềm sẽ giúp cho ngƣời phát triển có một chƣơng trình tốt, chi phí thấp nhƣng vẫn đảm bảo đƣợc chất lƣợng phần mềm trƣớc khi bàn giao sản phẩm Hình 1.1 mô tả vị trí của kiểm thử phần mềm trong quy trình phát triển phần mềm Trong quy trình này, kiểm thử phần mềm đƣợc... tập cơ sở các đƣờng dẫn độc lập tuyến tính cần kiểm thử Bƣớc 4: Sinh các ca kiểm thử (sinh các test case) có khả năng thực hiện mỗi đƣờng dẫn trong tập cơ sở Bƣớc 5: Thực hiện kiểm thử trên từng ca kiểm thử Bƣớc 6: So sánh kết quả có đƣợc với kết quả đƣợc kỳ vọng Bƣớc 7: Lập báo cáo kết quả để phản hồi cho những ngƣời có liên quan Việc sinh các ca kiểm thử chính là việc chọn dữ liệu để kiểm thử các. .. phần mềm 1.1.3 Mục đích của kiểm thử phần mềm Là thiết kế đƣợc những trƣờng hợp kiểm thử để có thể phát hiện một cách có hệ thống những loại lỗi khác nhau và thực hiện công việc đó với lƣợng thời gian và tài nguyên tối ƣu nhất Tuy nhiên kiểm thử phần mềm không thể khẳng định rằng phần mềm không còn khiếm khuyết Nhƣ vậy ta có thể kết luận, mục tiêu đầu tiên và trƣớc mắt của hoạt động kiểm thử phần mềm. .. các lớp tƣơng đƣơng không hợp lệ đƣợc phủ bởi các trƣờng hợp kiểm thử thì hãy viết các trƣờng hợp kiểm thử mới sao cho mỗi trƣờng hợp kiểm thử mới chỉ phủ duy nhất một lớp tƣơng đƣơng không hợp lệ chƣa đƣợc phủ Các trƣờng hợp không hợp lệ đƣợc phủ bởi các trƣờng hợp kiểm thử riêng biệt do việc kiểm tra đầu vào có lỗi này sẽ bị che hoặc bỏ sót việc kiểm tra đầu vào có lỗi khác Ví dụ 1: Sinh các ca kiểm. .. thiết kế kiểm thử có kinh nghiệm Tuy nhiên, có hai chiến lƣợc kiểm thử cơ bản; + Phƣơng pháp kiểm thử hộp đen để kiểm thử dựa trên chức năng Phƣơng pháp này có khả năng phát hiện ra các lỗi/khiếm khuyết do thiếu sót các chức năng của hệ thống - 10 - Luận văn cao học Dương Thị Phượng + Phƣơng pháp kiểm thử hộp trắng để kiểm thử cấu trúc bên trong của chƣơng trình Phƣơng pháp này cho phép phát hiện các lỗi... tƣơng đƣơng cho bài toán điểm thi cao học - 16 - Luận văn cao học Dương Thị Phượng 2.1.1 Phân lớp tƣơng đƣơng mạnh Với phƣơng pháp này, sau khi phân hoạch miền giá trị của các biến đầu vào thành các lớp tƣơng đƣơng thì việc sinh các trƣờng hợp kiểm thử thực hiện theo nguyên tắc mỗi ca kiểm thử là một phần tử của tích đề các của các phân hoạch con đó Do đó số lƣợng ca kiểm thử sinh ra chính là số phần tử... văn cao học Dương Thị Phượng thống với số lƣợng ca kiểm thử ít hơn nhiều so với phƣơng pháp phân lớp tƣơng đƣơng mạnh nhƣng khả năng bắt lỗi tốt Ngƣời kiểm thử nên sử dụng phƣơng pháp này 2.2.2 Kiểm thử chƣơng trình sau khi lập trình viên đã sửa lỗi Sử dụng 3 phƣơng pháp phân lớp đã kiểm thử trên để kiểm thử lại chƣơng trình thì kiểm thử viên không phát hiện ra lỗi nào, toàn bộ các ca kiểm thử ở cả . Tổng quan về kiểm thử phần mềm 6 1.1. Các khái niệm cơ bản về kiểm thử phần mềm 6 1.1.1. Kiểm thử phần mềm là gì? 6 1.1.2. Lý do kiểm thử phần mềm 7 1.1.3. Vai trò của kiểm thử phần mềm 8 1.1.4 Luận văn cao học Dương Thị Phượng - 6 - CHƯƠNG 1 TỔNG QUAN VỀ KIỂM THỬ PHẦN MỀM 1.1. Các khái niệm cơ bản về kiểm thử phần mềm Kiểm thử phần mềm Kiểm thử phần mềm là quá trình khảo. hoạch kiểm thử Các trƣờng hợp kiểm thử Dữ liệu kiểm thử Các báo cáo kiểm thử Luận văn cao học Dương Thị Phượng - 10 - 1.2. Quy trình kiểm thử phần mềm Hình 1.2. Quy trình kiểm thử phần