국방 무기 체계 SW 품질 향상을 위한 Concolic 테스팅 기술Concolic Testing to Improve SW Quality of Defense Weapon System

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 310
  • 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.accessioned2019-04-16T05:30:07Z-
dc.date.available2019-04-16T05:30:07Z-
dc.date.created2019-04-05-
dc.date.issued2018-12-20-
dc.identifier.citation2018 한국소프트웨어종합학술대회-
dc.identifier.urihttp://hdl.handle.net/10203/260774-
dc.description.abstract국방 무기 체계 SW 품질 향상을 위해 노동집약적 수작업 SW 테스트 관행이 아닌, 테스트 입력을 자동으로 그리고 체계적으로 생성하는 것이 필요하다. 본 연구는 concolic 테스팅을 국방 무기 체계 SW에 적용해 높은 커버리지의 테스트 입력값을 효과적으로 생성하고, 결함을 발견하여 SW의 품질 향상에 기여했다. 또한 concolic 테스팅을 확장 적용할 수 있도록 심볼릭 모델링 방법을 예시로 제안했다.-
dc.languageKorean-
dc.publisher한국정보과학회-
dc.title국방 무기 체계 SW 품질 향상을 위한 Concolic 테스팅 기술-
dc.title.alternativeConcolic Testing to Improve SW Quality of Defense Weapon System-
dc.typeConference-
dc.type.rimsCONF-
dc.citation.publicationname2018 한국소프트웨어종합학술대회-
dc.identifier.conferencecountryKO-
dc.identifier.conferencelocation평창 휘닉스파크-
dc.contributor.localauthor김문주-
dc.contributor.nonIdAuthor박건우-
dc.contributor.nonIdAuthor이주현-
dc.contributor.nonIdAuthor송형곤-
dc.contributor.nonIdAuthor조규태-
Appears in Collection
CS-Conference 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