Engineering doctoral thesis: Automatic regression testing for Lustre/SCADE applications

More precisely, the topic "Automatic regression testing for Lustre/SCADE applications" has been selected for this thesis to contribute to the development and application in software industry, software testing in general as well as regression testing in particular and particularly regression testing for the reactive systems - an approach that promises to deliver high effectiveness in software quality assurance. | Engineering doctoral thesis: Automatic regression testing for Lustre/SCADE applications MINISTRY OF EDUCATION & TRAINING THE UNIVERSITY OF DANANG --- --- TRINH CONG DUY AUTOMATIC REGRESSION TESTING FOR LUSTRE/SCADE APPLICATIONS ENGINEERING DOCTORAL THESIS Da Nang, 8/2018 MINISTRY OF EDUCATION & TRAINING THE UNIVERSITY OF DANANG --- --- TRINH CONG DUY AUTOMATIC REGRESSION TESTING FOR LUSTRE/SCADE APPLICATIONS Major: Computer Science Code of Major: 62 48 01 01 ENGINEERING DOCTORAL THESIS Supervisors: Assoc. Prof. Dr. Nguyen Thanh Binh Prof. Dr. Ioannis Parissis . Da Nang, 8/2018 REASSURANCES I hereby certify this thesis done by my work, under the guidance of Assoc. Prof. Dr. Nguyen Thanh Binh and Prof. Dr. Ioannis Parissis. I certify that the research results presented in the thesis are true and are not copied from any other documents. All quotations are recorded clearly and completely. PhD. Student Trinh Cong Duy -i- TABLE OF CONTENTS REASSURANCESi TABLE OF CONTENTS .i ACRONYMS iv LIST OF TABLES v LIST OF FIGURES .vi INTRODUCTION . 1 1. Context and Motivation 1 2. Goals, Objectives and Scope of the Research 3 3. .

Không thể tạo bản xem trước, hãy bấm tải xuống
TỪ KHÓA LIÊN QUAN
TÀI LIỆU MỚI ĐĂNG
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.