City Research Online

Modeling the Impact of Testing on Diverse Programs

Bishop, P. G. (2015). Modeling the Impact of Testing on Diverse Programs. In: Koornneef, F & van Gulijk, C (Eds.), LNCS Computer Safety, Reliabilty and Security. 34th International Conference, SAFECOMP 2015, 23-09-2015 - 25-09-2015, Delft, The Netherlands. doi: 10.1007/978-3-319-24255-2


This paper presents a model of diverse programs that assumes there are a common set of potential software faults that are more or less likely to exist in a specific program version. Testing is modeled as a specific ordering of the removal of faults from each program version. Different models of testing are examined where common and diverse test strategies are used for the diverse program versions. Under certain assumptions, theory suggests that a common test strategy could leave the proportion of common faults unchanged, while di-verse test strategies are likely to reduce the proportion of common faults. A re-view of the available empirical evidence gives some support to the assumptions made in the fault-based model. We also consider how the proportion of com-mon faults can be related to the expected reliability improvement.

Publication Type: Conference or Workshop Item (Paper)
Additional Information: The final publication is available at Springer via
Publisher Keywords: Software diversity, multi-version programs, diverse test strategies
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Departments: School of Science & Technology > Computer Science > Software Reliability
[thumbnail of Testing_diverse_programs_v4.pdf]
Text - Accepted Version
Download (122kB) | Preview


Add to AnyAdd to TwitterAdd to FacebookAdd to LinkedinAdd to PinterestAdd to Email


Downloads per month over past year

View more statistics

Actions (login required)

Admin Login Admin Login