Detecting common mode failures in N-version software using weakest precondition analysis

Gwang Sik Yoon, Sung Deok Cha, Yong Rae Kwon, Chan Hyoung Yoo

Research output: Contribution to conferencePaper

1 Citation (Scopus)

Abstract

An underlying assumption for N-version programming technique is that independently developed versions would fail in a statistically independent manner. However, empirical studies have demonstrated that common mode failures can occur even for independently developed versions, and that common mode failures degrade system reliability. In this paper, we demonstrate that the weakest precondition analysis is effective in determining input spaces leading to common mode failures. We applied the weakest precondition to the Launch Interceptor Programs which were used in several other experiments related to the N-version programming technique. We detected 13 out of 18 fault pairs which have been known to cause common mode failure. These faults were due to logical flaws in program design. Although the weakest precondition analysis may be labor-intensive since they are applied manually, our results convincingly demonstrate that it is effective for identifying input spaces causing common mode failures and further improving the reliability of N-version software.

Original languageEnglish
Pages272-280
Number of pages9
Publication statusPublished - 1997
EventProceedings of the 1997 Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC'97 and ICSC'97 - Hong Kong, Hong Kong
Duration: 1997 Dec 21997 Dec 5

Other

OtherProceedings of the 1997 Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC'97 and ICSC'97
CityHong Kong, Hong Kong
Period97/12/297/12/5

ASJC Scopus subject areas

  • Computer Science(all)
  • Engineering(all)

Fingerprint Dive into the research topics of 'Detecting common mode failures in N-version software using weakest precondition analysis'. Together they form a unique fingerprint.

  • Cite this

    Yoon, G. S., Cha, S. D., Kwon, Y. R., & Yoo, C. H. (1997). Detecting common mode failures in N-version software using weakest precondition analysis. 272-280. Paper presented at Proceedings of the 1997 Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC'97 and ICSC'97, Hong Kong, Hong Kong, .