Doctoral thesis, Durham University.PreviewPDF3838KbAbstractWe study required numbers of tasks to be tested for a technical system, including systems with built-in redundancy, in order to demonstrate its reliability with regard to its use in a process after testing, where the system has to function for different types of tasks, which we assume to be independent.