A mathematical comparison of Software Breeding and Community Error Recovery in multiversion software

Author

Shima, Kazuyuki ; Matsumoto, Ken-ichi ; Torii, Koji

Author_Institution

Dept. of Inf. & Comput. Sci., Osaka Univ., Japan

fYear

1993

fDate

3-6 Nov 1993

Firstpage

192

Lastpage

201

Abstract

This paper compares Software Breeding, a new approach for improving the reliability of multiversion software, with Community Error Recovery by mathematical models of the reliability of the multiversion software by these. The following results were obtained: (1) the reliability of the Software Breeding increases when the number of modules of the multiversion software increases, (2) the multiversion software by Software Breeding is more reliable than by the Community Error Recovery unless the reliability of a program version is low and (3) the Software Breeding can improve the reliability of multiversion software more easily than the Community Error Recovery since the Software Breeding does not need any additional routine which must have very high reliability except for the driver module

Keywords

error handling; software reliability; system recovery; Community Error Recovery; Software Breeding; driver module; mathematical models; multiversion software; program version; software reliability; Animals; Computer errors; Error correction; Fault detection; Fault tolerance; Information science; Mathematical model; Reliability theory; Software reliability; Voting;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Reliability Engineering, 1993. Proceedings., Fourth International Symposium on

Conference_Location

Denver, CO

Print_ISBN

0-8186-4010-3

Type

conf

DOI

10.1109/ISSRE.1993.624288

Filename

624288