Xây dựng công cụ sinh đột biến cho chương trình lustre

➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạm

Loại tài liệu: PDF

Số trang: 78 Trang

Tài liệu: ✅ ĐÃ ĐƯỢC PHÊ DUYỆT

TẢI VỀ

Nội dung chi tiết: Xây dựng công cụ sinh đột biến cho chương trình lustre

Xây dựng công cụ sinh đột biến cho chương trình lustre

Bộ GIÁO DỤC DÀO TẠO DẠI HỌC DÀ NANGTẠ TITANII TTẢTXÂY DỤNG CÔNG cụ SINH ĐỘT BIẾN CHO CHUÔNG TRÌNH LUSTREĩ UẠN VÃN TĨTẠC sĩ KỸ TIĨUẠTDà Nan" - Năm 2017

Xây dựng công cụ sinh đột biến cho chương trình lustre 7BỌ GIÁO DỤC ĐÀO TẠO DẠI HỌC ĐÀ NÀNGTẠ THANH HẤTXÂY DƯNG CÔNG cụ SINH ĐỘT BIÉN CHO CHƯƠNG TRÌNH LUSTREChuyên ngành: Khoa học máy tính Mã số: 60.48.01.

01LUẬN VĂN THẠC sỉ KỶ THUẬTNgười hướng dần khoa học: PGS.TS. NGUYỀN THANH BÌNHDà Nang - Nám 2017LỜI CAM ĐOANTôi xin cam đoan:a. Những nội dung trong L Xây dựng công cụ sinh đột biến cho chương trình lustre

uận vein này ìà do tôi thực hiện dưới sự hường dẫn trực tiếp cùa PGS.TS.Nguyễn Thanh Binh:h. Mọi tham kháo dùng trong Luận van đều được trích dãn rò r

Xây dựng công cụ sinh đột biến cho chương trình lustre

àng và trung thực tên tác giá, tên công trình, thời gian, dịa diêm cóng bổ;c. Mọi sao chép không hợp ỉệ, vi phạm quy ché dào tạo, hay gian trá, tôi xi

Bộ GIÁO DỤC DÀO TẠO DẠI HỌC DÀ NANGTẠ TITANII TTẢTXÂY DỤNG CÔNG cụ SINH ĐỘT BIẾN CHO CHUÔNG TRÌNH LUSTREĩ UẠN VÃN TĨTẠC sĩ KỸ TIĨUẠTDà Nan" - Năm 2017

Xây dựng công cụ sinh đột biến cho chương trình lustre ồng bộ luông dừ liệu, được sử dụng lộng rãi đẽ phát tiiẽn các hệ thông phân ứng, hệ thống điêu khiêu vã hệ thống giảm sát. như lô phan ứng hạt nhâu, m

áy bay dãn sự. xe òtô... Dặc biệt, Lustre rat 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ư Xây dựng công cụ sinh đột biến cho chương trình lustre

đẽ phát hiện loi giìr một vai trò rat quan trọng. Trong đó. kiêm thư dột biên lã một trong những kỳ thuật được sử dụng phõ biên đẽ đánh giã khá năng

Xây dựng công cụ sinh đột biến cho chương trình lustre

phát hiện lôi cua dữ liệu thử. Việc sinh ra các đột biên lữ bộ toán tư dột biếu đà đề xuất lã một công việc quan trọng vã tôn Iiluẽu chi phí (thời gia

Bộ GIÁO DỤC DÀO TẠO DẠI HỌC DÀ NANGTẠ TITANII TTẢTXÂY DỤNG CÔNG cụ SINH ĐỘT BIẾN CHO CHUÔNG TRÌNH LUSTREĩ UẠN VÃN TĨTẠC sĩ KỸ TIĨUẠTDà Nan" - Năm 2017

Xây dựng công cụ sinh đột biến cho chương trình lustre ng cho chương trình Ĩ.usĩre dưa trên bộ toán ĩữ dã dược dịnh nghĩa. Còng cụ sinh dột biển tự dộng là một yêu can cap bách cho việc kiềm thừ dột biến c

ác chương trinh Ĩ.usĩre, từ dó có thè áp dụng kiểm thứ dột biến cho chương trinh Lustre với quy mô lớn hơn. Còng cụ dược thừ nghiệm sinh dột biến trên Xây dựng công cụ sinh đột biến cho chương trình lustre

một so lớn các chương trinh Lustre và cho kết quá khả quan.Tù khóa - Toán tữ dột biển, Muĩ.ustre: Ngôn ngữ Lustre. T.ập trinh dong bộ, Hệ thong phim

Xây dựng công cụ sinh đột biến cho chương trình lustre

ưng.GENERATENG MUTANTS TOOL FOR LUSTRE PROGRAMSAbstract - Lustre is a data flow synchronous language, which is widely used for the development of reac

Bộ GIÁO DỤC DÀO TẠO DẠI HỌC DÀ NANGTẠ TITANII TTẢTXÂY DỤNG CÔNG cụ SINH ĐỘT BIẾN CHO CHUÔNG TRÌNH LUSTREĩ UẠN VÃN TĨTẠC sĩ KỸ TIĨUẠTDà Nan" - Năm 2017

Xây dựng công cụ sinh đột biến cho chương trình lustre me systems. In such applications, testing activities for error detection play a very important role, hl particular, mutagenesis testing is one of the

most techniques that commonly used for evaluating error detection of lest data. Creating mutations from a set mutant operator is an important and cost Xây dựng công cụ sinh đột biến cho chương trình lustre

ly (time, human) task, if applying manual method. Tn this thesis, we present a automatically mutant solution for the T.ustre program based on a set of

Xây dựng công cụ sinh đột biến cho chương trình lustre

defined operators. Automated mutagenesis tools are an urgent requirement for testing the mutations in Lustre programs, which can be used to test muta

Bộ GIÁO DỤC DÀO TẠO DẠI HỌC DÀ NANGTẠ TITANII TTẢTXÂY DỤNG CÔNG cụ SINH ĐỘT BIẾN CHO CHUÔNG TRÌNH LUSTREĩ UẠN VÃN TĨTẠC sĩ KỸ TIĨUẠTDà Nan" - Năm 2017

Xây dựng công cụ sinh đột biến cho chương trình lustre - mutation operator: Mul.ustre: Lustre Programming Language: Synchronous programming language: Reactive System.iiiMỤC lục:LỜI CAM ĐOAN................

.................................................iTÓM TẢT LUẬN VÁN............................................................iiMỤC LỤC............... Xây dựng công cụ sinh đột biến cho chương trình lustre

.....................................................iiiDANH MỰC CÁC TỪ VIÉT TẢT....................................................viDANH MỤC CÁC BAN

Xây dựng công cụ sinh đột biến cho chương trình lustre

G..........................................................vii

Bộ GIÁO DỤC DÀO TẠO DẠI HỌC DÀ NANGTẠ TITANII TTẢTXÂY DỤNG CÔNG cụ SINH ĐỘT BIẾN CHO CHUÔNG TRÌNH LUSTREĩ UẠN VÃN TĨTẠC sĩ KỸ TIĨUẠTDà Nan" - Năm 2017