Using concolic testing to generate test cases for software product line콘콜릭 테스팅을 사용한 소프트웨어 제품 라인을 위한 테스트케이스 생성 방법

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 242
  • Download : 0
DC FieldValueLanguage
dc.contributor.advisorSungwon Kang-
dc.contributor.advisor강성원-
dc.contributor.authorJin-Sol Kim-
dc.date.accessioned2022-04-27T19:31:48Z-
dc.date.available2022-04-27T19:31:48Z-
dc.date.issued2021-
dc.identifier.urihttp://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=963353&flag=dissertationen_US
dc.identifier.urihttp://hdl.handle.net/10203/296087-
dc.description학위논문(석사) - 한국과학기술원 : 전산학부, 2021.8,[iii, 20 p. :]-
dc.description.abstractIt 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.languageeng-
dc.publisher한국과학기술원-
dc.subjectSoftware engineering▼aSoftware product line testing▼aConcolic testing-
dc.subject소프트웨어 공학▼a소프트웨어 제품 라인 테스팅▼a콘콜릭 테스팅-
dc.titleUsing concolic testing to generate test cases for software product line-
dc.title.alternative콘콜릭 테스팅을 사용한 소프트웨어 제품 라인을 위한 테스트케이스 생성 방법-
dc.typeThesis(Master)-
dc.identifier.CNRN325007-
dc.description.department한국과학기술원 :전산학부,-
dc.contributor.alternativeauthor김진솔-
Appears in Collection
CS-Theses_Master(석사논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0