Concolic Execution

컴퓨터시스템응용기술사 제113회(2017년) 1교시 1-4번 · 10점

모범답안 목차 AI 작성 · 사람 검수 전

Concolic Execution(동적 심볼릭 실행)이란 Concrete(구체적) 실행과 Symbolic(심볼릭) 실행을 결합해, 실제 입력으로 프로그램을 실행하면서 경로조건을 수집하고 이를 변형해 새로운 테스트 입력을 자동 생성하는 테스트 기법을 말한다.

첫 문장만 공개합니다. 전체 답안은 앱에서 확인할 수 있습니다.