Regression Testing for Lustre/SCADE Applications: Applied in reaction systems - Softcover

Trinh, Duy

 
9786202802994: Regression Testing for Lustre/SCADE Applications: Applied in reaction systems

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

Dr. 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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.