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

concolic n.
Download
Skip this Video
Loading SlideShow in 5 Seconds..
정적 분석을 이용한 자바스크립트 Concolic 테스팅 PowerPoint Presentation
Download Presentation
정적 분석을 이용한 자바스크립트 Concolic 테스팅

play fullscreen
1 / 13
정적 분석을 이용한 자바스크립트 Concolic 테스팅
426 Views
Download Presentation
tieve
Download Presentation

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

- - - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript

  1. 정적 분석을 이용한자바스크립트 Concolic테스팅 2014.07.29 KAIST PLRG 배소라, 류석영 교수님

  2. 자바스크립트 테스팅은 어렵다 • 생성해야 할 input에 대한 정보가 없다. • Dynamic nature 와 loosely-typed system

  3. 해결 방법 Input에 관한 정보 정적 분석 Concolic 테스팅 테스트 데이터

  4. 정적 분석을 이용하면 • 정적 언어와 같은 출발점에서 시작할 수 있다. • 동적 분석과 달리, 프로그램 테스트 전에 충분한 정보

  5. 정적 분석을 이용하면 • 적은 시도로 프로그램 테스트 할 수 있다.

  6. 프레임워크

  7. 프레임워크 조건 정적 분석 Solver Concolic 실행 정보 Test case

  8. 예제

  9. 예제 x의 type: ‘Student’ ‘Student’의 속성: ‘score’ 조건 정적 분석 Solver Concolic 실행 정보 Test case

  10. 예제 x s0 s0.score < 50 x의 type: ‘Student’ ‘Student’의 속성: ‘score’ 조건 정적 분석 Solver Concolic 실행 정보 Test case

  11. 예제 x s0 s0.score < 50 x의 type: ‘Student’ ‘Student’의 속성: ‘score’ 조건 정적 분석 Solver Concolic 실행 정보 Test case

  12. 앞으로 • 다양한 벤치마크에 대한 실험 • 테스팅을 위한 ‘정적 분석 사용 API’ 추출

  13. 감사합니다.