Regression Testing for Lustre/SCADE Applications
Applied in reaction systems
(Sprache: Englisch)
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...
Leider schon ausverkauft
versandkostenfrei
Buch
61.90 €
Produktdetails
Produktinformationen zu „Regression Testing for Lustre/SCADE Applications “
Klappentext zu „Regression Testing for Lustre/SCADE Applications “
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.
Autoren-Porträt von Duy Trinh
Trinh, DuyDr. Duy Trinh is doing research and teaching at University of Science and Technology - The University of Danang in Vietnam. He has experience in embedded systems, reactive systems and Internet Of Things.
Bibliographische Angaben
- Autor: Duy Trinh
- 132 Seiten, Maße: 22 cm, Kartoniert (TB), Englisch
- Verlag: LAP Lambert Academic Publishing
- ISBN-10: 6202802995
- ISBN-13: 9786202802994
Sprache:
Englisch
Kommentar zu "Regression Testing for Lustre/SCADE Applications"
0 Gebrauchte Artikel zu „Regression Testing for Lustre/SCADE Applications“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Regression Testing for Lustre/SCADE Applications".
Kommentar verfassen