1 / 13

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

정적 분석을 이용한 자바스크립트 Concolic 테스팅. 2014.07.2 9 KAIST PLRG 배소라 , 류석영 교수 님. 자바스크립트 테스팅은 어렵다. 생성해야 할 input 에 대한 정보가 없다 . Dynamic nature 와 loosely-typed system. 해결 방법. Input 에 관한 정보. 정적 분석. Concolic 테스팅. 테스트 데이터. 정적 분석을 이용하면. 정적 언어와 같은 출발점에서 시작할 수 있다 . 동적 분석과 달리 , 프로그램 테스트 전에 충분한 정보.

tieve
Download Presentation

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

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

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. 감사합니다.

More Related