지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 발행연도
- 2004.2
- 수록면
- 590 - 593 (4page)
이용수
초록· 키워드
오류제보하기
Automatic test case generation for testing an embedded software is considered. Existing tools for test case generation such finite state machine or mutant test usually adopt top down approach and depend upon graphical transition and decision table, which makes it difficult to find out where the bugs exist. Also it is hard to describe the special features of embedded systems such as concurrent execution of individual components.
Most of embedded systems interacts with the real world, receiving signals through sensors or switches and sending output signals to actuators that somehow manipulate the environment. Embedded software controls the entire system based on the logics such as interpreting the sensor inputs and making the actuators to start or stop their intended operation. This study proposes an automatic test case generation procedure that tests the system starting from the control logics of sensors, switches and actuators and then their concurrent execution controls, and finally the entire system operation. Such a stepwise approach makes it easy to generate test cases to tell where the bugs of embedded software exist.
Most of embedded systems interacts with the real world, receiving signals through sensors or switches and sending output signals to actuators that somehow manipulate the environment. Embedded software controls the entire system based on the logics such as interpreting the sensor inputs and making the actuators to start or stop their intended operation. This study proposes an automatic test case generation procedure that tests the system starting from the control logics of sensors, switches and actuators and then their concurrent execution controls, and finally the entire system operation. Such a stepwise approach makes it easy to generate test cases to tell where the bugs of embedded software exist.
목차
Abstract
1. 서론
2. 단계적 테스트 케이스 생성
3. 구체적인 테스트 방법론
4. 결론
Reference
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
POF기반한 내장형 소프트웨어의 테스트 전략
한국경영과학회 학술대회논문집
2004 .02
-
임베디드 시스템 소프트웨어 테스트 방법
한국IT서비스학회 학술대회
2006 .01
-
복잡한 내장형 소프트웨어를 위한 테스트 모델 설계
한국경영과학회 학술대회논문집
2004 .02
-
UML 2.0 모델 기반의 교전통제 소프트웨어 아키텍처 개발
한국군사과학기술학회지
2007 .01
-
유비쿼터스 시대를 향한 임베디드 소프트웨어 발전 방향 및 개발 전략
Telecommunications Review
2003 .01
-
A Study on Developing Softwares for Automatic DEM Generation
Telecommunications Review
1994 .01
-
포획·재포획법에 의한 소프트웨어 테스트의 타당성 평가에 관한 연구
경영과학연구
1996 .12
-
단위 테스트를 위한 테스트 어서션 언어 설계 및 도구 구현
한국IT서비스학회지
2011 .01
-
외국어로서의 한국어 내포문 교육 연구
한국어 교육
2009 .01
-
임베디드 컴퓨터에서 프로세서 변경에 따른 영향 분석
한국군사과학기술학회지
2007 .01
-
변경 메서드 기반의 회귀 테스트 검증 범위 선택 및 검증 항목 우선순위 선정에 관한 연구
한국IT서비스학회지
2015 .01
-
엘리베이터 시뮬레이터를 활용한 임베디드 어플리케이션 소프트웨어 교수학습방법 연구
컴퓨터교육학회 논문지
2018 .11
-
System Level Specification and Software Synthesis of Multimedia Embedded Systems: PeaCE Approach
Telecommunications Review
2005 .01
-
모델기반 테스트 기법 및 무장통제장치 적용 사례
한국군사과학기술학회지
2017 .01
-
공학교육의 프로그램 학습성과 평가를 위한 코스 임베디드 평가의 적용 가능성 고찰
공학교육연구
2009 .01
-
An Approach to Automatic Generation of Fourth Normal Form for Relational Data Base
한국경영과학회지
1988 .06
-
상태모델에 기반한 소프트웨어 컴포넌트 명세의 정형적 테스트
컴퓨터교육학회 논문지
2004 .11
이 논문의 저자 정보
이 논문과 함께 이용한 논문
계산기반 단백질설계 소프트웨어의 분석 및 향후 접근방향의 제시
차제현
,
이목원
,
송찬영
외 2명
대한산업공학회 춘계공동학술대회 논문집
2014
.05
임베디드SW 개발을 위한 제품계열 개발방법론의 비교 및 평가
채종진
,
윤희병
한국정보과학회 학술발표논문집
2007
.06
〈서비스 과학의 출현〉 : 고신뢰성 임베디드 소프트웨어 개발 -최신 기술의 동향 및 사례 연구 : IPSJ Magazine Vol.47 No.5, May 2006
이성독
정보과학회지
2006
.07
소프트웨어 프로세스 개선활동이 조직성과에 미치는 영향
윤재욱
,
김인재
한국경영과학회지
2006
.03
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2009-325-017889475