TAILIEUCHUNG - Các kỹ thuật kiểm thử đột biến và ứng dụng kiểm thử chương trình C

Bài viết trình bày khái quát về kiểm thử phần mềm như: khái niệm kiểm thử phần mềm, mục đích, mục tiêu và các mức kiểm thử phần mềm; các kỹ thuật kiểm thử hộp trắng và hộp đen để thiết kế dữ liệu thử. Mô tả chi tiết các thành phần chính của kỹ thuật kiểm thử đột biến, giới thiệu các giả thuyết cơ bản cần thiết để thực hiện; quy trình để phân tích đột biến, từ đó rút ra được những vấn đề còn hạn chế đối với kỹ thuật kiểm thử đột biến. | Các kỹ thuật kiểm thử đột biến và ứng dụng kiểm thử chương trình C Các kỹ thuật kiểm thử đột biến và ứng dụng kiểm thử chương trình C Nguyễn Thị Miên Trường Đại học Khoa học Tự nhiên Khoa Toán - Cơ - Tin học Chuyên ngành: Bảo đảm toán học cho máy tính và hệ thống tính toán; Mã số: Người hướng dẫn: PGS. TS. Đoàn Văn Ban Năm bảo vệ: 2011 Abstract. Trình bày khái quát về kiểm thử phần mềm như: khái niệm kiểm thử phần mềm, mục đích, mục tiêu và các mức kiểm thử phần mềm. Đề cập đến việc sử dụng các kỹ thuật kiểm thử hộp trắng và hộp đen để thiết kế dữ liệu thử. Mô tả chi tiết các thành phần chính của kỹ thuật kiểm thử đột biến, giới thiệu các giả thuyết cơ bản cần thiết để thực hiện phương pháp này. Tìm hiểu quy trình để phân tích đột biến, từ đó rút ra được những vấn đề còn hạn chế đối với kỹ thuật kiểm thử đột biến. Giới thiệu một số phương pháp cải tiến kỹ thuật kiểm thử đột biến nhằm giảm chi phí tính toán và tăng tự động hóa. Tập trung vào ứng dụng kỹ thuật kiểm thử đột biến. Giới thiệu hai công cụ mã nguồn mở miễn phí là NUnit dùng để kiểm thử đơn vị của chương trình C#, và Nester với chức năng phân tích và tạo đột biến. Ứng dụng kỹ thuật kiểm thử đột biến để kiểm thử các chương trình C# sử dụng hai công cụ trên Keywords. Tin học; Kiểm thử đột biến; Kiểm thử chương trình C; Phần mềm Content. Kiểm thử phần mềm là một hoạt động giữ vai trò rất quan trọng để bảo đảm chất lượng phần mềm và là hoạt động mang tính sống còn trong các dự án sản xuất hoặc gia công phần mềm. Vì vậy, kiểm thử phần mềm đã trở thành qui trình bắt buộc trong các dự án phát triển phần mềm trên thế giới. Ở Việt Nam, ngành công nghiệp phần mềm đang phát triển thì không thể xem nhẹ việc kiểm thử phần mềm vì xác suất thất bại sẽ rất cao, hơn nữa, hầu hết các công ty phần mềm có uy tín đều đặt ra yêu cầu nghiêm ngặt là nếu một phần mềm không có tài liệu kiểm thử đi kèm thì sẽ không được chấp nhận. Tuy nhiên, hoạt động kiểm thử

• Kỹ thuật lập trình
• Kỹ thuật kiểm thử đột biến
• Ứng dụng kiểm thử chương trình C
• Chương trình C
• Phân tích đột biến
• Quy trình để phân tích đột biến
• Luận án Tiến sĩ kỹ thuật
• Khoa học máy tính
• Kiểm thử đột biến trong môi trường Simulink
• Kiểm thử đột biến trong môi trường Matlab
• Kiểm thử đột biến
• Luận văn thạc sĩ khoa học
• Kiểm thử chương trình C
• Kiểm thử phần mềm
• Luận văn thạc sĩ
• Tóm tắt luận văn thạc sĩ kỹ thuật
• Luận văn thạc sĩ kỹ thuật
• Xây dựng công cụ kiểm thử đột biến
• Câu lệnh SQL
• Công cụ kiểm thử đột biến
• công nghệ phần mềm
• quy trình kiểm thử
• nghiên cứu khoa học
• điện toán đám mây
• trình bày báo cáo
• tài liệu báo cáo khoa học
• cách trình bày báo cáo khoa học
• báo cáo khoa học sinh học
• báo cáo khoa học toán học