카이제곱 검정

반복성 한계 [latex]r[/latex]은 반복성 표준편차([latex]s_r[/latex])에서 도출된 임계값입니다. 이는 반복성 조건에서 얻은 두 번의 단일 검사 결과 간의 최대 예상 절대 차이를 95% 확률로 나타냅니다. 일반적으로 [latex]r = 2.8 times s_r[/latex]로 계산됩니다. 차이가 [latex]r[/latex]을 초과하면 결과는 의심스러운 것으로 간주됩니다.

스파이럴 모델은 프로토타이핑과 워터폴 모델의 요소를 결합한 위험 중심의 소프트웨어 개발 프로세스 모델입니다. 이는 프로젝트가 각 반복(나선형)마다 네 단계(목표 설정, 위험 식별 및 해결, 개발 및 테스트, 다음 반복 계획)를 거치는 반복 개발 방식입니다. 스파이럴 모델은 지속적인 위험 분석을 강조합니다.

신호 탐지란 대규모 데이터 세트(일반적으로 자발적 보고 시스템)에서 약물과 이상 반응 간의 잠재적 인과 관계를 식별하는 과정입니다. 이는 불균형 분석으로 알려진 통계적 방법을 사용하여 예상보다 더 자주 보고된 약물-이상 반응 조합을 찾아냅니다. 일반적으로 사용되는 측정 지표는 보고 확률비(ROR)이며, 이 값이 1보다 크면 추가 조사가 필요한 잠재적 신호가 있음을 시사합니다.

UI 및 웹 디자인 분야에서 저명한 사용성 컨설턴트인 야콥 닐슨은 사용성을 다섯 가지 품질 구성 요소로 정의했습니다. 학습 용이성(사용자가 기본 작업을 처음 수행할 때 얼마나 쉬운가?), 효율성(학습 후 작업을 얼마나 빠르게 수행할 수 있는가?), 기억 용이성(사용자가 일정 기간 사용하지 않은 후에도 숙련도를 회복할 수 있는가?), 오류(사용자가 얼마나 많은 오류를 범하는가?), 만족도(사용하는 것이 얼마나 즐거운가?)가 그것입니다.

국제 표준 ISO 9241-11은 사용성을 "특정한 사용자가 특정 사용 환경에서 특정 목표를 효과적이고 효율적이며 만족스럽게 달성하기 위해 제품을 사용할 수 있는 정도"로 정의합니다. 이 정의는 사용성을 세 가지 명확하고 정량화 가능한 구성 요소로 나누어 측정하는 프레임워크를 제공함으로써, 순전히 주관적인 평가를 넘어섭니다.

형식 검증은 수학적 방법을 사용하여 형식 명세에 대한 시스템 설계의 정확성을 증명하거나 반증하는 것입니다. 특정 입력에 대해서만 버그의 존재를 보여줄 수 있는 테스트와 달리, 형식 검증은 모든 가능한 입력에 대해 버그가 없음을 증명할 수 있습니다. 형식 검증은 시스템의 형식 모델을 생성하고 모델 검증이나 정리 증명과 같은 기법을 사용하는 과정을 포함합니다.

BFT(비잔틴 장애 허용)는 시스템의 속성 중 하나로, 일부 구성 요소가 임의적이고 예측 불가능한 방식으로, 심지어 악의적인 행위(비잔틴 장애)로 인해 고장 나더라도 시스템이 정상적으로 작동하고 합의에 도달할 수 있도록 하는 기능입니다. 이는 단순한 시스템 충돌을 허용하는 것보다 훨씬 강력한 보장입니다. BFT를 구현하려면 최소 [latex]3f+1[/latex]개의 전체 구성 요소가 [latex]f[/latex]개의 결함 있는 악의적인 구성 요소를 허용해야 합니다.

RAID(Redundant Array of Independent Disks의 약자)는 데이터 중복성, 성능 향상 또는 둘 다를 위해 여러 개의 물리적 디스크 드라이브를 하나 이상의 논리적 단위로 결합하는 데이터 스토리지 가상화 기술입니다. RAID 레벨에 따라 신뢰성, 가용성, 성능 및 용량의 균형이 다릅니다. 예를 들어, RAID 1은 두 개의 디스크에 데이터를 미러링하는 반면, RAID 5는 최소 세 개의 디스크에 데이터와 패리티를 스트라이핑합니다.

애자일 프로젝트 관리는 프로젝트 수명 주기 전반에 걸쳐 반복적인 방식으로 프로젝트를 수행하는 접근법입니다. 대규모 프로젝트를 더 작고 관리하기 쉬운 작업으로 나누어 짧은 기간(스프린트) 동안 완료합니다. 이를 통해 빈번한 재평가, 계획 조정, 그리고 변화에 대한 유연한 대응이 가능합니다. 애자일 프로젝트 관리는 포괄적인 문서화와 경직된 계획보다는 고객 협업, 작동하는 소프트웨어, 그리고 변화에 대한 대응을 우선시합니다.