효과적인 내장형 소프트웨어의 정수 확장(Integer Promotion) 버그 검출 기법Effective Integer Promotion Bug Detection Technique for Embedded Software
| DC Field | Value | Language |
|---|---|---|
| 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.accessioned | 2016-11-09T04:50:05Z | - |
| dc.date.available | 2016-11-09T04:50:05Z | - |
| dc.date.created | 2016-10-12 | - |
| dc.date.created | 2016-10-12 | - |
| dc.date.issued | 2016-06 | - |
| dc.identifier.citation | 정보과학회논문지 : 소프트웨어 및 응용, v.43, no.6, pp.692 - 699 | - |
| dc.identifier.issn | 1229-6848 | - |
| dc.identifier.uri | http://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.language | English | - |
| dc.publisher | 한국정보과학회 | - |
| dc.title | 효과적인 내장형 소프트웨어의 정수 확장(Integer Promotion) 버그 검출 기법 | - |
| dc.title.alternative | Effective Integer Promotion Bug Detection Technique for Embedded Software | - |
| dc.type | Article | - |
| dc.type.rims | ART | - |
| dc.citation.volume | 43 | - |
| dc.citation.issue | 6 | - |
| dc.citation.beginningpage | 692 | - |
| dc.citation.endingpage | 699 | - |
| dc.citation.publicationname | 정보과학회논문지 : 소프트웨어 및 응용 | - |
| dc.identifier.kciid | ART002114229 | - |
| 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.keywordAuthor | software testing | - |
| dc.subject.keywordAuthor | embedded software | - |
| dc.subject.keywordAuthor | integer promotion bug | - |
| dc.subject.keywordAuthor | dynamic symbolic execution | - |
- Appears in Collection
- CS-Journal Papers(저널논문)
- Files in This Item
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.