TAILIEUCHUNG - Cải tiến thực thi đột biến trong kiểm thử đột biến cho các mô hình Simulink sử dụng tính toán song song

Bài viết Cải tiến thực thi đột biến trong kiểm thử đột biến cho các mô hình Simulink sử dụng tính toán song song trình bày giải pháp để cải thiện chi phí thời gian thực thi đột biến trên các mô hình Simulink sử dụng tính toán song song trên các máy tính đa nhân. | Lê Thị Mỹ Hạnh Khuất Thanh Tùng Nguyễn Thanh Bình CẢI TIẾN THỰC THI ĐỘT BIẾN TRONG KIỂM THỬ ĐỘT BIẾN CHO CÁC MÔ HÌNH SIMULINK SỬ DỤNG TÍNH TOÁN SONG SONG IMPROVING MUTATION EXECUTION IN MUTATION TESTING FOR SIMULINK MODELS USING PARALLEL COMPUTING Lê Thị Mỹ Hạnh Khuất Thanh Tùng Nguyễn Thanh Bình Trường Đại học Bách khoa Đại học Đà Nẵng Email ltmhanh@ Tóm tắt Kiểm thử đột biến là một chiến lược kiểm thử dựa trên lỗi Abstract Mutation testing is a fault-based testing strategy to để đánh giá chất lượng kiểm thử bằng cách chèn lỗi vào chương measure the quality of testing by inserting faults into the program trình đang kiểm thử. Kiểm thử đột biến không chỉ cho phép xây under test. Mutation testing not only allows the design of good dựng các bộ dữ liệu thử chất lượng nghĩa là có khả năng phát hiện quality tests . high error detection capability but can also lỗi cao mà còn có thể dễ dàng được tự động hóa nhằm giảm chi be easily automated to reduce cost. Hence mutation testing is phí. Vì vậy kiểm thử đột biến là một trong những kỹ thuật kiểm thử one of white-box testing methods popularly applied. One problem hộp trắng được ứng dụng rộng rãi. Tuy nhiên một trong những hạn that prevents mutation testing from becoming a practical testing chế của kiểm thử đột biến là thời gian thực thi đột biến khá cao do technique is the high computational cost of executing enormous số lượng đột biến sinh ra nhiều. Trong bài báo này chúng tôi trình number of mutants against a test set. In this paper we propose an bày giải pháp để cải thiện chi phí thời gian thực thi đột biến trên các approach to improving the cost of mutation execution for Simulink mô hình Simulink sử dụng tính toán song song trên các máy tính models using parallel computing on a multicore machine. đa nhân. Từ khóa kiểm thử phần mềm kiểm thử đột biến chi phí kiểm thử Key words software testing mutation testing mutation testing đột biến Simulink tính toán song song. cost Simulink parallel computing. 1. Đặt vấn

• Tự động hoá
• Kiểm thử phần mềm
• Kiểm thử đột biến
• Chi phí kiểm thử đột biến
• Tính toán song song
• Mô hình Simulink
• Kiểm thử phần mềm Chương 2
• Nhập môn kiểm thử phần mềm
• Lỗi phần mềm
• Quy trình kiểm thử phần mềm
• Vai trò của kiểm thử phần mềm
• Nguyên lý của kiểm thử phần mềm
• Bài giảng Kiểm thử phần mềm
• Công cụ kiểm thử phần mềm
• Thiết kế phần mềm
• Kiểm soát chất lượng phần mềm
• Nguyên tắc kiểm thử phần mềm
• Sơ đồ tổ chức đội kiểm thử
• Môi trường kiểm thử
• Dữ liệu kiểm thử
• Thiết kế ca kiểm thử
• Kiểm thử chức năng phần mềm
• Kiểm thử cấu trúc phần mềm
• Kiểm thử luồng điều khiển
• Kỹ thuật kiểm thử
• Gia công phần mềm
• Quản lý kiểm thử phần mềm
• Công cụ kiểm thử tự động
• Kế hoạch kiểm thử phần mềm
• Thực hiện quy trình kiểm thử phần mềm
• Thiết kế kiểm thử
• Bài giảng Công cụ kiểm thử phần mềm
• Qui trình kiểm thử phần mềm
• Cấp độ kiểm thử
• Các loại kiểm thử
• Vòng đời phát triển phần mềm
• Cấu trúc dữ liệu phần mềm
• Tiến trình làm phần mềm
• Đánh giá chất lượng phần mềm
• Kiểm thử hiệu năng
• Thành phần kiểm thử hiệu năng
• Phân loại kiểm thử hiệu năng
• Báo cáo kiểm thử phần mềm
• Test summary report
• Vòng đời lỗi phần mềm
• Mức độ kiểm thử phần mềm
• Qui trình phát triển phần mềm
• Chiến lược kiểm thử
• Kỹ thuật thiết kế kiểm thử phần mềm
• Phương pháp kiểm thử phần mềm
• Khái niệm kiểm thử phần mềm
• Công cụ kiểm thử
• Xây dựng tài liệu kiểm thử
• Quản lý kiểm thử
• Lập kế hoạch kiểm thử
• Công cụ hỗ trợ kiểm thử
• Kiểm soát quá trình kiểm thử
• Báo cáo đề tài khoa học và công nghệ
• Kỹ thuật hệ thống
• Phần mềm kiểm thử
• Quy tình kiểm thử
• Hoạt động kiểm thử phần mềm
• Kiểm chứng Phần mềm
• Bài giảng Kiểm chứng Phần mềm
• Software Testing
• Nguyên lý kiểm thử phần mềm
• Kỹ thuật kiểm thử phần mềm
• Công nghệ phần mềm
• Bài giảng Công nghệ phần mềm
• Kiểm chứng phần mềm
• Thiết kế kiểm thử phần mềm
• Phân hoạch tương đương
• Phân tích giá trị biên
• Trường hợp kiểm thử phần mềm
• Đầu vào Test case
• Cấu trúc Test case
• Cấu trúc Test result