Journal of Software Engineering and Applications

Volume 6, Issue 10 (October 2013)

ISSN Print: 1945-3116   ISSN Online: 1945-3124

Google-based Impact Factor: 1.22  Citations  h5-index & Ranking

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,503 Downloads   7,382 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.

Cited by

[1] An Efficient Method for Automated Regression Test Data Generation for C/C++ Projects
2021 8th NAFOSTED Conference on …, 2021
[2] Trusted Algorithm Compiler for Safety I&C Software of NPPs Based on Formal Methods
… Symposium on Software …, 2020
[3] Automatic Test Case Generation from Usage Information
2018
[4] Automatic Regression Testing for Lustre/SCADE Applications
2018
[5] Sékou Harouna KANGOYE
2016
[6] SINH DỮ LIỆU THỬ CHO ỨNG DỤNG LUSTRE/SCADE SỬ DỤNG ĐIỀU KIỆN KÍCH HOẠT
2016
[7] Elaboration d'une approche de vérification et de validation de logiciel embarqué automobile, basée sur la génération automatique de cas de test
Thesis, 2016
[8] SINH CA KIỂM THỬ CHO CÁC HỆ THỐNG PHẢN ỨNG SỬ DỤNG CÔNG CỤ KIỂM CHỨNG MÔ HÌNH NUSMV
2015
[9] A regression testing approach for Lustre/SCADE programs
Proceedings of the Sixth International Symposium on Information and Communication Technology, 2015
[10] Creating test data generation tool for Lustre/SCADE programs using model checking
Tạp chí Khoa học và Công nghệ-Đại học Đà Nẵng, 2015
[11] Aplikace evolučního algoritmu při tvorbě regresních testů
2014

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.