Automatic Generation of Test Cases in Regression Testing for Lustre/SCADE Programs

HTML  Download Download as PDF (Size: 922KB)  PP. 27-35  
DOI: 10.4236/jsea.2013.610A004    4,501 Downloads   7,378 Views  Citations

ABSTRACT

Lustre is a formal synchronous declarative language widely used for modeling and specifying safety critical applications in the fields of avionics, transportation, and energy production. In such applications, the testing activity to ensure correctness of the system plays a crucial role. During the development process, Lustre programs (or SCADE) are often upgraded, so regression test should be performed to detect bugs. However, regression test is generally costly, because the number of test cases is usually very large. In this paper, we present the solution to automatically generating test cases in regression testing of Lustre/SCADE programs. We apply this solution to regression testing for case study Uturn System.

Share and Cite:

T. Duy, N. Binh and I. Parissis, "Automatic Generation of Test Cases in Regression Testing for Lustre/SCADE Programs," Journal of Software Engineering and Applications, Vol. 6 No. 10A, 2013, pp. 27-35. doi: 10.4236/jsea.2013.610A004.

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.