생명에 중요한 실시간 소프트웨어의 신뢰성을 정량화하는 것이 불가능함

이 연구는 생명에 중요한 소프트웨어 신뢰성을 정량화하는 것이 통계적 방법을 사용할 때 불가능하다는 것을 확인합니다. 이러한 방법이 표준 소프트웨어에 적용되든 결함 허용 소프트웨어에 적용되든 마찬가지입니다. 신뢰성을 추정하는 기존 방법은 생명에 중요한 소프트웨어에 적용될 때 과도한 테스트 작업을 초래하는 것으로 나타났습니다. 신뢰성 성장 모델을 검토한 결과도 과도한 테스트의 필요성을 극복할 수 없음을 보여줍니다. 소프트웨어 결함 허용의 핵심 가정인 별도로 프로그래밍된 버전이 독립적으로 실패한다는 것은 문제가 있는 것으로 밝혀졌습니다. 이 가정은 초신뢰 영역에서 실험으로 정당화될 수 없으며, 이를 지지하는 주관적인 주장의 강도가 이론으로서 정당화하기에는 충분히 강하지 않습니다. 최근의 다중 버전 소프트웨어 실험의 결과도 이 주장을 지지합니다.