국방 무기 체계 SW 품질 향상을 위해 Concolic 테스팅을 통한 테스트 자동 생성Automatic Test Case Generation through Concolic Testing to Improve SW Quality of Defense Weapon System

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 317
  • Download : 0
DC FieldValueLanguage
dc.contributor.author박건우ko
dc.contributor.author이주현ko
dc.contributor.author송형곤ko
dc.contributor.author조규태ko
dc.contributor.author김윤호ko
dc.contributor.author김문주ko
dc.date.accessioned2020-01-16T02:20:23Z-
dc.date.available2020-01-16T02:20:23Z-
dc.date.created2020-01-15-
dc.date.created2020-01-15-
dc.date.created2020-01-15-
dc.date.issued2019-11-
dc.identifier.citation정보과학회논문지, v.46, no.9, pp.926 - 933-
dc.identifier.issn2383-630X-
dc.identifier.urihttp://hdl.handle.net/10203/271275-
dc.description.abstract국방 무기 체계 SW 품질 향상을 위해 노동집약적 수작업 SW 테스트 관행이 아닌, 테스트 입력을 자동으로 그리고 체계적으로 생성하는 것이 필요하다. 본 연구는 concolic 테스팅을 국방 무기 체계 SW에 적용해 높은 커버리지의 테스트 입력값을 효과적으로 생성하고, 결함을 발견하여 SW의 품질 향상에 기여하였다. 프로그램의 복잡성이 크고 전체 실행 경로가 많은 프로그램의 경우, concolic 테스팅의 효율을 높일 수 있는 방법(4개의 탐색 전략, LIA 로직)을 제안하였다. 또한, 실무자들이 concolic 테스팅을 확장 적용할 수 있도록 심볼릭 모델링 방법을 예시로 제안하였다.-
dc.languageKorean-
dc.publisher한국정보과학회-
dc.title국방 무기 체계 SW 품질 향상을 위해 Concolic 테스팅을 통한 테스트 자동 생성-
dc.title.alternativeAutomatic Test Case Generation through Concolic Testing to Improve SW Quality of Defense Weapon System-
dc.typeArticle-
dc.type.rimsART-
dc.citation.volume46-
dc.citation.issue9-
dc.citation.beginningpage926-
dc.citation.endingpage933-
dc.citation.publicationname정보과학회논문지-
dc.identifier.doi10.5626/JOK.2019.46.9.926-
dc.identifier.kciidART002502740-
dc.contributor.localauthor김문주-
dc.contributor.nonIdAuthor박건우-
dc.contributor.nonIdAuthor이주현-
dc.contributor.nonIdAuthor송형곤-
dc.contributor.nonIdAuthor조규태-
dc.description.isOpenAccessN-
dc.subject.keywordAuthorconcolic testing-
dc.subject.keywordAuthorsymbolic modeling-
dc.subject.keywordAuthorautomatic test case generation-
dc.subject.keywordAuthorsearch strategy-
dc.subject.keywordAuthorlogic-
dc.subject.keywordAuthorConcolic 테스팅-
dc.subject.keywordAuthor심볼릭 모델링-
dc.subject.keywordAuthor테스트 자동 생성-
dc.subject.keywordAuthor탐색 전략-
dc.subject.keywordAuthor로직-
Appears in Collection
CS-Journal Papers(저널논문)
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