| Alternate document: Details Software Diversity Metrics and Measurements (92) Michael R. Lyu, Jia-Hong Chen, Algirdas Avizienis |
Michael R. Lyu  Home/Search
Context Related
| cuhk.edu.hk/~lyu/posts...issre92_nvp.ps cuhk.edu.hk/~lyu/paper...issre92_nvp.ps informatik.tumuenchen...issre92_nvp.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cuhk.edu.hk/~lyu/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: N -Version Programming has been proposed as a means to increasing software reliability by the attributes provided in fault tolerance. In this paper we will quantitatively examine the effectiveness of this approach. We look into the details of an academia/industry joint project employing six programming languages, and study the properties of the resulting program versions. We explain how exhaustive testing was applied to the project, and measure the error probability in different N -Version... (Update)
Context of citations to this paper: More
.... an enormous improvement of N version software over single version software, which was similarly observed in the Six Language Project [29]. It is important to note, however, that the coverage defined and measured here is limited to the particular mutant population and the...
...is whether or not such software is truly diverse. There are studies and arguments for both sides of this issue (e.g. 2] 4] 15] 21][25][28] However, Ballista testing gives a way to shed additional light onto the diversity question. In particular, it can measure the...
Cited by: More
Toward a Scalable Method for Quantifying Aspects of Fault.. - Koopman (1998) (Correct)
Diversity in the Software Development Process - Hilford, Lyu, Cukic.. (1997) (Correct)
Improving the N-Version Programming Process Through the Evolution .. - Lyu, He (1993) (Correct)
Similar documents (at the sentence level):
8.9%: An Empirical Study of the Correlation between Code Coverage.. - Mei-Hwa Chen (1996) (Correct)
6.2%: Assuring Design Diversity in N-Version Software: A Design.. - Lyu, Avizienis (1992) (Correct)
Active bibliography (related documents): More All
1.2: System-Level Reliability and Sensitivity Analyses for Three.. - Dugan, Lyu (1993) (Correct)
0.7: Fault-Tolerant System Reliability In The Presence Of Imperfect.. - Alleman (1989) (Correct)
0.6: Diversity against Accidental and Deliberate Faults - Deswarte, Kanoun, Laprie (1998) (Correct)
Similar documents based on text: More All
0.5: Glide 2.2 Reference Manual - Inc. (1996) (Correct)
0.1: System Reliability Analysis of an N-version Programming.. - Dugan, Lyu (1993) (Correct)
0.0: CS4311 Fall 2001 2001 CS4311 - Hats Graphical User (Correct)
Related documents from co-citation: More All
4: In Search of Effective Diversity: A Six Language Study of Fault Tolerant Flight .. (context) - Avizienis, Lyu et al. - 1988
3: An experimental evaluation of the assumptions of independence in multiversion pr.. - Knight, Leveson - 1986
3: Analysis of Faults in an N-Version Software Experiment (context) - Brilliant, Knight et al. - 1990
BibTeX entry: (Update)
M.R. Lyu, "Software reliability measurements in an n-version software execution environment", Proc. Int'l Symp. Software Reliability Engineering, Oct 1992 http://citeseer.ist.psu.edu/lyu92software.html More
@misc{ lyu92software,
author = "M. Lyu",
title = "Software reliability measurements in an n-version software execution environment",
text = "M.R. Lyu, Software reliability measurements in an n-version software execution
environment, Proc. Int'l Symp. Software Reliability Engineering, Oct 1992",
year = "1992",
url = "citeseer.ist.psu.edu/lyu92software.html" }
Citations (may not include all citations):113 Software Reliability - Measurement (context) - Musa, Iannino et al. - 1987
107 An Experimental Evaluation of the Assumption of Independence.. - Knight, Leveson - 1986
62 The N-Version Approach to Fault-Tolerant Software (context) - Avizienis - 1985
46 Weak Mutation Testing and Completeness of Test Sets (context) - Howden - 1982
37 Time-Dependent Error-Detection Rate Model for Software Relia.. (context) - Goel, Okumoto - 1979
33 An Experimental Evaluation of Software Redundancy as a Strat.. (context) - Eckhardt, Caglavan et al. - 1991
33 Software Reliability Research (context) - Jelinski, Moranda - 1972
30 Dependable Computing: From Concepts to Design Diversity (context) - Avizienis, Laprie - 1986
30 the Implementation of N-Version Programming for Software Fau.. (context) - Avizienis, Chen - 1977
26 A Logarithmic Poisson Execution Time Model for Software Reli.. (context) - Musa, Okumoto - 1984
20 Reliability Modeling Techniques for Self-Repairing Computer .. (context) - Bouricius, Carter et al. - 1969
19 A Bayesian Reliability Growth Model for Computer Software (context) - Littlewood, Verrall - 1973
14 Community Error Recovery in N-Version Software: A Design Stu.. (context) - Tso, Avizienis - 1987
13 Application of a Methodology for the Development and Validat.. (context) - Ramamoorthy, Mok et al. - 1981
11 In Search of Effective Diversity: A Six-Language Study of Fa.. (context) - Avizienis, Lyu et al. - 1988
11 Assuring Design Diversity in N-Version Software: A Design Pa.. - Lyu, Avizienis - 1991
8 The UCLA DEDIX System: A Distributed Testbed for Multiple-Ve.. (context) - Avizienis, Gunningberg et al. - 1985
8 The Design of a Prototype Mutation System for Program Testin.. (context) - Budd, Lipton et al. - 1978
5 ERICSSON Safety System for Railway Control (context) - Hagelin - 1988
5 DEDIX 87 - A Supervisory System for Design Diversity Experim.. (context) - Avizienis, Lyu et al. - 1987
5 DEDIX 87 - A Supervisory System for Design Diversity Experim.. (context) - Avizienis, Lyu et al. - 1988
5 Project on Diverse Software - An Experiment in Software Reli.. (context) - Bishop, Esp et al. - 1985
5 Safe and Reliable Computing on Board the Airbus and ATR Airc.. (context) - Rouquet, Traverse - 1986
4 Dissimilar Software in High Integrity Applications in Flight.. (context) - Martin - 1982
2 Operational Testing and Software Reliability During Program .. (context) - Shooman - 1973
2 Architectural Solutions to Safety Problems of Digital Flight.. (context) - Yount - 1984
2 Digital Fly-By-Wire Experience (context) - Hills - 1985
1 Analysis of Error Processesin Computer Software (context) - Schneidewind - 1975
1 Application of a Fault-Tolerant Microprocessor-Based Core-Su.. (context) - Voges - 1985
1 Software Fault-Tolerance by Design Diversity; DEDIX: A Tool .. (context) - Avizienis, Gunningberg et al. - 1985
1 Redundant Programming in Europe (context) - Taylor - 1981
Documents on the same site (http://www.cse.cuhk.edu.hk/~lyu/papers.html): More
Design, Testing, and Evaluation Techniques for Software Reliability .. - Lyu (Correct)
A Systematic and Comprehensive Tool for Software Reliability .. - Lyu, Nikora, Farr (1993) (Correct)
Improving the N-Version Programming Process Through the Evolution .. - Lyu, He (1993) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC