프로그램 분석

프로그램 분석(program analysis)은 자동으로 컴퓨터 프로그램의 동작을 분석하는 일이다. 프로그램 분석 방법은 크게 정적 프로그램 분석과 동적 프로그램 분석으로 나눌 수 있다. 프로그램 분석은 주로 프로그램 최적화와 프로그램 정확도 분석에 이용된다.

소프트웨어 개발 프로세스
활동과 단계
요구사항 분석 · 기능 명세 구조 · 설계 구현 · 테스팅 배치 · 유지보수
개발 모형
애자일 소프트웨어 개발 · 클린룸 DSDM · 순차점증적 개발 · 반복형 개발 RAD · RUP · 나선 모형 폭포수 모델 · 익스트림 프로그래밍 스크럼 · V 모델 · TDD
지원 활동
구성 관리 · 문서화 품질보증 · 프로젝트 관리 사용자 경험 설계
도구
컴파일러 · 디버거 · 프로파일러 GUI 디자이너 · 통합 개발 환경
v t e

아래에 프로그램 분석과 관련된 기술들이 있다.

• 타입 시스템
• 요약 해석
• 프로그램 검증
• 모델 검증

같이 보기

• 프로파일링 (컴퓨터 프로그래밍)