지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers Journal of KIISE Journal of KIISE Vol.46 No.9
- 발행연도
- 2019.9
- 수록면
- 926 - 933 (8page)
- DOI
- 10.5626/JOK.2019.46.9.926
이용수
초록· 키워드
오류제보하기
국방 무기 체계 SW 품질 향상을 위해 노동집약적 수작업 SW 테스트 관행이 아닌, 테스트 입력을 자동으로 그리고 체계적으로 생성하는 것이 필요하다. 본 연구는 concolic 테스팅을 국방 무기 체계 SW에 적용해 높은 커버리지의 테스트 입력값을 효과적으로 생성하고, 결함을 발견하여 SW의 품질향상에 기여하였다. 프로그램의 복잡성이 크고 전체 실행 경로가 많은 프로그램의 경우, concolic 테스팅의 효율을 높일 수 있는 방법(4개의 탐색 전략, LIA 로직)을 제안하였다. 또한, 실무자들이 concolic 테스팅을 확장 적용할 수 있도록 심볼릭 모델링 방법을 예시로 제안하였다.
목차
요약
Abstract
1. 서론
2. Concolic 테스팅 및 Concolic 테스팅 툴 소개
3. Concolic 테스팅 기술 적용 연구
4. 실험 결과
5. 추가 논의 사항
6. 결론 및 향후 연구
References
참고문헌 (16)
참고문헌 신청
P. Carnes, "Software reliability in weapon systems," Proceedings The Eighth International Symposium on Software Reliability Engineering-Case Studies-, pp. 95-100, 1997.
H. G. Stuebing, "A Software Engineering Environment (SEE) for Weapon System Software," IEEE Transactions on Software Engineering, Vol. SE-10, No. 4, pp. 384-397, 1984.
R. Kannavara, C. J. Havlicek, B. Chen, M. R. Tuttle, K. Cong, S. Ray, F. Xie, "Challenges and opportunities with concolic testing," 2015 National Aerospace and Electronics Conference (NAECON), pp. 374-374, 2015.
C. Cadar, D. Dunbar, D. R. Engler, "KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs," 8th USENIX Symposium on Operating Systems Design and Implementation, pp. 209-224, 2008.
M. Kim, Y. Kim, Y. Jang, "Industrial application of concolic testing on embedded software: Case studies," IEEE Fifth International Conference on Software Testing, Verification and Validation, pp. 390-399, 2012.
H. G. Stuebing, "A Software Engineering Environment (SEE) for Weapon System Software," IEEE Transactions on Software Engineering, Vol. SE-10, No. 4, pp. 384-397, 1984.
R. Kannavara, C. J. Havlicek, B. Chen, M. R. Tuttle, K. Cong, S. Ray, F. Xie, "Challenges and opportunities with concolic testing," 2015 National Aerospace and Electronics Conference (NAECON), pp. 374-374, 2015.
C. Cadar, D. Dunbar, D. R. Engler, "KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs," 8th USENIX Symposium on Operating Systems Design and Implementation, pp. 209-224, 2008.
M. Kim, Y. Kim, Y. Jang, "Industrial application of concolic testing on embedded software: Case studies," IEEE Fifth International Conference on Software Testing, Verification and Validation, pp. 390-399, 2012.
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
국방 무기 체계 SW 품질 향상을 위한 Concolic 테스팅 기술
한국정보과학회 학술발표논문집
2018 .12
-
Concolic 단위 테스팅 기법을 사용한 효과적인 자동차SW 커버리지 향상
한국자동차공학회 추계학술대회 및 전시회
2018 .11
-
Assert 삽입을 통한 Concolic 단위 테스팅의 결함 검출력 향상
한국자동차공학회 춘계학술대회
2019 .05
-
Improving Applicability and Usability of a Concolic Testing Tool CROWN
Journal of KIISE
2018 .10
-
반복 횟수를 제한한 경로 탐색을 통한 Concolic 테스팅의 커버리지 달성 향상
한국정보과학회 학술발표논문집
2019 .06
-
Bounded Search Strategies of Concolic Testing for Effective and Efficient Structural Coverage Achievement
Journal of KIISE
2021 .02
-
Concolic Testing기법을 활용한 프로그래밍 실습 문항의 채점 개선에 관한 연구
한국정보과학회 학술발표논문집
2018 .12
-
Concolic 테스팅을 활용한 차량 전장 소프트웨어의 유닛 테스트
한국자동차공학회 춘계학술대회
2021 .06
-
Bitfield 심볼릭 지원을 통한 Concolic 테스팅 효과 향상
한국정보과학회 학술발표논문집
2018 .06
-
A Study on Improvement of Scoring in Programming Practice Questions Using Concolic Testing Technique
Journal of KIISE
2019 .11
-
OS-in-the-Loop Concolic Testing for Multitask Embedded Software
Journal of KIISE
2023 .02
-
무기체계 성능개량사업 SW 신뢰성 시험 효율적 검증 방안 연구
한국산학기술학회 논문지
2022 .07
-
개발단계 무기체계의 소프트웨어 품질검증체계 연구
한국산학기술학회 논문지
2023 .04
-
Smart Contract Weakness Analyzer Based on Concolic Testing
Journal of KIISE
2021 .06
-
공개 SW 연구개발 방식을 활용한 SW 연구개발 체계 고도화 방안
한국통신학회 학술대회논문집
2019 .06
-
SW가치확산을 위한 SW교육 설계
한국정보통신학회 여성 ICT 학술대회 논문집
2021 .08
-
SW 신뢰성시험 자동화를 통한 시험시간 단축 및 인적오류 감소 방안
한국컴퓨터정보학회논문지
2015 .10
-
SW 역량 인증제 관련 교과목 강의 평가 및 성과 분석
한국정보통신학회 종합학술대회 논문집
2022 .10
-
비전공자 SW 프로그래밍 교육과정 및 콘텐츠 개발 모형의 효과성 탐색 : SW 해결안의 시각적 표현을 중심으로
디지털콘텐츠학회논문지
2017 .11
-
공공 소프트웨어(SW) 사업정보 통합 관리체계의 개념적 설계에 관한 연구
한국전자거래학회지
2019 .05
이 논문의 저자 정보
이 논문과 함께 이용한 논문
최근 본 자료
댓글(0)
0