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

• 作者: Ioannis Parissis Nguyen Thanh Binh Trinh Cong Duy
• 来源期刊: 软件工程与应用(英文)
• 学科: 工学
• 关键词: Regession Testing TEST CASE LUSTRE SCADE Model CHECKING
• 年，卷（期）: 2013,（10）
• 页码范围: 27-35
• 页数: 9页
• 分类号: TP31

摘要

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.