효과적인 내장형 소프트웨어의 정수 확장 (Integer Promotion) 버그 검출 기법 


43권  6호, pp. 692-699, 6월  2016


PDF

  요약

세탁기, 냉장고 등의 가전제품에 탑재되는 8-bit MCU용 C 컴파일러는 소프트웨어 실행 속도를 높이기 위해 표준 C 언어 규칙을 따르지 않고 컴파일을 수행할 수 있다. 개발자가 일반 C 컴파일러와 8-bit MCU용 C 컴파일러의 차이를 정확하게 이해하지 못할 경우 표준 C 언어 환경에서는 발생하지 않으나 8-bit MCU를 사용하는 내장형 시스템에서는 발생하는 버그를 야기할 수 있으며 이런 버그는 표준 C언어 환경을 가정하는 버그 검출 도구로는 찾기 어렵다. 본 논문에서는 표준 C 정수 확장 규칙을 따르지 않는 8-bit MCU용 컴파일러를 사용할 때 발생하는 정수 확장 버그를 소개하고 정수 확장 버그를 탐지하기 위한 다섯 종류의 버그 패턴을 제안한다. 정수 확장 버그 패턴 검출 도구를 개발하여 LG전자 세탁기 소프트웨어를 분석한 결과 컴파일러 옵션을 잘못 선택한 경우 발생하는 27개의 정수 확장 버그를 발견하였다.


  통계
2022년 11월부터 누적 집계
동일한 세션일 때 여러 번 접속해도 한 번만 카운트됩니다. 그래프 위에 마우스를 올리면 자세한 수치를 확인하실 수 있습니다.
  논문 참조

[IEEE Style]

Y. Kim, T. Kim, M. Kim, H. Lee, H. Jang, M. Park, "Effective Integer Promotion Bug Detection Technique for Embedded Software," Journal of KIISE, JOK, vol. 43, no. 6, pp. 692-699, 2016. DOI: .


[ACM Style]

Yunho Kim, Taejin Kim, Moonzoo Kim, Ho-jung Lee, Hoon Jang, and Mingyu Park. 2016. Effective Integer Promotion Bug Detection Technique for Embedded Software. Journal of KIISE, JOK, 43, 6, (2016), 692-699. DOI: .


[KCI Style]

김윤호, 김태진, 김문주, 이호정, 장훈, 박민규, "효과적인 내장형 소프트웨어의 정수 확장 (Integer Promotion) 버그 검출 기법," 한국정보과학회 논문지, 제43권, 제6호, 692~699쪽, 2016. DOI: .


[Endnote/Zotero/Mendeley (RIS)]  Download


[BibTeX]  Download



Search




Journal of KIISE

  • ISSN : 2383-630X(Print)
  • ISSN : 2383-6296(Electronic)
  • KCI Accredited Journal

사무국

  • Tel. +82-2-588-9240
  • Fax. +82-2-521-1352
  • E-mail. chwoo@kiise.or.kr