정확성

1. 개요

정확성은 프로그램이 주어진 입력에 대해 명세에 따라 항상 올바른 결과를 출력하는 것을 의미한다. 정형 기법은 수학적, 논리적 방법을 사용하여 시스템의 정확성을 증명하며, 정지 문제로 인해 프로그램 정확성 검증이 완전 자동화될 수 없다는 것이 밝혀졌다. 정확성 검증 기법으로는 테스트, 정적 분석, 모델 검사 등이 있다. 대한민국은 소프트웨어 중심 사회로 전환됨에 따라 정부, 산업계, 학계에서 소프트웨어 정확성 확보를 위한 노력이 이루어지고 있으며, 인공지능 및 자율주행차와 같은 복잡한 시스템의 정확성 검증, 소프트웨어 개발 인력의 전문성 강화 등은 해결해야 할 과제로 남아있다.

더 읽어볼만한 페이지

• 소프트웨어 품질 - 신뢰성 공학
  신뢰성 공학은 제품이나 시스템이 정해진 기간 동안 지정된 조건에서 의도된 기능을 수행할 확률을 다루는 공학 분야이며, 확률, 의도된 기능, 기간, 조건을 고려하여 시스템의 신뢰성을 높이고, 신뢰성 시험 및 다양한 기법을 활용하여 안전 공학 및 제조업 분야에서 중요한 역할을 한다.
• 소프트웨어 품질 - 소프트웨어 위기
  소프트웨어 위기는 1968년에 시작되어 소프트웨어 개발의 복잡성 증가로 인한 개발 비용 상승, 일정 지연, 품질 저하 등의 문제점을 나타내며, 객체 지향 프로그래밍과 애자일 개발 프로세스 등의 방법론으로 대응하지만, 최근에는 임베디드 시스템 소프트웨어 문제로 이어지고 있다.
• 이론 컴퓨터 과학 - 알고리즘
  알고리즘은 문제 해결을 위한 명확하고 순서화된 유한 개의 규칙 집합으로, 알콰리즈미의 이름에서 유래되었으며, 수학 문제 해결 절차로 사용되다가 컴퓨터 과학에서 중요한 역할을 하며 다양한 방식으로 표현되고 효율성 분석을 통해 평가된다.
• 이론 컴퓨터 과학 - 자동화된 추론
  자동화된 추론은 컴퓨터 프로그램을 사용하여 논리적 추론을 수행하는 인공지능 분야로, 수리 논리학의 발전과 초기 연구를 통해 자동 정리 증명 분야의 기틀을 마련했으며, AI 겨울을 겪었지만 소프트웨어 검증 등 다양한 분야에 활용되며 Coq, HOL Light 등의 증명 보조기가 개발되어 난제들의 형식적 증명에 기여했다.