Please use this identifier to cite or link to this item: http://tailieuso.udn.vn/handle/TTHL_125/9340
Title: Automatic Regression Testing for Lustre/SCADE Applications
Other Titles: Kiểm thử hồi quy tự động cho các ứng dụng Lustre/SCADE
Authors: Trinh, Cong Duy
???metadata.dc.contributor.advisor???: Nguyen, Thanh Binh, Assoc. Prof. Dr.
Parissis, Ioannis, Prof. Dr.
Keywords: Testing
Regreesion testing
Reactive system
Lustre/SCADE
LUSREGTES
Model checker
Kiểm thử
Kiểm thử hồi quy
Hệ thống phản ứng
Kiểm chứng mô hình
Issue Date: 2018-11
Publisher: The University of Danang
Description: Engineering Doctoral Thesis. Major: Computer Science. Code of Major: 62 48 01 01; 166 pages.
???metadata.dc.description.tableofcontents???: Chapter 1.Lustre/SCADE and regression testing: Basic concepts; Chapter 2.Using model checker for testing Lustre/SCADE programs; Chapter 3.Regression testing approach for Lustre/SCADE programs; ...
URI: http://tailieuso.udn.vn/handle/TTHL_125/9340
Appears in Collections:Kỹ thuật

Files in This Item:
File Description SizeFormat 
TrinhCongDuy.TT.pdfTóm tắt581.43 kBAdobe PDFView/Open
TrinhCongDuy.TT_E.pdfSummary457.3 kBAdobe PDFView/Open
TrinhCongDuy.TV.pdfFulltext18.14 MBAdobe PDFView/Open    Request a copy


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