국방 무기 체계 SW 품질 향상을 위한 Concolic 테스팅 기술Concolic Testing to Improve SW Quality of Defense Weapon System
국방 무기 체계 SW 품질 향상을 위해 노동집약적 수작업 SW 테스트 관행이 아닌, 테스트 입력을 자동으로 그리고 체계적으로 생성하는 것이 필요하다. 본 연구는 concolic 테스팅을 국방 무기 체계 SW에 적용해 높은 커버리지의 테스트 입력값을 효과적으로 생성하고, 결함을 발견하여 SW의 품질 향상에 기여했다. 또한 concolic 테스팅을 확장 적용할 수 있도록 심볼릭 모델링 방법을 예시로 제안했다.
- Publisher
- 한국정보과학회
- Issue Date
- 2018-12-20
- Language
- Korean
- Citation
2018 한국소프트웨어종합학술대회
- 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.