DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Sungwon Kang | - |
dc.contributor.advisor | 강성원 | - |
dc.contributor.author | Jin-Sol Kim | - |
dc.date.accessioned | 2022-04-27T19:31:48Z | - |
dc.date.available | 2022-04-27T19:31:48Z | - |
dc.date.issued | 2021 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=963353&flag=dissertation | en_US |
dc.identifier.uri | http://hdl.handle.net/10203/296087 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 전산학부, 2021.8,[iii, 20 p. :] | - |
dc.description.abstract | It is important to test products created from software product line as products that have not been verified may potentially cause substantial financial losses or even human casualties. There are many testing methods being used to test a software product family, but there is no research yet that uses Concolic testing. Concolic testing is a testing method for single products that automatically generates program inputs by using both concrete and symbolic execution. Because Concolic testing focuses on detecting bug in real-life software and excels over other state-of-the-art testing techniques in code coverage, it will be useful when used for testing software product families. This paper introduces a method that uses Concolic testing to efficiently generate test cases for a software product family, with experimental results showing a significant number of test cases being reused. | - |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | Software engineering▼aSoftware product line testing▼aConcolic testing | - |
dc.subject | 소프트웨어 공학▼a소프트웨어 제품 라인 테스팅▼a콘콜릭 테스팅 | - |
dc.title | Using concolic testing to generate test cases for software product line | - |
dc.title.alternative | 콘콜릭 테스팅을 사용한 소프트웨어 제품 라인을 위한 테스트케이스 생성 방법 | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 325007 | - |
dc.description.department | 한국과학기술원 :전산학부, | - |
dc.contributor.alternativeauthor | 김진솔 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.