Techniques for building dependable distributed systems: multi-version software testing

To investigate the effectiveness of serializable back-to-back testing and other issues in multiversion software systems, an experiment was performed. The authors discuss the use of multiple implementations for fault prevention throughout development, particularly during the testing phase. The specifications chosen were written in languages that meet industrial standards. The application is a communication protocol based on the Open Systems Interconnection (OSI) layered model adopted by the International Organization for Standardization (ISO) in 1979. The OSI layered model is introduced, the generation of appropriate test cases is discussed, and the testing environment is presented. The serializable back-to-back testing paradigm is presented in detail, along with testing results.<<ETX>>

[1]  Algirdas Avizienis,et al.  Fault Tolerance by Design Diversity: Concepts and Experiments , 1984, Computer.

[2]  David F. McAllister,et al.  A large scale second generation experiment in multi-version software: description and early results , 1988, [1988] The Eighteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.

[3]  Peter G. Bishop,et al.  Stem — A Project on Software Test and Evaluation Methods , 1987 .

[4]  Peter A. Barrett,et al.  Software Fault Tolerance: An Evaluation , 1985, IEEE Transactions on Software Engineering.

[5]  Simeon C. Ntafos,et al.  A report on random testing , 1981, ICSE '81.

[6]  Behcet Sarikaya.  Test design for computer network protocols , 1984 .

[7]  John P. J. Kelly,et al.  Engineering dependability with design diversity: a distributed software experiment in ada , 1989 .

[8]  Peter G. Bishop,et al.  Project on Diverse Software — An Experiment in Software Reliability , 1985 .

[9]  William E. Howden,et al.  Functional Program Testing , 1978, IEEE Transactions on Software Engineering.

[10]  Atul Prakash,et al.  Software Engineering: Problems and Perspectives , 1984, Computer.

[11]  John P. J. Kelly,et al.  Achieving Dependability Throughout the Development Process: A Distributed Software Experiment , 1990, IEEE Trans. Software Eng..

[12]  Janet R. Dunham.  Experiments in software reliability: Life-critical applications , 1986, IEEE Transactions on Software Engineering.

[13]  Thomas Anderson,et al.  Software Fault Tolerance , 1990 .

[14]  C. V. Ramamoorthy,et al.  Application of a Methodology for the Development and Validation of Reliable Process Control Software , 1981, IEEE Transactions on Software Engineering.