> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Automatic instantiation of abstract tests on specific configurations for large critical control systems Beteiligte: Flammini, Francesco; Mazzocca, Nicola; Orazzo, Antonio Erschienen: Wiley, 2009 Erschienen in: Software Testing, Verification and Reliability, 19 (2009) 2, Seite 91-110 Sprache: Englisch DOI: 10.1002/stvr.389 ISSN: 0960-0833; 1099-1689 Schlagwörter: Safety, Risk, Reliability and Quality ; Software Entstehung: Anmerkungen: Beschreibung: AbstractComputer‐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 presented approach has been applied to a railway interlocking system, demonstrating its feasibility and effectiveness in several years of testing experience. Copyright © 2008 John Wiley & Sons, Ltd.