기술보고서 · 2015.01
통계적 소프트웨어 안전 입증의 가능성과 한계
Determining Software Safety: Understanding the Possibilities and Limitations of International Safety
자료 개요
Julia V. Bukowski는 IEC 61508-7 Annex D의 통계적 테스트를 입력 독립성·분포, 내부 상태와 올바른 출력 판정 조건에 비추어 설명합니다. 고장 없는 운용 시간만으로는 충분하지 않다는 논의는 AI 검증의 표본 가정을 점검하는 배경이 됩니다.
출판·판본 정보
공개 출판사 PDF 사본입니다. 표지·게시일·후대 사본의 저작권 연도는 구분했습니다.