Automatic instantiation of abstract tests on specific configurations for large critical control systems
Francesco Flammini, Nicola Mazzocca, Antonio Orazzo

TL;DR
This paper introduces an automated methodology for instantiating abstract tests from system requirements to specific configurations in large, critical control systems, reducing manual effort and errors.
Contribution
It presents an algorithm that automates the instantiation process from abstract tests to specific system configurations using a reference architecture and behavioral model.
Findings
Successfully applied to a railway interlocking system
Demonstrated feasibility and effectiveness over several years
Reduces manual effort and error-prone activities
Abstract
Computer-based control systems have grown in size, complexity, distribution and criticality. In this paper a methodology is presented to perform an abstract testing of such large control systems in an efficient way: an abstract test is specified directly from system functional requirements and has to be instantiated in more test runs to cover a specific configuration, comprising any number of control entities (sensors, actuators and logic processes). Such a process is usually performed by hand for each installation of the control system, requiring a considerable time effort and being an error prone verification activity. To automate a safe passage from abstract tests, related to the so called generic software application, to any specific installation, an algorithm is provided, starting from a reference architecture and a state-based behavioural model of the control software. The…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSoftware Testing and Debugging Techniques · Formal Methods in Verification · Software Reliability and Analysis Research
