TAILIEUCHUNG - 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 - .

• Thạc sĩ - Tiến sĩ - Cao học
• Luận văn thạc sĩ khoa học
• Kỹ thuật kiểm thử đột biến
• Kiểm thử chương trình C
• Kiểm thử phần mềm
• Kiểm thử đột biến
• Tóm tắt luận văn thạc sĩ khoa học xã hội
• Tóm tắt luận văn thạc sĩ khoa học nhân văn
• Luận văn thạc sĩ khoa học nhân văn
• Luận văn thạc sĩ khoa học xã hội
• Thơ Tản Đà
• Thơ Trần Tuấn Khải
• Luận văn Thạc sĩ Khoa học Ngữ văn
• Luận văn Thạc sĩ
• Luận văn Thạc sĩ ngành Văn học Việt Nam
• Nhà nho ẩn sĩ
• Tố chức ẩn sĩ của Đào Uyên Minh
• Tố chức ẩn sĩ của Nguyễn Bỉnh Khiêm
• Luận văn ngôn ngữ học
• Đề tài biện pháp tu từ ngữ âm
• Đề tài biện pháp tu từ cú pháp
• Luận văn thạc sĩ Giáo dục học
• Luận văn lý luận và phương pháp dạy học
• Luận văn giáo dục
• Luận văn thạc sĩ khoa học giáo dục
• Luận văn sư phạm toán học
• Luận văn quản lý giáo dục
• Luận văn sư phạm tiếng Anh
• Trích rút tri thức
• Văn bản tiếng Việt
• Chế biến rau quả
• Kho dữ liệu tri thức
• Khoa học máy tính
• Luận văn thạc sĩ kỹ thuật
• Luận văn khoa học máy tínhĩ
• Luận văn khoa học máy tính
• Hệ mã hóa RSA
• Xử lý số học
• Mã hóa công khai RSA
• Thuật toán tối ưu hóa
• Văn chính luận của Ngô Thì Nhậm
• Văn chính luận thời Tây Sơn
• Luận văn Thạc sĩ Triết học
• Triết học
• Tư tưởng triết học khoa học
• Thomas Samuel Kuhn
• Cấu trúc các cuộc cách mạng khoa học
• Tóm tắt luận văn Thạc sĩ
• Luận văn Thạc sĩ Khoa học Xã hội và Nhân văn
• Vai trò của khoa học
• Lực lượng sản xuất
• Ứng dụng cơ sở dữ liệu
• Cơ sở dữ liệu phân tán
• Dữ liệu phân tán
• Hệ thống quản lý phí
• Luận văn Thạc sĩ Khoa học Khoa học Ngữ văn
• Văn học Việt Nam
• Chú giải văn học trung đại
• Sách giáo khoa Ngữ văn
• Tối ưu hóa truy vấn
• Truy vấn dữ liệu
• Bánh răng trochoid
• Phần mềm CAD
• Bơm bánh răng trochoid
• Lý thuyết ăn khớp
• Phương pháp nghiên cứu khoa học
• Viết luận văn thạc sĩ
• Hướng dẫn trình bày luận văn thạc sĩ
• Hướng dẫn viết luận văn thạc sĩ
• Phương pháp luận nghiên cứu khoa học
• Giáo trình nghiên cứu khoa học
• Tóm tắt luận văn thạc sĩ khoa học
• Nghiên cứu thành phần hóa học ở lá cây
• Luận văn thạc sĩ hóa hữu cơ
• Luận văn khoa học
• Đề tài hóa hữu cơ
• Luận văn thạc sĩ khoa học máy tính
• Lý thuyết đại số gia tử
• Tra cứu thông tin khoa học
• Hệ thống tra cứu thông tin khoa học
• Kho dữ liệu khoa học
• Tóm tắt luận văn thạc sĩ kỹ thuật
• Luận văn Thạc sĩ ngành Khoa học máy tính
• An ninh mạng máy tính
• Mô hình mạng máy tính không dây
• Các loại hình tấn công mạng
• Quản lý công
• Luận văn Thạc sĩ Quản lý công
• Viện Hàn lâm Khoa học và Công nghệ
• Nguồn nhân lực khoa học công nghệ
• Nguồn nhân lực khoa học và công nghệ
• Văn xuôi Tự lực văn đoàn
• Yếu tố hiện thực trong văn xuôi
• Luận án thạc sĩ kỹ thuật
• Hệ thống hỗ trợ chấm thi