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

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

431 Views Download Presentation
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. 감사합니다.