지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 정보과학회논문지 : 소프트웨어 및 응용 정보과학회논문지 : 소프트웨어 및 응용 제40권 제2호
- 발행연도
- 2013.2
- 수록면
- 90 - 98 (9page)
이용수
이 논문의 연구 히스토리 (2)
- 이 논문의 후속연구가 궁금하신가요?
- 연관 학술논문 또는 학술발표를 통해 보다 발전된 연구결과를 확인하실 수 있습니다.
- 이 논문의 연구 히스토리 확인하기
초록· 키워드
오류제보하기
기존 소프트웨어 테스팅 기법은 개발자가 수동으로 테스트 케이스를 작성해야 하는 비효율성으로 인해 임베디드 소프트웨어의 안정성 확보에 어려움이 있다. Concolic 테스팅 기법은 자동으로 소프트웨어 테스트 케이스를 생성함으로써 기존 소프트웨어 테스팅 기법의 문제를 해결했지만, 임베디드 소프트웨어 테스트에 필수적인 bitwise 연산을 지원하지 않는 문제가 있었다. 본 논문에서는 임베디드 소프트웨어를 위해 bitwise 연산을 지원하는 Concolic 테스팅 개선 방법을 연구하고 오픈 소스 임베디드 소프트웨어 Busybox에 적용하여 기존 연구와 분기 커버리지 및 실행 속도를 비교하였다. Busybox의 10개 유틸리티에 적용한 결과 기존 연구 결과 대비 평균 33%의 분기 커버리지 향상이 있었다. 또한, CREST-BV의 성능 저하 원인을 분석하였다.
목차
요약
Abstract
1. 서론
2. 관련 연구
3. CREST-BV: Bitwise 연산을 지원하는 Concolic 테스팅 도구 확장
4. CREST-BV 적용 사례 연구
5. CREST-BV 성능 분석
6. 결론 및 향후 연구
참고문헌
참고문헌 (23)
참고문헌 신청
1. [단행본] - Nancy Leveson. / 1995 / Software: System Safety and Computers / Addison-Wesley
2. [인터넷자원] - / / FDA Alerts and Notices
3. [인터넷자원] - / / Toyota: Software to blame for Prius brakes problems
4. [학술지(정기간행물)] - C. Pasareanu. / 2009 / A Survey of New Trends in Symbolic Execution for Software Testing and Analysis / STTT 11 (4) : ~
5. [학술대회논문] - C. Cadar. / 2011 / Symbolic Execution for Software Testing in Practice-Preliminary Assessment / ICSE
2. [인터넷자원] - / / FDA Alerts and Notices
3. [인터넷자원] - / / Toyota: Software to blame for Prius brakes problems
4. [학술지(정기간행물)] - C. Pasareanu. / 2009 / A Survey of New Trends in Symbolic Execution for Software Testing and Analysis / STTT 11 (4) : ~
5. [학술대회논문] - C. Cadar. / 2011 / Symbolic Execution for Software Testing in Practice-Preliminary Assessment / ICSE
이 논문의 저자 정보
이 논문과 함께 이용한 논문
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2014-569-000319825