Concolic Execution

컴퓨터시스템응용기술사 제113회 1교시 4번 문항으로, 과목은 SW공학/프로젝트관리입니다.

원문 문제

컴퓨터시스템응용기술사 제113회 4번. Concolic Execution

핵심 키워드

Concolic Execution
기호 실행
동적 기호 실행
제약 조건 솔빙
테스트 자동화
경로 커버리지

고득점 가이드 — 1. 개요

Concolic Execution 은 실제 입력값으로 프로그램을 구체적(Concrete) 으로 실행하면서, 동시에 동일 경로의 분기 조건을 기호(Symbolic) 변수로 수집하여 미탐색 분기에 도달하는 새 입력을 자동 생성하는 동적 기호 실행 기법이다. 순수 기호 실행의 경로 폭발 한계와 무작위 퍼징의 분기 탐색 부족 문제를 보완한다.

로그인하면 무료로 전문을 볼 수 있어요

변형 문제
답안 골격
고득점 가이드 전문

로그인하고 무료로 전문 보기

출제 이력

Concolic Execution기출 1문항
기호 실행기출 1문항
동적 기호 실행기출 1문항
제약 조건 솔빙기출 1문항
테스트 자동화기출 1문항
경로 커버리지기출 1문항

다른 회차에서 같은 키워드가 나온 문항이 아직 없어요.

같은 과목 문항

SW공학/프로젝트관리 기출 전체 보기 →