1 |
1
소프트웨어 검증 장치의 소프트웨어 검증 방법으로서,검증의 대상이 되는 대상 소프트웨어가 적용될 실제 시스템의 구성 요소와, 상기 구성 요소 간의 연결 인터페이스에 대해 분석하는 단계;상기 분석 결과에 기초하여, 상기 실제 시스템의 각 구성 요소와 일대일 대응되는 각 가상 구성 요소와, 상기 실제 시스템의 각 인터페이스와 일대일 대응되는 각 가상 인터페이스를 포함하되, 상기 대상 소프트웨어의 코드와 상기 일대일 대응되는 각 가상 구성 요소의 코드간이 서로 분리되게 검증 시스템을 구축하는 단계; 및상기 각 가상 구성 요소 중, 상기 대상 소프트웨어가 동작시킬 구성 요소로 설정된 대상 구성 요소에, 상기 대상 소프트웨어를 결합하는 단계를 포함하고,상기 결합하는 단계는, 상기 대상 구성 요소의 입력 변수에 상기 대상 소프트웨어의 코드의 입력 변수를 연결하고, 상기 대상 구성 요소의 출력 변수에 상기 대상 소프트웨어의 코드의 출력 변수를 연결하는 단계를 포함하는소프트웨어 검증 방법
|
2 |
2
삭제
|
3 |
3
삭제
|
4 |
4
제 1 항에 있어서,상기 결합하는 단계는, 상기 대상 소프트웨어의 호출 주기를 설정하는 단계를 포함하며,상기 방법은, 상기 호출 주기마다 상기 대상 소프트웨어가, 상기 대상 소프트웨어의 입력 변수를 통해 입력된 입력값을 이용하여, 상기 대상 소프트웨어의 동작 결과에 따른 출력값을 상기 대상 소프트웨어의 출력 변수를 통해 출력하도록 하는 단계를 더 포함하는소프트웨어 검증 방법
|
5 |
5
제 1 항에 있어서,기 정해진 이벤트가 상기 대상 구성 요소의 입력 변수를 통해 입력되면, 상기 대상 소프트웨어가, 상기 대상 소프트웨어의 입력 변수를 통해 입력된 입력값을 이용하여, 상기 대상 소프트웨어의 동작 결과에 따른 출력값을 상기 대상 소프트웨어의 출력 변수를 통해 출력하도록 하는 단계를 더 포함하는소프트웨어 검증 방법
|
6 |
6
제 1 항에 있어서,상기 결합하는 단계는, 상기 검증 시스템에 포함된, 상기 대상 구성 요소 외의 다른 가상 구성 요소 각각에 대해, 대응되는 소프트웨어를 결합시키는 단계를 포함하는소프트웨어 검증 방법
|
7 |
7
제 1 항에 있어서,상기 대상 소프트웨어의 작동 시에 상기 대상 소프트웨어의 출력 변수가 출력하는 출력값에 기초하여 상기 대상 소프트웨어에 대한 검증 결과를 생성하는 단계를 더 포함하는소프트웨어 검증 방법
|
8 |
8
검증의 대상이 되는 대상 소프트웨어가 적용될 실제 시스템의 구성 요소와, 상기 구성 요소 간의 연결 인터페이스에 대해 분석하는 시스템 분석부;상기 분석 결과에 기초하여, 상기 실제 시스템의 각 구성 요소와 일대일 대응되는 각 가상 구성 요소와, 상기 실제 시스템의 각 인터페이스와 일대일 대응되는 각 가상 인터페이스를 포함하되, 상기 대상 소프트웨어의 코드와 상기 일대일 대응되는 각 가상 구성 요소의 코드간이 서로 분리되게 검증 시스템을 구축하는 검증 시스템 생성부; 및상기 각 가상 구성 요소 중, 상기 대상 소프트웨어가 동작시킬 구성 요소로 설정된 대상 구성 요소에, 상기 대상 소프트웨어를 결합하는 소프트웨어 결합부를 포함하고,상기 소프트웨어 결합부는, 상기 대상 구성 요소의 입력 변수에 상기 대상 소프트웨어의 코드의 입력 변수를 연결하고, 상기 대상 구성 요소의 출력 변수에 상기 대상 소프트웨어의 코드의 출력 변수를 연결하는소프트웨어 검증 장치
|
9 |
9
삭제
|
10 |
10
삭제
|
11 |
11
제 8 항에 있어서,상기 소프트웨어 결합부는, 상기 대상 소프트웨어의 호출 주기를 설정하는 단계를 포함하며,상기 장치는, 상기 호출 주기마다 상기 대상 소프트웨어가, 상기 대상 소프트웨어의 입력 변수를 통해 입력된 입력값을 이용하여, 상기 대상 소프트웨어의 동작 결과에 따른 출력값을 상기 대상 소프트웨어의 출력 변수를 통해 출력하도록 하는 제어부를 더 포함하는소프트웨어 검증 장치
|
12 |
12
제 8 항에 있어서,기 정해진 이벤트가 상기 대상 구성 요소의 입력 변수를 통해 입력되면, 상기 대상 소프트웨어가, 상기 대상 소프트웨어의 입력 변수를 통해 입력된 입력값을 이용하여, 상기 대상 소프트웨어의 동작 결과에 따른 출력값을 상기 대상 소프트웨어의 출력 변수를 통해 출력하도록 하는 제어부를 더 포함하는소프트웨어 검증 장치
|
13 |
13
제 8 항에 있어서,상기 소프트웨어 결합부는, 상기 검증 시스템에 포함된, 상기 대상 구성 요소 외의 다른 가상 구성 요소 각각에 대해, 대응되는 소프트웨어를 결합시키는소프트웨어 검증 장치
|
14 |
14
제 8 항에 있어서,상기 대상 소프트웨어의 작동 시에 상기 대상 소프트웨어의 출력 변수가 출력하는 출력값에 기초하여 상기 대상 소프트웨어에 대한 검증 결과를 생성하는 제어부를 더 포함하는소프트웨어 검증 장치
|
15 |
15
제 1 항, 제 4 항 내지 제 7 항 중 어느 한 항에 기재된 방법에 따른 각각의 단계를 수행하는, 컴퓨터 판독 가능 기록매체에 저장된 프로그램
|
16 |
16
제 1 항, 제 4 항 내지 제 7 항 중 어느 한 항에 기재된 방법에 따른 각각의 단계를 수행하는 명령어를 포함하는 프로그램이 기록된 컴퓨터 판독 가능 기록매체
|