데이터 흐름 분석 (Data-Flow Analysis) 1. 개요 데이터 흐름 분석(Data-Flow Analysis)이란 프로그램의 실행 경로를 따라 데이터의 상태와 값이 어떻게 변화하는지를 추적하여 프로그램의 특성을 파악하는 정적 분석(Static Analysis) 기법이다. 정적 분석이란 프로그램을 실제로 실행하지 않고 소스 코드나 중간 표현(Inte…
검색 결과
"추상 해석"에 대한 검색 결과 (총 2개)
정형 검증 (Formal Verification) 1. 개요 정형 검증(Formal Verification)이란 수학적 모델과 논리적 추론을 사용하여 소프트웨어나 하드웨어 시스템이 설계 명세(Specification)를 엄격하게 준수하는지를 증명하는 소프트웨어 공학 기법이다. 일반적인 소프트웨어 테스트(Testing)가 특정 입력값의 집합을 선택해 실행 결…