Please use this identifier to cite or link to this item:
http://tainguyenso.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://tainguyenso.dut.udn.vn/handle/DUT/280 |
Appears in Collections: | LV.Khoa học máy tính |
Files in This Item:
File | Description | Size | Format | Existing users please Login |
---|---|---|---|---|
TaThanhHai.TT.pdf.pdf | Tóm tắt | 461.17 kB | Adobe PDF | Request a copy |
TaThanhHaiTV.pdf.pdf | Toàn văn | 3.75 MB | Adobe PDF | Request a copy |
CORE Recommender
Page view(s) 5
1
checked on Nov 6, 2024
Download(s) 1
4
checked on Nov 6, 2024
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.