단위 기반의 단계적 임베디드 소프트웨어 테스트
Logic based Stepwise Embedded software test
- 발행기관 아주대학교 대학원
- 지도교수 장중순
- 발행년도 2004
- 학위수여년월 2005. 2
- 학위명 석사
- 학과 및 전공 일반대학원 공학계열
- 본문언어 한국어
초록/요약
기존 테스트 전략의 테스트 단위는 작은 모듈에서 시작하는 점증적 테스트와 전체 시스템을 테스트하는 빅뱅 테스트가 있다. 한편, 개발 단계에 필요한 테스트는 테스트를 통해 고장 원인을 신속하게 파악할 수 있어서 빠른 개선이 가능한 것이여 한다. 이에 적합한 방법론은 모듈 단위에서 단계적 절차를 밟아 문제 발생 지점을 파악하기 쉬운 점증적 테스트라고 할 수 있다. 그러나 점증적 테스트를 실행 하기 위해서는 하위나 다른 모듈을 대신한 스텁이나 상위 컴포넌트를 대신한 드라이버와 같은 추가적인 프로그래밍이 필요하며 그 개념이 일반적인 정보 시스템에 기반을 두어 임베디드의 특성을 반영하지 못하고 있다. 반면 빅뱅 테스트는 문제 발생 지점을 파악하기 어려운 단점을 가지고 있다. 여기서 제안하는 단위 기반의 단계적 테스트는 이 문제를 해결하기 위해 임베디드 소프트웨어의 동작에서 임베디드 소프트웨어가 가지는 크게 두 가지 흐름을 유추 했다. 초기화 에서 시작하여 종료에 이르는 프로그램 실행흐름과 프로그램 실행 흐름 중 실행 단계에서 발생하는 센서에서 시작하여 엑추에이터 구동에 이르는 작동흐름이다. 각 흐름은 단위에서 단위로 흐르는 단계가 존재하며 앞 단계에서 잘못된 실행은 다음단계로 흐름을 따라 전파되어 최종 동작에서 오류를 발생 시킨다. 이것을 에러 전파라 부른다. 이 전파가 고장이 발생 했을 때 원인을 파악하기 어렵게 만들며, 이 문제를 해결 하기 위해서 임베디드 소프트웨어 작동 흐름의 각 단계를 논리적으로 구분하여야 한다. 그 방법은 에러 전파를 관찰 하는 것이다. 단위 기반의 단계적 테스트에서는 작동흐름을 통한 전파를 관찰하기 위해 작동 흐름에 따라 다른 로직으로 전해지는 값을 파악하고 프로그램 실행 흐름으로 인한 에러 전파를 구별하기 위해서는 각 시점에서 다음 시점으로 이어지는 값에 대한 파악을 통해 기존 테스트 전략의 문제점을 해결하고 있다. 더불어 복잡한 임베디드 시스템을 보다 쉽게 모델링 하는 방법과 그를 이용한 자동화된 기대 값 생성 방법을 개발 하였고 더불어 단위에서 시작하여 메모리 누수 현상까지 테스트 하는 방법을 설명 하였다. 마지막으로 이를 바탕으로 한 실제 테스트 툴 모델을 제시 하였다.
more초록/요약
In this thesis I propose the new test strategy. Existing test strategies are the big bang test and the integration test in the view of test unit. But the big bang test makes it difficult to find out where the bugs exist. And the integration test needs stub and driver. So I make logic based stepwise test to solve these two problems. This test can show embedded software’s state with two flows that abstracted from embedded software behavior. First flow is running flow that is from setup to turns off. Second flow is acting flow that is from sensor to actuator. If we observe flow variable and test in flow sequence, this test strategy can check error propagation and can light up where error occurred. Also this not needs stub and driver. Also, I propose new modeling method that is easy to describe the special features of embedded systems such as concurrent execution of individual components and model of automatic test tool for embedded software that support logic based stepwise strategy.
more목차
본문차례(List of Text)
제 1 장 서론 = 1
1.1 연구의 목적 및 배경 = 1
1.2 기존 연구 = 2
1.3 연구 범위 및 내용 = 8
제 2 장 소프트웨어 테스트 = 9
2.1 소프트웨어의 테스트의 정의와 프로세스 = 9
2.2 테스트 전략의 테스트 단위 = 11
2.3 테스트 케이스 생성 = 13
2.4 테스트 수행 및 리포트 = 17
2.5 테스트 자동화 = 18
제 3 장 임베디드 소프트웨어 = 19
3.1 임베디드 소프트웨어의 정의 및 환경 = 20
3.2 임베디드 시스템 블록 = 21
3.3 임베디드 소프트웨어의 특수한 동작 = 23
3.4 임베디드 소프트웨어의 흐름과 에러 전파 = 25
제 4 장 단위 기반의 단계적 테스트 방법론 = 29
4.1 단위 기반 테스트 방법론 = 29
4.2 단위 기반 테스트의 전제 조건 = 30
4.3 단위 로직 모델링 = 31
4.4 2-스테이지 모델링 = 32
4.5 기준 정보 검사 = 33
4.6 단위 로직의 알고리즘 테스트 = 34
4.7 로직간 간섭 테스트(Logic inference) = 35
4.8 시간 기반 테스트 (Time dependent) = 37
4.9 기대 값 생성(Expected Result Generation) = 37
4.10 단위 기반 테스트의 이점 정리 = 39
제 5 장 테스트 자동화 시스템 구현 모델 = 40
제 6 장 적용 사례 = 43
6.1 테스트 대상 = 43
6.2 테스트 베드 구성 = 44
6.3 모델링 = 45
6.4 관찰 변수와 시점 및 계획 결정 = 46
6.5 테스트 케이스 생성과 테스트 수행 = 50
6.6 테스트 결과 = 53
제 7 장 결론 = 58
