1

정적 분석을 이용한자바스크립트 Concolic 테스팅

2014.07.29

KAIST PLRG

배소라 , 류석영

교수님

2

자바스크립트 테스팅은 어렵다

• 생성해야 할 input 에 대한 정보가 없다 .

– Dynamic nature 와 loosely-typed system

3

정적 분석Concolic 테스팅

해결 방법Input 에 관한 정보

테스트 데이터

4

정적 분석을 이용하면

• 정적 언어와 같은 출발점에서 시작할 수 있다 .

– 동적 분석과 달리 , 프로그램 테스트 전에 충분한 정보

5

정적 분석을 이용하면

• 적은 시도로 프로그램 테스트 할 수 있다 .

6

프레임워크

7

프레임워크

정적 분석

Concolic 실행

Solver정보

조건

Test case

8

예제

9

예제

정적 분석 Concolic 실행

Solver

정보

조건

Test case

x 의 type: ‘Stu-dent’

‘Student’ 의 속성 : ‘score’

10

예제

정적 분석 Concolic 실행

Solver

정보

조건

Test case

x 의 type: ‘Stu-dent’

‘Student’ 의 속성 : ‘score’

x s0s0.score <

50

11

예제

정적 분석 Concolic 실행

Solver

정보

조건

Test case

x 의 type: ‘Stu-dent’

‘Student’ 의 속성 : ‘score’

x s0s0.score <

50

12

앞으로

• 다양한 벤치마크에 대한 실험

• 테스팅을 위한 ‘정적 분석 사용 API’ 추출

13

감사합니다 .