DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Ryu, Sukyoung | - |
dc.contributor.advisor | 류석영 | - |
dc.contributor.author | Bae, Sora | - |
dc.contributor.author | 배소라 | - |
dc.date.accessioned | 2017-03-29T02:39:59Z | - |
dc.date.available | 2017-03-29T02:39:59Z | - |
dc.date.issued | 2016 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=649678&flag=dissertation | en_US |
dc.identifier.uri | http://hdl.handle.net/10203/221864 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 전산학부, 2016.2 ,[v, 23 p. :] | - |
dc.description.abstract | JavaScript broadens its uses from client-side web applications to mobile and smart appliance ap- plications, but testing JavaScript programs is not yet satisfactory. Researchers have not spent much attention on testing JavaScript programs, and existing coverage metrics and testing mechanisms for C and Java may not be applicable to JavaScript because of its extremely dynamic semantics without any compile-time checks. Because, in JavaScript, any variable may have six kinds of types during program evaluation, test cases with 100% coverage levels in terms of the existing coverage metrics for statically typed languages may miss test cases revealing faults in JavaScript. In this thesis, we identify characteristics of JavaScript that make thorough testing of JavaScript ap- plications more difficult than testing C and Java programs. To address such characteristics, we propose new partition-based coverage metrics that expose implicit execution flows using varying types. To gen- erate test cases satisfying the coverage metrics effectively, we develop type-guided search strategies for concolic testing using static analysis results. We evaluate the new coverage metrics and search strategies for concolic testing with open-source Tizen sample web applications. The experimental results show that our partition-based coverage metrics are practically usable in JavaScript testing and the type-guided search strategies generate test cases that reach high levels of the coverage metrics effectively. | - |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | JavaScript | - |
dc.subject | Concolic Testing | - |
dc.subject | Coverage Metrics | - |
dc.subject | Search Strategies | - |
dc.subject | Static Analysis | - |
dc.subject | 자바스크립트 | - |
dc.subject | 테스팅 | - |
dc.subject | 커버리지 매트릭스 | - |
dc.subject | 탐색 전략 | - |
dc.subject | 정적 분석 | - |
dc.title | Partition-based coverage metrics and type-guided search strategies in concolic testing for javascript applications | - |
dc.title.alternative | 자바스크립트 프로그램의 concolic 테스팅을 위한 partition-based 커버리지 매트릭스와 타입 우선 탐색 전략 | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 325007 | - |
dc.description.department | 한국과학기술원 :전산학부, | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.