Automatic Test Generation for LUSTRE/SCADE Programs

Papailiopoulou, Virginia

doi:10.1109/ase.2008.96

Cited by 6 publications

(6 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Scade derives from the synchronous, dataflow programming languages LUSTRE [4] and ESTEREL [5], with further constructs from the graphical, state-machine-based language SyncCharts [42]. Thus our work has relations either with other research that addresses testing automation for these languages [13]- [15], [43], [44], or more in general with model-based testing [45], [46].…”

Section: Related Workmentioning

confidence: 99%

“…In this paper we consider the problem of automatically generating unit-level test cases for Scade programs, and we investigate the absolute and relative effectiveness of the mainstream test generation approaches when applied for this purpose. Our work focuses on achieving high structural coverage, as required for certification of safety critical programs [1], [2], and thus differs from existing approaches that generate test cases either at random (e.g., Lutess [13]) or by focusing on invariants or safety properties described in Lustre (e.g., Lurette [14] and Gatel [15]). In particular we focused on the observable modified-condition/decision-coverage (O-MC/DC), the criterion that Scade advises for software that shall work with high integrity level [16].…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Automated Test Case Generation for Safety-Critical Software in Scade

Kurian

Braione

Briola

et al. 2023

2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP)

View full text Add to dashboard Cite

Software systems for automating safety-critical tasks in application domains like, for example, avionics, railways, automotive, industry 4.0 and healthcare, must be highly reliable. In this paper, we focus on safety-critical software written in Scade, a model-based programming language largely adopted in industry, and we specifically draw on our own experience in a joint industry-university project aimed at developing safetycritical Scade programs for the railways domain. We investigate automated test case generation for Scade programs. We leverage on state-of-the-art test generators based on either symbolic execution, bounded model checking or search-based testing, in order to define an original toolchain for generating test cases for Scade programs. We rely on the toolchain to explore the absolute and relative effectiveness of those mainstream test generation approaches on a benchmark of 37 Scade programs developed as part of an on-board signaling unit for high-speed railway systems.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Automated Test Case Generation for Safety-Critical Software in Scade

Kurian

Braione

Briola

et al. 2023

2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP)

View full text Add to dashboard Cite

show abstract

“…These languages are implementation languages, while requirement interfaces enable specifying high-level properties of such programs. Testing of Lustre-like programs was studied by Raymond et al [42] and Papailiopoulou [41]. The specification language SCADE [16] supports graphical representation of synchronous systems.…”

Section: Related Workmentioning

confidence: 99%

Require, test, and trace IT

Aichernig

Hormaier

Lorber

et al. 2016

Int J Softw Tools Technol Transfer

View full text Add to dashboard Cite

We propose a framework for requirement-driven test generation that combines contract-based interface theories with model-based testing. We design a specification language, requirement interfaces, for formalizing different views (aspects) of synchronous data-flow systems from informal requirements. Various views of a system, modeled as requirement interfaces, are naturally combined by conjunction. We develop an incremental test generation procedure with several advantages. The test generation is driven by a single requirement interface at a time. It follows that each test assesses a specific aspect or feature of the system, specified by its associated requirement interface. Since we do not explicitly compute the conjunction of all requirement interfaces of the system, we avoid state space explosion while The research leading to these results has received funding from the ARTEMIS Joint Undertaking under grant agreements Nos. 269335 and 332830 and from the Austrian Research Promotion Agency (FFG) under grant agreements Nos. 829817 and 838498 for the implementation of the projects MBAT, Combined Model-based Analysis and Testing of Embedded Systems and CRYSTAL, Critical System Engineering Acceleration.

show abstract

“…they oer high-level and expressive mathematical formalisms. The best-know reactive languages are: the imperative control-dominated language Esterel [18] that has been designed by our research center, the declarative dataow language Lustre [19] and the declarative multi-ow language Signal [20].…”

Section: Synchronous Approachmentioning

confidence: 99%

Securing harbor by combining probabilistic approach with event-based approach

Zouaoui-Elloumi¹,

Roy²,

Mäızi³

2014

Applied Ocean Research

View full text Add to dashboard Cite

International audienceAs a part of SECuring MARitime (SECMAR) project that aimed to improve security at Marseilles harbor, we developed a decision support system that helps port staff to better monitor ship behavior. It consists of two complementary sub-systems. The first system is based on the probabilistic Hidden Markov Model (HMM) approach and deals with nominal (regular and recurrent) behavior of large to medium size of commercial ships. The second system is based on the reactive synchronous language Esterel and concerns aggressive and transgressive behavior of small ships that may navigate freely in the harbor. Real-time evaluations showed that the proposed decision support system efficiently captured and evaluated ship behavior

show abstract

Automatic Test Generation for LUSTRE/SCADE Programs

Cited by 6 publications

References 3 publications

Automated Test Case Generation for Safety-Critical Software in Scade

Automated Test Case Generation for Safety-Critical Software in Scade

Require, test, and trace IT

Securing harbor by combining probabilistic approach with event-based approach

Contact Info

Product

Resources

About