| 1 |
1
프로그램 버그와 관련된 입력 데이터가 미리 설정된 프로그램이 실행됨에 따라 프로그램 버그와 관련된 인자를 포함하면서 명령어를 실행시키는 코드가 포함된 코드 라인이 포함된 실행기록을 저장하는 단계;상기 실행기록에 포함된 코드 라인에 포함된 메모리 상의 주소 정보가 서로 인접한 코드 라인들을 포함하는 버그 인자 결정 필드를 결정하는 단계; 및상기 버그 인자 결정 필드에 포함된 코드 라인 각각에 포함된 명령어의 속성을 고려하여 상기 프로그램의 버그 발생과 관련된 버그 발생 인자를 결정하는 단계;를 포함하며,상기 명령어의 속성이 비교 명령어이고,상기 버그 발생 인자를 결정하는 단계는, 상기 버그 인자 결정 필드에 포함된 코드 라인에 포함된 상기 비교 명령어에 사용되며 상기 프로그램 버그와 관련된 인자에 해당하는 제1 인자와 상기 입력 데이터를 비교하여 상기 프로그램의 실행 경로를 확장시키는 프로그램 실행 경로 확장 인자를 결정하는 단계를 포함하며, 상기 프로그램 실행 경로 확장과 관련된 인자를 결정하는 단계는, (i) 상기 제1 인자와 상기 입력 데이터가 동일한 경우, 상기 비교 명령어에 사용되며 상기 프로그램 버그와 관련된 인자 이외의 인자에 해당하는 제2 인자를 상기 프로그램 실행 경로 확장과 관련된 인자로 결정하고, 상기 결정된 제2 인자를 상기 프로그램의 입력으로 하여 상기 프로그램 실행 경로 확장 여부를 테스트하여 상기 프로그램 실행 경로 확장 인자를 결정하고, (ii) 상기 제1 인자와 상기 입력 데이터가 다른 경우, 상기 프로그램의 실행 경로를 역으로 분석하여 상기 비교 명령어가 실행된 위치에서 상기 비교 명령어의 결과에 따라 분기된 곳에서 실행된 상기 프로그램의 실행 경로와 다른 실행 경로를 실행시키는 제3 인자를 상기 프로그램 실행 경로 확장 인자로 결정하는, 프로그램 버그 발생 인자 결정 방법
|
| 2 |
2
제1항에 있어서,상기 버그 인자 결정 필드를 결정하는 단계는,상기 실행기록에 포함된 코드 라인에 포함된 명령어를 실행시키는데 사용된 상기 입력 데이터가 기록된 주소를 나타내는 입력 데이터 오프셋이 연속으로 이어진 코드 라인을 포함하는 버그 인자 결정 필드를 결정하는, 프로그램 버그 발생 인자 결정 방법
|
| 3 |
3
제1항에 있어서,상기 버그 인자 결정 필드는 상기 프로그램의 버그 발생과 관련된 버그 발생 인자의 주소 정보를 포함하는, 프로그램 버그 발생 인자 결정 방법
|
| 4 |
4
제1항에 있어서,상기 명령어의 속성이 산술 명령어이고,상기 버그 발생 인자를 결정하는 단계는,상기 산술 명령어의 결과 값이 기 설정된 경계 값을 초과하도록 상기 입력 데이터의 값을 변경시켜 상기 프로그램의 버그를 발생시키는 버그 발생 인자를 결정하는, 프로그램 버그 발생 인자 결정 방법
|
| 5 |
5
제4항에 있어서,상기 버그 발생 인자를 결정하는 단계는,상기 산술 명령어 실행을 역으로 분석하여 상기 산술 명령어의 계산이 기호로 변환된 방정식을 생성하고, 상기 생성된 방정식으로부터 상기 산술 명령어의 결과 값이 기 설정된 경계 값을 초과하도록 만드는 인자의 값을 산출하여 상기 프로그램의 버그를 발생시키는 버그 발생 인자를 결정하는, 프로그램 버그 발생 인자 결정 방법
|
| 6 |
6
제1항에 있어서,상기 버그 발생 인자를 결정하는 단계는,상기 프로그램 실행 경로 확장 인자를 이용하여 상기 프로그램의 버그 발생과 관련된 버그 발생 인자를 결정하는 단계;를 포함하는, 프로그램 버그 발생 인자 결정 방법
|
| 7 |
7
삭제
|
| 8 |
8
제6항에 있어서,상기 버그 발생 인자를 결정하는 단계는,상기 프로그램 실행 경로 확장 인자를 상기 프로그램 버그와 관련된 데이터로 변환하고, 상기 변환된 데이터를 상기 프로그램의 입력으로 이용하여 전체 과정을 반복하면서 상기 프로그램의 버그 발생과 관련된 버그 발생 인자를 결정하는, 프로그램 버그 발생 인자 결정 방법
|
| 9 |
9
제1항에 있어서,상기 명령어의 속성이 비교 명령어 및 산술 명령어 이외의 명령어이고,상기 버그 발생 인자를 결정하는 단계는,상기 버그 인자 결정 필드에 포함되며 상기 코드 라인과 다른 코드 라인에 포함된 명령어 속성을 고려하여 상기 프로그램의 버그 발생과 관련된 버그 발생 인자를 결정하는, 프로그램 버그 발생 인자 결정 방법
|
| 10 |
10
프로그램 버그와 관련된 입력 데이터가 미리 설정된 프로그램이 실행됨에 따라 프로그램 버그와 관련된 인자를 포함하면서 명령어를 실행시키는 코드가 포함된 코드 라인을 포함하는 실행기록을 저장하는 메모리부; 및상기 실행기록에 포함된 코드 라인에 포함된 메모리 상의 주소 정보가 서로 인접한 코드 라인들을 포함하는 버그 인자 결정 필드를 결정하고, 상기 버그 인자 결정 필드에 포함된 코드 라인 각각에 포함된 명령어의 속성을 고려하여 상기 프로그램의 버그 발생과 관련된 버그 발생 인자를 결정하는 분석부;를 포함하며,상기 명령어의 속성이 비교 명령어이고,상기 분석부는, 상기 버그 인자 결정 필드에 포함된 코드 라인에 포함된 상기 비교 명령어에 사용되며 상기 프로그램 버그와 관련된 인자에 해당하는 제1 인자와 상기 입력 데이터를 비교하여 상기 프로그램의 실행 경로를 확장시키는 프로그램 실행 경로 확장 인자를 결정하고, 상기 결정된 프로그램 실행 경로 확장 인자를 이용하여 상기 프로그램의 버그 발생과 관련된 버그 발생 인자를 결정하며,상기 분석부는, (i) 상기 제1 인자와 상기 입력 데이터가 동일한 경우, 상기 비교 명령어에 사용되며 상기 프로그램 버그와 관련된 인자 이외의 인자에 해당하는 제2 인자를 상기 프로그램 실행 경로 확장과 관련된 인자로 결정하고, 상기 결정된 제2 인자를 상기 프로그램의 입력으로 하여 상기 프로그램 실행 경로 확장 여부를 테스트하여 상기 프로그램 실행 경로 확장 인자를 결정하고, (ii) 상기 제1 인자와 상기 입력 데이터가 다른 경우, 상기 프로그램의 실행 경로를 역으로 분석하여 상기 비교 명령어가 실행된 위치에서 상기 비교 명령어의 결과에 따라 분기된 곳에서 실행된 상기 프로그램의 실행 경로와 다른 실행 경로를 실행시키는 제3 인자를 상기 프로그램 실행 경로 확장 인자로 결정하는, 프로그램 버그 발생 인자 결정 장치
|
| 11 |
11
제10항에 있어서,상기 분석부는,상기 실행기록에 포함된 코드 라인에 포함된 명령어를 실행시키는데 사용된 상기 입력 데이터가 기록된 주소를 나타내는 입력 데이터 오프셋이 연속으로 이어진 코드 라인을 포함하는 버그 인자 결정 필드를 결정하는, 프로그램 버그 발생 인자 결정 장치
|
| 12 |
12
제10항에 있어서,상기 명령어의 속성이 산술 명령어이고,상기 분석부는,상기 산술 명령어의 결과 값이 기 설정된 경계 값을 초과하도록 상기 입력 데이터의 값을 변경시켜 상기 프로그램의 버그를 발생시키는 버그 발생 인자를 결정하는, 프로그램 버그 발생 인자 결정 장치
|
| 13 |
13
삭제
|
| 14 |
14
제10항에 있어서,상기 분석부는,상기 프로그램 실행 경로 확장 인자를 상기 프로그램 버그와 관련된 데이터로 변환하고, 상기 변환된 데이터를 상기 프로그램의 입력으로 이용하여 전체 과정을 반복하면서 상기 버그 발생 인자를 결정하는, 프로그램 버그 발생 인자 결정 장치
|
| 15 |
15
제10항에 있어서,상기 명령어의 속성이 비교 명령어 및 산술 명령어 이외의 명령어이고,상기 분석부는,상기 버그 인자 결정 필드에 포함되며 상기 코드 라인과 다른 코드 라인에 포함된 명령어 속성을 고려하여 상기 프로그램의 버그 발생과 관련된 버그 발생 인자를 결정하는, 프로그램 버그 발생 인자 결정 장치
|
| 16 |
16
컴퓨터에서 제1항 내지 제6항, 제8항, 제9항 중 어느 한 항에 따른 프로그램 버그 발생 인자 결정 방법을 실행시키기 위한 컴퓨터 판독 가능 매체에 저장된 컴퓨터 프로그램
|
