tailieunhanh - Luận văn Thạc sĩ Khoa học: Các kỹ thuật kiểm thử đột biến và ứng dụng kiểm thử chương trình C

Kiểm thử phần mềm luôn là một trong những hoạt động quan trọng nhằm đánh giá chất lượng phần mềm. Kiểm thử đột biến đã được áp dụng cho nhiều ngôn ngữ lập trình như là một kỹ thuật kiểm thử hộp trắng. Bên cạnh việc sử dụng kiểm thử đột biến ở mức thực thi phần mềm, kiểm thử đột biến còn được sử dụng ở mức thiết kế để kiểm thử các đặc tả hoặc các mô hình của chương trình. Ý thức được đây là một lĩnh vực nghiên cứu có nhiều triển vọng ứng dụng trong phát triển phần mềm, tác giả chọn đề tài "Các kỹ thuật kiểm thử đột biến và ứng dụng kiểm thử chương trình C”. | LỜI CẢM ƠN Trong suốt quá trình học tập và làm luận văn tôi đã nhận được sự hướng dẫn giúp đỡ quý báu của quý thầy cô các anh chị và các bạn. Với lòng kính trọng và biết ơn sâu sắc tôi xin được bày tỏ lời cảm ơn chân thành tới Ban giám hiệu Phòng đào tạo sau đại học trường Đại Học Khoa Học Tự Nhiên Phó giáo sư - Tiến sĩ Đoàn Văn Ban - người thầy đã hết lòng giúp đỡ dạy bảo động viên và tạo mọi điều kiện thuận lợi cho tôi trong suốt quá trình học tập và hoàn thành luận văn tốt nghiệp. Cùng tất cả các thầy cô trong khoa trong trường các anh chị trong lớp. Xin chân thành cảm ơn các thầy cô trong hội đồng đã cho tôi những đóng góp quý báu để hoàn chỉnh luận văn này. Tác giả Phạm Thị Miên MỤC LỤC LỜI CẢM MỤC I DANH MỤC CÁC TỪ VIẾT TẮT THUẬT II DANH MỤC CÁC BẢNG III DANH MỤC CÁC HÌNH LỜI MỞ CHƯƠNG 1 - KHÁI QUÁT VỀ KIỂM THỬ PHẦN . Khái . Các cấp độ kiểm thử phần . Kiểm thử đơn vị Unit Test .10 . Kiểm thử tích hợp Integration Test .10 . Kiểm thử hệ thống System Test .11 . Kiểm thử chấp nhận sản phẩm Acceptance Test .13 . Kỹ thuật kiểm thử phần . Kỹ thuật kiểm thử hộp đen Black - box Testing .13 . Phân hoạch tương . Phân tích giá trị . Kỹ thuật kiểm thử hộp trắng White - box Testing .18 . Kiểm thử đường dẫn cơ . Kiểm thử cấu trúc điều . Kết CHƯƠNG 2 - KỸ THUẬT KIỂM THỬ ĐỘT . Một số khái niệm . 27 . Kiểm thử đột . Đột . Toán tử đột . Cơ sở của kiểm thử đột . Toán tử đột . Quy trình kiểm thử đột . Hạn chế của kiểm thử đột . Kết 2 CHƯƠNG 3 - MỘT SỐ CẢI TIẾN KỸ THUẬT KIỂM THỬ ĐỘT . Giảm chi phí tính . Phương pháp làm ít hơn A do fewer approach .36 . Lấy mẫu đột biến Mutant Sampling .37 . Đột biến ràng buộc Constrained Mutation .39 . N - đột biến lựa chọn N - .