문제 9) 임베디드 소프트웨어 테스트(Embeded Software Test) 답) 초연결 사회를 위한 임베디드 소프트웨어 테스트 품질의 필요성산업용 임베디드 소프트웨어는 오동작 또는 불량으로 인한 피해가 매우 크므로 신뢰성, 품질이 중요함2. 임베디드 소프트웨어의 테스트 제약과 테스트의 주요 방법. 임베디드 소프트웨어 테스트 제약 사항테스트 제약 사항 테스트 기법 테스트 접근 방향산업용 임베디드 소프트웨어 품질 확보의 가장 중요한 과정으로 대부분의 결함이 테스트 과정에서만 식별 가능B. 임베디드 소프트웨어 테스트의 주요 기법구분 기법 항목 설명 테스트 모델Dess-V:상위에서는 통합 검증을 실시하고, 꼴찌에서 SW상세를 검증하는 모델(H/W테스트 연계 부분을 고려하여 테스트를 수행한다)Multiple V:V모델 베이스 모델에서 임베디드 시스템 개발 방식을 정형화된 개발 모델 임베디드 시스템은 모델 → Prototype→ 최종 제품 소프트웨어 테스트 기법(ISO29119-Part4)명세 기반 기법 주요 테스트 기법 등 분할, 경계 값 분석, 결정 테이블, 페어 와이즈 조합, 직교 배열, 분류 트리, 상태 전이 시험 상태 전이 시험 기법 등 많은 테스트 방식을 이용하고 있다,MC/DC테스트 MC/DC테스트 전체의 조건식 결과에 독립적 영향을 주는 테스트 모든 조건에 맞게 수행하는 테스트 경험 기반 기법 주요 테스트 기법 특성, 에러 추정, 체크 리스트 탐색적 시험 탐색적 시험 테스트 전세를 바탕으로 정해진 시간 안으로 휴리스틱 스틱스·하드웨어·테스트 기법 검사 기법 주요 시험 기법 블랙 박스, 회색 박스 화이트 박스 물리적 기법 경계 스캔(Boundary Scan)반도체 등의 PCB통합 회의호 검사 등에서 사용 JTAG(Joint Test Action Group)에서 개발, IEEE기준 1491, 표준,BSDL(Boundary Scan Description Language)기능 테스트 기법 Record and Replay이벤트 기반 시스템에서 발생하는 각종 행사와 그 발생 시간을 보존하여 보존된 이벤트를 다시 실행시키고 문제점을 찾기 테스트 기법 도입 기능 안전 표준ISO/IEC Guide51: 제품규격 안전규정 가이드라인 ISO/DIS26262 : 자동차 기능안전규격 MISRA 코딩규칙 : ISO26262 Part6 SW 요구사항에 따른 코딩규칙(자동차, 철도 등 산업제품 사용) IEC 61508 : 기능안전표준 IEC 60601/62304 : 의료기기 안전규격 IEC 61511 : 프로세스 산업안전규격 DO-178 BC : 항공안전 소프트웨어 인증표준 기존 소프트웨어 테스트와 임베디드 소프트웨어 테스트 방식의 프로세스 절차와 자동화 솔루션 도입 필요3. 내장 소프트웨어의 테스트 케이스와 자동화 툴의 종류가. 임베디드 소프트웨어 테스트 사례(Consumer Electronics – 전자제품 테스트)에러유형 원인분석 대처방안 테스트 목적 고객 전자제품 임베디드 DTV board set 소스코드 기능분석(함수, 자료형, 제어흐름, 스크립트 등 기능) 소스코드 구조분석과 제품 정확성, 신뢰성, 안정성 준수여부 목적 메모리 에러 동일 위치, 입력에 따라 프로그램 출력이 상이한 프로그램 상태 의존적, 입력 영향, 에러원인등파악입력다른위치발생프로그램입력에의한다른위치오류검출시험전프로그램상태설정개발자에게보고AbortedSignal발생프로그램내예외처리루틴실행해당케이스확인후개발자에게보고시간초과기본생성자에서발생무한루프의심개발자에게보고임입소프트웨어테스트전문기업인슈어소프트테크㈜(2008.11)전자제품테스트요건과사례를설명함B. 임베디드 소프트웨어 테스트 자동화 툴의 종류B. 임베디드 소프트웨어 테스트 자동화 툴의 종류구분 항목 설명 상용 소스(인터페이스 기반 테스트 솔루션)AMOS(Analytic Master Of System)(현대 자동차-이화 여대)현대/기아 자동차 표준 검증 프로세스 양산 검증 도구로 선정되고 차량인 포테잉멩토시스템의 최종 품질 인증 수행 Justitia(삼성 전자-이화 여대)ARM9T계열의 32bit마이크로 프로세서의 임베디드 소프트웨어 테스트 툴 활용 TestOpia(삼성 전자-64bit마이크로 프로세서 임베디드 리크 시 2.6버전의 임베디드 소프트웨어 테스트 툴 활용 TestOpia(삼성 전자 Checked)비즈니스 분석 툴 Josse-Checkedicodeseic,Memory Leak(누수)GDB임베디드 시스템 테스트 동적 데밧가츠ー루 예)논리 버그 버그 구간 설정(계산 문장)현재 산업용 임베디드 소프트웨어 테스팅 전략, 기법이 적용된 자동화 툴의 도입과 이 산업에 필요한 전문 인력 육성과 법/제도 도입이 시급구분항목설명 상용소스(인터페이스 기반 테스트 솔루션) AMOS(Analytic Master Of System)(현대차-이화여대) 현대/기아차 표준검증 프로세스 양산 검증도구로 선정되어 차량 인포테인먼트 시스템의 최종 품질인증 수행 Justitia(삼성전자-이화여대) ARM9T 계열의 32bit 마이크로프로세서 임베디드 소프트웨어 테스트 도구 활용 TestOpia(삼성전자-64bit 마이크로프로세서 임베디드 리크 시 2.6버전 임베디드 소프트웨어 테스트 도구 활용 TestOpia(삼성전자-Checked) 비즈니스 분석 도구 Josse-Checkedicodeseic, Memory Leak(누수) GDB 임베디드 시스템 테스트 동적 디버거 툴 예) 로직 버그, 버그 구간 설정(계산문장) 현재 산업용 임베디드 소프트웨어 테스팅 전략, 기법이 적용된 자동화 툴 도입과 이 산업에 필요한 전문인력 육성과 법/제도 도입이 시급함
