국방 무기 체계 SW 품질 향상을 위한 Concolic 테스팅 기술Concolic Testing to Improve SW Quality of Defense Weapon System
| DC Field | Value | Language |
|---|---|---|
| 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.accessioned | 2019-04-16T05:30:07Z | - |
| dc.date.available | 2019-04-16T05:30:07Z | - |
| dc.date.created | 2019-04-05 | - |
| dc.date.issued | 2018-12-20 | - |
| dc.identifier.citation | 2018 한국소프트웨어종합학술대회 | - |
| dc.identifier.uri | http://hdl.handle.net/10203/260774 | - |
| dc.description.abstract | 국방 무기 체계 SW 품질 향상을 위해 노동집약적 수작업 SW 테스트 관행이 아닌, 테스트 입력을 자동으로 그리고 체계적으로 생성하는 것이 필요하다. 본 연구는 concolic 테스팅을 국방 무기 체계 SW에 적용해 높은 커버리지의 테스트 입력값을 효과적으로 생성하고, 결함을 발견하여 SW의 품질 향상에 기여했다. 또한 concolic 테스팅을 확장 적용할 수 있도록 심볼릭 모델링 방법을 예시로 제안했다. | - |
| dc.language | Korean | - |
| dc.publisher | 한국정보과학회 | - |
| dc.title | 국방 무기 체계 SW 품질 향상을 위한 Concolic 테스팅 기술 | - |
| dc.title.alternative | Concolic Testing to Improve SW Quality of Defense Weapon System | - |
| dc.type | Conference | - |
| dc.type.rims | CONF | - |
| dc.citation.publicationname | 2018 한국소프트웨어종합학술대회 | - |
| dc.identifier.conferencecountry | KO | - |
| 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.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.