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.
Nội dung trích xuất từ tài liệu:
Engineering doctoral thesis: Automatic regression testing for Lustre/SCADE applications MINISTRY OF EDUCATION & TRAINING THE UNIVERSITY OF DANANG ------ TRINH CONG DUYAUTOMATIC REGRESSION TESTING FOR LUSTRE/SCADE APPLICATIONS ENGINEERING DOCTORAL THESIS Da Nang, 8/2018 MINISTRY OF EDUCATION & TRAINING THE UNIVERSITY OF DANANG ------ TRINH CONG DUYAUTOMATIC 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 ofAssoc. Prof. Dr. Nguyen Thanh Binh and Prof. Dr. Ioannis Parissis. I certify that the research results presented in the thesis are true and arenot copied from any other documents. All quotations are recorded clearly andcompletely. PhD. Student Trinh Cong Duy -i- TABLE OF CONTENTS REASSURANCES......................................................................................................iTABLE OF CONTENTS ...........................................................................................iACRONYMS ............................................................................................................ivLIST OF TABLES .................................................................................................... vLIST OF FIGURES .................................................................................................viINTRODUCTION ..................................................................................................... 1 1. Context and Motivation ...................................................................................... 1 2. Goals, Objectives and Scope of the Research .................................................... 3 3. Contributions of this thesis ................................................................................. 4 4. Thesis structure ................................................................................................... 5 LUSTRE/SCADE AND REGRESSION TESTING: BASICCONCEPTS ............................................................................................................. 7 Testing techniques ............................................................................................ 7 Black-box testing ..................................................................................... 7 White-box testing .................................................................................... 8 Regression testing ............................................................................................ 9 Introduction ............................................................................................. 9 Regression Testing Techniques ............................................................. 12 Regression test selection techniques ..................................................... 14 Regression Testing Tools ...................................................................... 16 Introduction to Lustre/SCADE ...................................................................... 18 Reactive system ..................................................................................... 18 Synchronous programs .......................................................................... 20 Lustre language ..................................................................................... 21 Specification of a software in Lustre ..................................................... 23 Flows and Clocks in Lustre ................................................................. 25 SCADE environment ............................................................................ 27 Structural model in Lustre programs.............................................................. 27 Operator network ................................................................................... 27 Paths in an operator ............................................................................... 29 -ii- Operator Predicate ................................................................................. 29 Activation conditions............................................................................. 30 Testing Lustre/SCADE programs .................................................................. 32 Test data generation ............................................................................... 32 Coverage criteria for Lustre programs .................................................. 34 Conclusion ...................................................................................................... 36 USING MODEL CHECKER FOR TESTING LUSTRE/SCADEPROGRAMS ........................................................................................................... 37 Model checking technique .......... ...