| 1 |
1
차량용 전자 제어 장치에 탑재되는 소프트웨어를 검증하는 호스트 컴퓨터에 있어서,상기 전자 제어 장치에 탑재되는 검증 대상 소프트웨어에 대한 실험 모델을 생성하는 실험 모델 생성 모듈;상기 검증 대상 소프트웨어의 함수 호출 관계를 확정하는 호출 관계 분석 모듈;사용자로부터 상기 검증 대상 소프트웨어에 주입할 결함 정보를 입력 받아 결함 선택 정보를 생성하는 결함 선택 모듈; 상기 결함 선택 정보 및 상기 확정된 함수 호출 관계에 기반하여 결함 주입 코드를 생성하는 결함 주입 코드 생성 모듈; 및상기 결함 선택 정보 및 상기 결함 주입 코드를 상기 전자 제어 장치로 전송하는 제1 통신 모뎀을 포함하는 호스트 컴퓨터
|
| 2 |
2
제1항에 있어서,상기 실험 모델 생성 모듈은결함 주입 위치를 추출하는 수단;상기 추출된 결함 주입 위치에 결함 유형을 적용하는 수단;결함 주입 테스트가 자동화되도록 설정하는 수단;상기 결함 유형 별 자동화 가능 여부를 판단하는 수단; 및상기 판단 결과에 따라 상기 자동화가 불가능한 결함 유형을 제외하여 결함 주입 시나리오를 설정하는 수단을 포함하는 호스트 컴퓨터
|
| 3 |
3
제2항에 있어서,상기 결함 주입 위치는 상기 검증 대상 소프트웨어의 단위 및 통합 테스트 단계 별로 뮤테이션(Mutation) 연산자를 적용하여 추출되는 호스트 컴퓨터
|
| 4 |
4
제2항에 있어서,상기 오류 유형은 데이터 오류(Data Error), 프로그램 흐름 오류(Program Flow Error), 접근 오류(Access Error), 타이밍 오류(Timing Error) 및 비대칭 오류(Asymmetric Error)를 포함하는 호스트 컴퓨터
|
| 5 |
5
제1항에 있어서,상기 결함 선택 정보는 결함이 주입될 위치를 식별하기 위한 정보, 주입될 결함 유형을 식별하기 위한 정보, 결함 주입 횟수에 관한 정보, 변경될 파라메터, 레지스터 및(또는) 변수의 값에 관한 정보 중 적어도 하나를 포함하는 호스트 컴퓨터
|
| 6 |
6
제1항에 있어서,상기 결함 주입 코드는 상기 결함 선택 정보에 따라 단위 테스트를 위한 결함 주입 코드 및 통합 테스트를 위한 결함 주입 코드 중 적어도 하나를 포함하는 호스트 컴퓨터
|
| 7 |
7
제1항에 있어서,상기 호출 관계 분석 모듈은프로젝트 생성을 위한 사용자 인터페이스 화면을 구성하는 제1 사용자 인터페이스 제공부;상기 검증 대상 소프트웨어를 구성하는 파일, 태스크(Task) 및 함수 등의 계층 구조를 분석하는 구조 분석부; 및상기 분석된 계층 구조에 기반하여 호출함수(Caller)와 피호출함수(Callee)의 관계를 분석하는 호출 관계 분석부를 포함하는 호스트 컴퓨터
|
| 8 |
8
제1항에 있어서,상기 결함 선택 모듈은소프트웨어 단위 테스트 단계와 소프트웨어 통합 테스트 단계 별 결함 주입 코드 생성에 필요한 정보를 사용자로부터 입력 받기 위한 소정 결함 주입 사용자 인터페이스 화면을 구성하는 제2 사용자 인터페이스 제공부;상기 단위 테스트를 위한 결함 주입 코드의 생성에 필요한 제1 정보를 수집하는 단위 테스트 정보 수집부; 및상기 통합 테스트를 위한 결함 주입 코드의 생성에 필요한 제2 정보를 수집하는 통합 테스트 정보 수집부를 포함하는 호스트 컴퓨터
|
| 9 |
9
제8항에 있어서,상기 제1 정보는 결함을 주입할 단위 함수 또는 전역 변수에 관한 정보, 주입할 결함 유형에 관한 정보 및 결함 주입 횟수에 관한 정보, 변경될 파라메터, 레지스터 및(또는) 변수의 값에 관한 정보 중 적어도 하나를 포함하는 호스트 컴퓨터
|
| 10 |
10
제8항에 있어서,상기 제2 정보는 상기 통합 테스트에 포함되는 일련의 상기 단위 테스트 및 그것들의 실행 순서에 관한 정보, 결함을 주입할 위치에 관한 정보, 주입할 결함 유형에 관한 정보 및 결함 주입 횟수에 관한 정보, 변경될 파라메터, 레지스터 및(또는) 변수의 값에 관한 정보 중 적어도 하나를 포함하는 호스트 컴퓨터
|
| 11 |
11
호스트 컴퓨터와 연동하여 내부 탑재된 소프트웨어를 검증하는 차량용 전자 제어 장치에 있어서,상기 호스트 컴퓨터로부터 결함 선택 정보 및 상기 결함 선택 정보에 기초하여 생성된 결합 주입 코드를 수신하는 진단 모듈;상기 결함 선택 정보에 기초하여 검증 대상 소프트웨어를 식별하고, 상기 식별된 검증 대상 소프트웨어 내 결함을 주입할 태스크와 함수를 식별하는 제2 제어기;상기 식별된 태스크 호출을 모니터링하는 태스크 호출 모니터링 모듈;상기 식별된 태스크 호출이 감지되면, 상기 식별된 함수의 호출을 모니터링하는 함수 호출 모니터링 모듈; 및상기 식별된 함수의 호출이 감지되면, 상기 결합 주입 코드를 실행시키는 결함 주입 코드 실행 모듈을 포함하는 차량용 전자 제어 장치
|
| 12 |
12
제11항에 있어서,상기 차량용 전자 장치에 탑재된 소프트웨어는 AUTOSAR(AUTomotive Open System Architecture) 표준 플랫폼에서 실행되는 소프트웨어인 차량용 전자 제어 장치
|
| 13 |
13
제12항에 있어서,상기 AUTOSAR 표준 플랫폼은 실시간 환경 계층과 하드웨어 계층 사이에 배치되는 기본 소프트웨어 계층을 포함하고,상기 진단 모듈, 상기 태스크 호출 모니터링 모듈, 상기 함수 호출 모니터링 모듈 및 결함 주입 코드 실행 모듈은 상기 기본 소프트웨어 계층에 탑재되는 차량용 전자 제어 장치
|
| 14 |
14
제12항에 있어서,상기 진단 모듈은 CAN 통신을 통해 상기 결함 선택 정보 및 상기 결함 주입 코드를 수신하는 차량용 전자 제어 장치
|
| 15 |
15
제12항에 있어서,상기 결함 주입 코드는 상기 결함 선택 정보에 따라 단위 테스트를 위한 결함 주입 코드 및 통합 테스트를 위한 결함 주입 코드 중 적어도 하나를 포함하는 차량용 전자 제어 장치
|
| 16 |
16
검증 대상 소프트웨어의 함수 호출 관계를 분석하고, 사용자로부터 입력 받은 결함 선택 정보 및 상기 분석된 함수 호출 관계에 기초하여 결함 주입 코드를 생성하는 호스트 컴퓨터; 및상기 호스트 컴퓨터로부터 CAN 통신을 통해 상기 결함 선택 정보 및 상기 결함 주입 코드를 수신하고, 상기 검증 대상 소프트웨어 실행 시 상기 결함 선택 정보에 기반하여 식별된 태스크 및 함수를 모니터링하여 상기 결함 주입 코드를 실행시키는 차량용 전자 제어 장치를 포함하는 차량용 소프트웨어 검증 시스템
|
| 17 |
17
제16항에 있어서,상기 차량용 전자 제어 장치는상기 호스트 컴퓨터로부터 상기 결함 선택 정보 및 상기 결합 주입 코드를 수신하는 진단 모듈;상기 결함 선택 정보에 기초하여 식별된 태스크 및 함수의 호출을 모니터링하는 모니터링 모듈; 및상기 식별된 태스크 및 함수의 호출이 감지되면, 상기 결합 주입 코드를 실행시키는 결함 주입 코드 실행 모듈을 포함하는 차량용 소프트웨어 검증 시스템
|
| 18 |
18
제17항에 있어서,상기 검증 대상 소프트웨어는 AUTOSAR(AUTomotive Open System Architecture) 표준 플랫폼에서 실행되는 소프트웨어인 차량용 소프트웨어 검증 시스템
|
| 19 |
19
제18항에 있어서,상기 AUTOSAR 표준 플랫폼은 실시간 환경 계층과 하드웨어 계층 사이에 배치되는 기본 소프트웨어 계층을 포함하고,상기 진단 모듈, 상기 모니터링 모듈 및 상기 결함 주입 코드 실행 모듈은 상기 기본 소프트웨어 계층에 탑재되는 차량용 소프트웨어 검증 시스템
|
| 20 |
20
제16항에 있어서,상기 호스트 컴퓨터는상기 차량용 전자 제어 장치에 탑재되는 상기 검증 대상 소프트웨어에 대한 실험 모델을 생성하는 실험 모델 생성 모듈;상기 검증 대상 소프트웨어의 함수 호출 관계를 확정하는 호출 관계 분석 모듈;상기 사용자로부터 상기 검증 대상 소프트웨어에 주입할 결함 정보를 입력 받아 상기 결함 선택 정보를 생성하는 결함 선택 모듈; 상기 결함 선택 정보 및 상기 확정된 함수 호출 관계에 기반하여 상기 결함 주입 코드를 생성하는 결함 주입 코드 생성 모듈; 및상기 결함 선택 정보 및 상기 결함 주입 코드를 상기 CAN 통신을 통해 상기 차량용 전자 제어 장치로 전송하는 제1 통신 모뎀을 포함하는 차량용 소프트웨어 검증 시스템
|
