국방 무기 체계 SW 품질 향상을 위해 Concolic 테스팅을 통한 테스트 자동 생성Automatic Test Case Generation through 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 | 2020-01-16T02:20:23Z | - |
| dc.date.available | 2020-01-16T02:20:23Z | - |
| dc.date.created | 2020-01-15 | - |
| dc.date.created | 2020-01-15 | - |
| dc.date.created | 2020-01-15 | - |
| dc.date.issued | 2019-11 | - |
| dc.identifier.citation | 정보과학회논문지, v.46, no.9, pp.926 - 933 | - |
| dc.identifier.issn | 2383-630X | - |
| dc.identifier.uri | http://hdl.handle.net/10203/271275 | - |
| dc.description.abstract | 국방 무기 체계 SW 품질 향상을 위해 노동집약적 수작업 SW 테스트 관행이 아닌, 테스트 입력을 자동으로 그리고 체계적으로 생성하는 것이 필요하다. 본 연구는 concolic 테스팅을 국방 무기 체계 SW에 적용해 높은 커버리지의 테스트 입력값을 효과적으로 생성하고, 결함을 발견하여 SW의 품질 향상에 기여하였다. 프로그램의 복잡성이 크고 전체 실행 경로가 많은 프로그램의 경우, concolic 테스팅의 효율을 높일 수 있는 방법(4개의 탐색 전략, LIA 로직)을 제안하였다. 또한, 실무자들이 concolic 테스팅을 확장 적용할 수 있도록 심볼릭 모델링 방법을 예시로 제안하였다. | - |
| dc.language | Korean | - |
| dc.publisher | 한국정보과학회 | - |
| dc.title | 국방 무기 체계 SW 품질 향상을 위해 Concolic 테스팅을 통한 테스트 자동 생성 | - |
| dc.title.alternative | Automatic Test Case Generation through Concolic Testing to Improve SW Quality of Defense Weapon System | - |
| dc.type | Article | - |
| dc.type.rims | ART | - |
| dc.citation.volume | 46 | - |
| dc.citation.issue | 9 | - |
| dc.citation.beginningpage | 926 | - |
| dc.citation.endingpage | 933 | - |
| dc.citation.publicationname | 정보과학회논문지 | - |
| dc.identifier.doi | 10.5626/JOK.2019.46.9.926 | - |
| dc.identifier.kciid | ART002502740 | - |
| dc.contributor.localauthor | 김문주 | - |
| dc.contributor.nonIdAuthor | 박건우 | - |
| dc.contributor.nonIdAuthor | 이주현 | - |
| dc.contributor.nonIdAuthor | 송형곤 | - |
| dc.contributor.nonIdAuthor | 조규태 | - |
| dc.description.isOpenAccess | N | - |
| dc.subject.keywordAuthor | concolic testing | - |
| dc.subject.keywordAuthor | symbolic modeling | - |
| dc.subject.keywordAuthor | automatic test case generation | - |
| dc.subject.keywordAuthor | search strategy | - |
| dc.subject.keywordAuthor | logic | - |
| dc.subject.keywordAuthor | Concolic 테스팅 | - |
| 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.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.