Architecting Fault-tolerant Component-based Systems: from requirements to testing

  • Authors:
  • Antonio Bucchiarone;Henry Muccini;Patrizio Pelliccione

  • Affiliations:
  • Istituto di Scienze e Tecnologie dell'Informazione “A. Faedo”, Area della Ricerca CNR di Pisa, 56100 Pisa, Italy;University of L'Aquila, Computer Science Department, Via Vetoio 1, 67100 L'Aquila, Italy;University of L'Aquila, Computer Science Department, Via Vetoio 1, 67100 L'Aquila, Italy

  • Venue:
  • Electronic Notes in Theoretical Computer Science (ENTCS)
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

Fault tolerance is one of the most important means to avoid service failure in the presence of faults, so to guarantee they will not interrupt the service delivery. Software testing, instead, is one of the major fault removal techniques, realized in order to detect and remove software faults during software development so that they will not be present in the final product. This paper shows how fault tolerance and testing can be used to validate component-based systems. Fault tolerance requirements guide the construction of a fault-tolerant architecture, which is successively validated with respect to requirements and submitted to testing. The theory is applied over a mining control system running example.