Andere Kunden interessierten sich auch für
![Synthesis of Embedded Software]( "Synthesis of Embedded Software")
Synthesis of Embedded Software89,99 €![Regression Testing in Era of Internet of Things and Machine Learning]( "Regression Testing in Era of Internet of Things and Machine Learning")
Regression Testing in Era of Internet of Things and Machine Learning50,99 €![Methodology for Testing The Web Applications]( "Methodology for Testing The Web Applications")
Methodology for Testing The Web Applications26,99 €![Signal Processing and Transceiver Programming for IoT Applications]( "Signal Processing and Transceiver Programming for IoT Applications")
Signal Processing and Transceiver Programming for IoT Applications29,99 €![Regression Testing]( "Regression Testing")
Regression Testing26,99 €![Microprocessor Architecture, Programming and Applications with the 8085]( "Microprocessor Architecture, Programming and Applications with the 8085")
Microprocessor Architecture, Programming and Applications with the 808536,99 €![Testing Challenges in Web-based Applications]( "Testing Challenges in Web-based Applications")
Testing Challenges in Web-based Applications32,99 €
Lustre is a formal declarative and synchronous dataflow programming language that can be also used as a temporal logic of the past. Variables and expressions are represented by data flows, that is, infinite sequences of values whose evaluation is governed by a discrete global clock. SCADE is a graphical environment commercialized. It is based on the synchronous language Lustre. Therefore, it is often referred to as Lustre/SCADE. Lustre/SCADE is usually used to build the applications of reactive systems.Regression testing purpose is to make sure that the changes and modifications to the software did not introduced new bugs. Regression testing can be applied for testing a system efficiently by methodically selecting the proper minimum test sets needed to cover a specific modification adequately. This book presents regression testing process issues with a focus on automating test data generation, in the framework of reactive systems developed in Lustre/SCADE.