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

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 711
  • Download : 577
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.
Description
전산학과
Issue Date
1997-12-02
Language
English
Keywords

Detect; N-version

Citation

Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC, pp.272-280

ISBN
0-8186-8271-X
URI
http://hdl.handle.net/10203/801
Appears in Collection
NE-Conference Papers(학술회의논문)
Files in This Item
[20].pdf(712.33 kB)Download

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0