효과적인 내장형 소프트웨어의 정수 확장(Integer Promotion) 버그 검출 기법Effective Integer Promotion Bug Detection Technique for Embedded Software

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 698
  • Download : 0
DC FieldValueLanguage
dc.contributor.author김문주ko
dc.contributor.author김윤호ko
dc.contributor.author김태진ko
dc.contributor.author이호정ko
dc.contributor.author장훈ko
dc.contributor.author박민규ko
dc.date.accessioned2016-11-09T04:50:05Z-
dc.date.available2016-11-09T04:50:05Z-
dc.date.created2016-10-12-
dc.date.created2016-10-12-
dc.date.issued2016-06-
dc.identifier.citation정보과학회논문지 : 소프트웨어 및 응용, v.43, no.6, pp.692 - 699-
dc.identifier.issn1229-6848-
dc.identifier.urihttp://hdl.handle.net/10203/213642-
dc.description.abstract세탁기, 냉장고 등의 가전제품에 탑재되는 8-bit MCU용 C 컴파일러는 소프트웨어 실행 속도를높이기 위해 표준 C 언어 규칙을 따르지 않고 컴파일을 수행할 수 있다. 개발자가 일반 C 컴파일러와8-bit MCU용 C 컴파일러의 차이를 정확하게 이해하지 못할 경우 표준 C 언어 환경에서는 발생하지 않으나 8-bit MCU를 사용하는 내장형 시스템에서는 발생하는 버그를 야기할 수 있으며 이런 버그는 표준 C 언어 환경을 가정하는 버그 검출 도구로는 찾기 어렵다. 본 논문에서는 표준 C 정수 확장 규칙을 따르지 않는 8-bit MCU용 컴파일러를 사용할 때 발생하는 정수 확장 버그를 소개하고 정수 확장 버그를 탐지하기위한 다섯 종류의 버그 패턴을 제안한다. 정수 확장 버그 패턴 검출 도구를 개발하여 LG전자 세탁기 소프트웨어를 분석한 결과 컴파일러 옵션을 잘못 선택한 경우 발생하는 27개의 정수 확장 버그를 발견하였다.-
dc.languageEnglish-
dc.publisher한국정보과학회-
dc.title효과적인 내장형 소프트웨어의 정수 확장(Integer Promotion) 버그 검출 기법-
dc.title.alternativeEffective Integer Promotion Bug Detection Technique for Embedded Software-
dc.typeArticle-
dc.type.rimsART-
dc.citation.volume43-
dc.citation.issue6-
dc.citation.beginningpage692-
dc.citation.endingpage699-
dc.citation.publicationname정보과학회논문지 : 소프트웨어 및 응용-
dc.identifier.kciidART002114229-
dc.contributor.localauthor김문주-
dc.contributor.nonIdAuthor김태진-
dc.contributor.nonIdAuthor이호정-
dc.contributor.nonIdAuthor장훈-
dc.contributor.nonIdAuthor박민규-
dc.subject.keywordAuthor소프트웨어 테스팅-
dc.subject.keywordAuthor내장형 소프트웨어-
dc.subject.keywordAuthor정수 확장 버그-
dc.subject.keywordAuthor동적 기호 실행-
dc.subject.keywordAuthorsoftware testing-
dc.subject.keywordAuthorembedded software-
dc.subject.keywordAuthorinteger promotion bug-
dc.subject.keywordAuthordynamic symbolic execution-
Appears in Collection
CS-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0