지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 정보과학회논문지 : 소프트웨어 및 응용 정보과학회논문지 : 소프트웨어 및 응용 제38권 제4호
- 발행연도
- 2011.4
- 수록면
- 179 - 187 (9page)
이용수
초록· 키워드
오류제보하기
대부분의 임베디드 소프트웨어는 적은 메모리와 사용자 입/출력이 제한되기 때문에 기존의 테스팅 기술을 그대로 적용하는 것이 어렵다. 테스팅은 직접 실행해서 결과를 확인하는 방식이기 때문에 일반적으로 테스팅 프레임웍 또는 관련 라이브러리와 링크되어 실행되는데 이렇게 할 경우 실행파일의 크기가 증가되어 임베디드 환경에서 동작하지 않을 수가 있으며 설사 테스팅을 수행하더라도 적절한 출력 장치를 갖춘 경우가 드물기 때문에 결과를 확인하기가 어렵다. 따라서 임베디드 소프트웨어에서는 코드를 직접 실행하지 않으면서 문제점들을 찾을 수 있는 기술이 필요하다. 다른 문제로써 임베디드 소프트웨어는 지속적으로 버전이 업그레이드 되는데 반하여 하드웨어의 경우 재설계로 인한 비용이 발생되기 때문에 초기에 설계된 구성을 변경하지 못하고 사용하는 경우가 많은데 이 경우 하드웨어 재설계를 진행하기에 앞서 코드 리팩토링 기법을 먼저 적용함으로써 적은 비용으로 실행파일의 크기를 감소시키는 것이 가능하다. 본 논문에서는 코드 리팩토링을 통하여 증가하는 임베디드 소프트웨어의 크기를 감소시켰고 소프트웨어의 정확성을 높이기 위해서 모델검증 도구를 적용하였다.
목차
요약
Abstract
1. 서론
2. 관련 연구
3. 임베디드 소프트웨어 검증
4. ET 시스템의 개선 효과
5. 결론
참고문헌
참고문헌 (16)
참고문헌 신청
1. [단행본] - 홍성수 / 2004 / 하드웨어 엔지니어 관점에서 본 임베디드 소프트웨어에 대한 편견과 핵심 이슈들 / KAIST PRESS
2. [학술지(정기간행물)] - Tom Mens / 2004 / A Survey of Software Refactoring / IEEE Transactions on Software Engineering 30 (2) : 126 ~ 139
3. [단행본] - Kent Beck / 1999 / Extreme Programming Explained: Embrace Change / ADDISON-WESLEY
4. [단행본] - Martin Fowler / 1999 / Refactoring: Improving the Design of Existing Code / ADDISON-WESLEY
5. [단행본] - M. Huth / 2004 / Logic in Computer science / Cambridge University Press
2. [학술지(정기간행물)] - Tom Mens / 2004 / A Survey of Software Refactoring / IEEE Transactions on Software Engineering 30 (2) : 126 ~ 139
3. [단행본] - Kent Beck / 1999 / Extreme Programming Explained: Embrace Change / ADDISON-WESLEY
4. [단행본] - Martin Fowler / 1999 / Refactoring: Improving the Design of Existing Code / ADDISON-WESLEY
5. [단행본] - M. Huth / 2004 / Logic in Computer science / Cambridge University Press
이 논문의 저자 정보
이 논문과 함께 이용한 논문
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2012-569-004458781