LUẬN VĂN: NGHIÊN CỨU VỀ MỨC BAO PHỦ CỦA KIỂM THỬ

Phần mềm là một sản phẩm cần phải được đảm bảo về chất lượng. Đảm bảo chất lượng phần mềm (SQA- Software Quality Assuarance) là một nhiệm vụ đặc biệt quan trọng trong phát triển phần mềm và là vấn đề sống còn đối với tất cả các công ty phần mềm. Để đảm bảo chất lượng phần mềm thì trong các dự án phần mềm phải tiến hành xác minh và thẩm định. Một trong các hoạt động xác minh và thẩm định quan trọng là tiến hành kiểm thử phần mềm. Kiểm thử cần được tiến hành ở...
Nội dung trích xuất từ tài liệu:
LUẬN VĂN: NGHIÊN CỨU VỀ MỨC BAO PHỦ CỦA KIỂM THỬ ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ Vương Thị Quỳnh DươngNGHIÊN CỨU VỀ MỨC BAO PHỦ CỦA KIỂM THỬ KHOÁ LUẬN TỐT NGHIỆP ĐẠI HỌC HỆ CHÍNH QUY Ngành : Công Nghệ Thông Tin HÀ NỘI - 2009 1 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ Vương Thị Quỳnh DươngNGHIÊN CỨU VỀ MỨC BAO PHỦ CỦA KIỂM THỬ KHOÁ LUẬN TỐT NGHIỆP ĐẠI HỌC HỆ CHÍNH QUY Ngành: Công Nghệ Thông Tin Cán bộ hướng dẫn : TS. Trương Ninh Thuận Cán bộ đồng hướng dẫn: ThS. Tô Văn Khánh HÀ NỘI - 2009 2 LỜI CẢM ƠN Bản thân em đạt được thành quả như ngày hôm nay là nhờ một phần không nhỏcông lao dìu dắt của các thầy cô trong khoa Công Nghệ Thông Tin - Đại Học CôngNghệ - Đại Học Quốc Gia Hà Nội. Em xin ghi nhận công lao của các thầy cô và em xingửi lời cảm ơn sâu sắc tới thầy cô. Để hoàn thành được khoá luận này em xin gửi lời cảm ơn chân thành tới TS.Trương Ninh Thuận và ThS. Tô Văn Khánh, hai thầy đã hướng dẫn, giúp đỡ, chỉ bảo rấttận tình cho em. Dù đã cố gắng rất nhiều trong quá trình làm khoá luận, nhưng cũng không thểtránh khỏi những thiếu sót, em rất mong nhận được sự góp ý của các thầy, cô giáo đểem có thể hoàn thiện hơn. Hà nội, ngày 23 tháng 5 năm 2009 Sinh viên: Vương Thị Quỳnh Dương 3 TÓM TẮT KHOÁ LUẬN Trong thời đại công nghệ thông tin bùng nổ như hiện nay, phần mềm đóng mộtvai trò cực kỳ quan trọng trong hầu hết các lĩnh vực của đời sống. Phần mềm là một sảnphẩm cần phải được đảm bảo về chất lượng. Đảm bảo chất lượng phần mềm (SQA-Software Quality Assuarance) là một nhiệm vụ đặc biệt quan trọng trong phát triểnphần mềm và là vấn đề sống còn đối với tất cả các công ty phần mềm. Để đảm bảo chấtlượng phần mềm thì trong các dự án phần mềm phải tiến hành xác minh và thẩm định.Một trong các hoạt động xác minh và thẩm định quan trọng là tiến hành kiểm thử phầnmềm. Kiểm thử cần được tiến hành ở nhiều mức và phối hợp nhiều kỹ thuật khác nhau.Phần không thể thiếu trong kiểm thử là việc xây dựng các ca kiểm thử. Các ca kiểm thửphải đủ tốt mới có thể phát hiện ra khiếm khuyết của phần mềm. Một vấn đề đặt ra ởđây là làm thế nào để xác định được ca kiểm thử đó là tốt, những tiêu chí nào đánh giáchất lượng của chính ca kiểm thử? Và công việc tiến hành kiểm tra khi nào thì dừng lại? Nội dung của khoá luận sẽ đề cập đến hai phương pháp nhằm mục đích xây dựngcác ca kiểm thử tốt đó là kỹ thuật phân tích bao phủ code và kỹ thuật phân tích giá trịđiểm biên. Phân tích bao phủ code sẽ phải tiến hành xây dựng các ca kiểm thử tất cả cácluồng đường đi có thể qua chương trình, các luồng đường đi từ input tới output đượcxác định dựa trên các nhánh rẽ của chương trình. Thông thường các lỗi về lập trìnhthường hay xảy ra tại giá trị biên do vậy tại giá trị biên cần phải thiết kế ca kiểm thửkiểm tra nó. Trong phạm vi của khoá luận chúng tôi sẽ tiến hành cài đặt một chươngtrình nhằm tìm ra các câu lệnh điều khiển của file nguồn java và chỉ ra giá trị biên trongcác biểu thức so sánh nhằm mục đích chỉ ra để xuất các giá trị biên baseline và robustcần được kiểm tra. 4 Mục lụcCHƯƠNG 1. MỞ ĐẦU ............................................................................................... 10 1.1 Bối cảnh nghiên cứu .......................................................................................... 10 1.2 Nội dung bài toán .............................................................................................. 11 1.3 Cấu trúc của khoá luận....................................................................................... 12CHƯƠNG 2. GIỚI THIỆU VỀ BAO PHỦ CODE ...................................................... 14 2.1 Bao phủ code là gì ?........................................................................................... 14 2.2 Tại sao cần đo lượng code được bao phủ ?......................................................... 14 2.3 Làm thế nào để xác định lượng code được bao phủ ? ......................................... 15 2.4. Trong tiến trình test thì bao phủ code hợp với kỹ thuật kiểm thử nào ? ............ 15 2.4.1 Kiểm thử hộp đen ....................................................................................... 15 2.4.2 Kiểm thử hộp trắng ..................................................................................... 15 2.4.3 Bao phủ code .............................................................................................. 16CHƯƠNG 3. GIỚI THIỆU MỘT SỐ PHƯƠNG PHÁP BAO PHỦ ............................ 17 3.1 Bao phủ câu lệnh (Statement coverage) ............................................................. 17 3.2 Bao phủ nhánh (Branch coverage) ..................................................................... 17 3.3 Bao phủ đường đi (path coverage) ..................................................................... 18 3.4 Bao phủ điều kiện (condition coverage) ............................................................. 18 3.5 Bao phủ nhiều điều kiện (multiple condition coverage) ..................................... 18CHƯƠNG 4. PHÂN TÍCH, ĐÁNH GIÁ CÁC PHƯƠNG PHÁP BAO PHỦ .............. 19 4.1 Phân tích phương pháp bao phủ câu lệnh (statement coverage) .......................... 19 4.2 Phân tích phương pháp bao phủ nhánh (branch coverage) .................................. 23 4.3 Phân tích phương pháp bao phủ đường đi (path coverage) ................................. 28CHƯƠNG 5. PHÂN TÍCH GIÁ TRỊ ĐIỂM BIÊN .................................................... ...