지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers Journal of KIISE Journal of KIISE Vol.48 No.2
- 발행연도
- 2021.2
- 수록면
- 201 - 210 (10page)
- DOI
- 10.5626/JOK.2021.48.2.201
이용수
이 논문의 연구 히스토리 (2)
- 이 논문의 후속연구가 궁금하신가요?
- 연관 학술논문 또는 학술발표를 통해 보다 발전된 연구결과를 확인하실 수 있습니다.
- 이 논문의 연구 히스토리 확인하기
초록· 키워드
오류제보하기
본 논문은 Concolic 테스팅에서 실행 경로 내에 동일 분기문의 반복 횟수를 제한한 후 점진적으로 제한 횟수를 증가하는 새로운 탐색 전략을 제안하고, 이를 실제 테스트 생성에 적용하여 분기 커버리지 달성을 평가한 결과를 소개한다. 제안하는 탐색 전략인 반복 횟수 제한 탐색은 Concolic 탐색에 있어서 반복 횟수를 늘리는 방향으로의 실행 경로 탐색에 앞서, 반복 횟수가 제한된 상황 아래에서 이전에 탐색하지 않은 실행 경로를 먼저 탐색하게 우선 순위를 조정함으로써, 제한된 Concolic 테스팅 탐색 시간내에 다양한 실행 상황을 방문하도록 유도한다. 본 연구에서는 제안한 탐색 전략을 기존에 개발된 3종의 탐색 전략을 기반으로 적용하여 CREST 도구에 구현하였다. 4개의 오픈소스 C 프로그램을 대상으로 실험한 결과, 본 연구에서 제안하는 반복 횟수 제한 탐색 기법이 기존의 탐색 전략보다 높은 분기 커버리지를, 보다 짧은 시간 내에 달성함을 확인할 수 있었다.
목차
요약
Abstract
1. 서론
2. 최대 반복 횟수를 제한하는 경로 탐색 전략
3. 실험을 통한 평가
4. 관련 연구
5. 결론
References
참고문헌 (13)
참고문헌 신청
K. Sen, D. Marinov, and G. Agha, "CUTE: a concolic unit testing engine for C," Proc. of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 263-272, 2005.
Y. Kim, Y. Kim, T. Kim, G. Lee, Y. Jang, and M. Kim, "Automated Unit Testing of Large Industrial Embedded Software Using Concolic Testing," Proc. of the 28th IEEE/ACM International Conference on Automated Software Engineering, pp. 519-528, 2013.
Y. Park, S. Hong, M. Kim, D. Lee, and J. Cho, "Systematic Testing of Reactive Software with Non-deterministic Events: A Case Study on LG Electric Oven," Proc. of the 37th International Conference on Software Engineering, pp. 29-38. 2015.
Y. Kim, D. Lee, J. Baek, and M. Kim, "Concolic Testing for High Test Coverage and Reduced Human Effort in Automotive Industry," Proc. of the 41st International Conference on Software Engineering: Software Engineering in Practice, pp. 151- 160, 2019.
J.H. Andrews, L.C. Briand, Y. Labiche, and A.S. Namin, "Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria," IEEE Transactions on Software Engineering, Vol. 32, No. 8, pp. 608-624, 2006.
Y. Kim, Y. Kim, T. Kim, G. Lee, Y. Jang, and M. Kim, "Automated Unit Testing of Large Industrial Embedded Software Using Concolic Testing," Proc. of the 28th IEEE/ACM International Conference on Automated Software Engineering, pp. 519-528, 2013.
Y. Park, S. Hong, M. Kim, D. Lee, and J. Cho, "Systematic Testing of Reactive Software with Non-deterministic Events: A Case Study on LG Electric Oven," Proc. of the 37th International Conference on Software Engineering, pp. 29-38. 2015.
Y. Kim, D. Lee, J. Baek, and M. Kim, "Concolic Testing for High Test Coverage and Reduced Human Effort in Automotive Industry," Proc. of the 41st International Conference on Software Engineering: Software Engineering in Practice, pp. 151- 160, 2019.
J.H. Andrews, L.C. Briand, Y. Labiche, and A.S. Namin, "Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria," IEEE Transactions on Software Engineering, Vol. 32, No. 8, pp. 608-624, 2006.
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
반복 횟수를 제한한 경로 탐색을 통한 Concolic 테스팅의 커버리지 달성 향상
한국정보과학회 학술발표논문집
2019 .06
-
Automatic Test Case Generation through Concolic Testing to Improve SW Quality of Defense Weapon System
Journal of KIISE
2019 .09
-
Improving Applicability and Usability of a Concolic Testing Tool CROWN
Journal of KIISE
2018 .10
-
Concolic 단위 테스팅 기법을 사용한 효과적인 자동차SW 커버리지 향상
한국자동차공학회 추계학술대회 및 전시회
2018 .11
-
Assert 삽입을 통한 Concolic 단위 테스팅의 결함 검출력 향상
한국자동차공학회 춘계학술대회
2019 .05
-
Concolic Testing기법을 활용한 프로그래밍 실습 문항의 채점 개선에 관한 연구
한국정보과학회 학술발표논문집
2018 .12
-
국방 무기 체계 SW 품질 향상을 위한 Concolic 테스팅 기술
한국정보과학회 학술발표논문집
2018 .12
-
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
-
Concolic 테스팅을 활용한 차량 전장 소프트웨어의 유닛 테스트
한국자동차공학회 춘계학술대회
2021 .06
-
Smart Contract Weakness Analyzer Based on Concolic Testing
Journal of KIISE
2021 .06
-
다기능레이다의 다중 탐색영역 탐색운용기법
한국전자파학회논문지
2022 .01
-
성별에 따른 e스포츠 관련 기사 탐색 횟수 차이에 대한 연구
한국컴퓨터정보학회 학술발표논문집
2024 .07
-
근사모델 기반 효율적인 탐색방법을 통한 이산변수 최적화 알고리즘
대한기계학회 춘추학술대회
2017 .11
-
최적경로탐색을 위한 상품 검색시스템 개발
한국정보과학회 학술발표논문집
2024 .06
-
다수 무인기의 통신 연결성이 보장된 위험 근원지 추정 및 자율탐색 기법
한국항공우주학회지
2025 .02
-
고도를 달리하는 드론들의 협력에 의한 확률기반 목표물 탐색 방법
한국정보통신학회논문지
2017 .12
-
최신 위치정보기술을 결합한 차로별 경로배정 시스템 효과분석
대한교통학회 학술대회지
2021 .11
-
Neighbor Generation Strategies of Local Search for Permutation-based Combinatorial Optimization
한국컴퓨터정보학회논문지
2021 .10
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2021-569-001489714