Path condition : Collection of predicates(boolean으로 return할수있는문장)

path condition을 찾아서 이들을 만족하는 각각의 input values의 set을 얻는다면, 해당하는 path을 cover한거임

• Search Based Testing : fomular로 만들지않고 임의로 탐색을 해서 이 contidion에 가장 가까운가를 찾는거 - symbolic function?)
• DSE(Dynamic Symbolic Execution; Concolic Testing) : formal하게 푸는거 (x0>0 and y≤0)

if(y>13) x=1;
else x=2;
y=50;
if(w==4) z=1;
else{
	while(...) z=z+1;
	y=0;
}

이거 branch 그려보기

test generation이 목적이니까 x값은 test generation에는 들어가지 않음(자동으로 생성되니까)

branch condition과 유사한 개념

Search-based Testing

meta-heuristic search algorithm

heuristic : 이 도메인에는 이렇게 푸니까 잘 풀리더라~ 라는 경험적 지식

항상 optimal한 solution은 아님 → 이건 알고리즘

Branch Dinstance