Please use this identifier to cite or link to this item: http://thuvienso.dut.udn.vn/handle/DUT/280
Title: Xây dựng công cụ sinh đột biến cho chương trình Lustre
Other Titles: Generating Mutants Tool for Lustre Programs
Authors: Tạ, Thanh Hải
Keywords: Toán tử đột biến;MuLustre;Ngôn ngữ Lustre;Lập trình đồng bộ;Hệ thống phản ứng
Issue Date: 2017
Publisher: Trường Đại học Bách khoa - Đại học Đà Nẵng
Abstract: 
Lustre là ngôn ngữ đồng bộ luồng dữ liệu, được sử dụng rộng rãi để phát triển các hệ thống phản ứng, hệ thống điều khiển và hệ thống giám sát, như lò phản ứng hạt nhân, máy bay dân sự, xe ôtô... Đặc biệt, Lustre rất thích hợp cho phát triển các hệ thống thời gian thực. Trong các ứng dụng như vậy, các hoạt động kiểm thử để phát hiện lỗi giữ một vai trò rất quan trọng. Trong đó, kiểm thử đột biến là một trong những kỹ thuật được sử dụng phổ biến để đánh giá khả năng phát hiện lỗi của dữ liệu thử. Việc sinh ra các đột biến từ bộ toán tử đột biến đã đề xuất là một công việc quan trọng và tốn nhiều chi phí (thời gian, nhân lực), nếu ta thực hiện sinh đột biến bằng phương pháp thủ công. Trong luận văn này, chúng tôi trình bày giải pháp sinh đột biến một cách tự động cho chương trình Lustre dựa trên bộ toán tử đã được định nghĩa. Công cụ sinh đột biến tự động là một yêu cầu cấp bách cho việc kiểm thử đột biến các chương trình Lustre, từ đó có thể áp dụng kiểm thử đột biến cho chương trình Lustre với quy mô lớn hơn. Công cụ được thử nghiệm sinh đột biến trên một số lớn các chương trình Lustre và cho kết quả khả quan.
Description: 
Luận văn Thạc sĩ Kỹ thuật. Chuyên ngành: Khoa học Máy tính. Mã số: 60.48.01.01; 78 trang
URI: http://thuvienso.dut.udn.vn/handle/DUT/280
Appears in Collections:LV.Khoa học máy tính

Files in This Item:
File Description SizeFormat Existing users please Login
TaThanhHai.TT.pdf.pdfTóm tắt461.17 kBAdobe PDFThumbnail
TaThanhHaiTV.pdf.pdfToàn văn3.75 MBAdobe PDFThumbnail
Show full item record

CORE Recommender

Page view(s) 5

10
checked on Nov 26, 2024

Download(s) 50

6
checked on Nov 26, 2024

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.