서지주요정보
Using concolic testing to generate test cases for software product line = 콘콜릭 테스팅을 사용한 소프트웨어 제품 라인을 위한 테스트케이스 생성 방법
서명 / 저자 Using concolic testing to generate test cases for software product line = 콘콜릭 테스팅을 사용한 소프트웨어 제품 라인을 위한 테스트케이스 생성 방법 / Jin-Sol Kim.
발행사항 [대전 : 한국과학기술원, 2021].
Online Access 원문보기 원문인쇄

소장정보

등록번호

8038013

소장위치/청구기호

학술문화관(도서관)2층 패컬티라운지(학위논문)

MCS 21049

휴대폰 전송

도서상태

이용가능(대출불가)

사유안내

반납예정일

리뷰정보

초록정보

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.

검증되지 않은 제품은 잠재적으로 상당한 재정적 손실이나 인명 피해를 초래할 수 있으므로 소프트웨어 제품 라인에서 생성된 제품을 테스트하는 것이 중요하다. 소프트웨어 제품군을 테스트하기 위해 사용되는 많은 테스트 방법이 있지만 아직 콘콜릭 테스팅을 사용하는 연구는 없다. 콘콜릭 테스팅은 단일 제품에 대한 시험방법으로 콘크리트 엑세큐션과 심볼릭 엑세큐션을 병행하여 프로그램 입력을 자동으로 생성한다. 콘콜릭 테스팅은 실제 소프트웨어에서 버그를 감지하는 데 초점을 두고 다른 최첨단 테스트 기술보다 코드 커버리지가 뛰어나기 때문에 소프트웨어 제품군을 테스트하는 데 유용합니다. 이 논문에서는 콘콜릭 테스팅를 사용하여 소프트웨어 제품군에 대한 테스트 사례를 효율적으로 생성하는 방법을 소개합니다.

서지기타정보

서지기타정보
청구기호 {MCS 21049
형태사항 iii, 20 p. : 삽화 ; 30 cm
언어 영어
일반주기 저자명의 한글표기 : 김진솔
지도교수의 영문표기 : Sungwon Kang
지도교수의 한글표기 : 강성원
Including Appendix
학위논문 학위논문(석사) - 한국과학기술원 : 전산학부,
서지주기 References : p. 19
QR CODE qr code