Automatic instantiation of abstract tests on specific configurations for large critical control systems

Francesco Flammini, Nicola Mazzocca, Antonio Orazzo

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 c…