| 1 |
1
프로그램에 대한 입력 정보의 유효성 검사 방법에 있어서, 상기 입력 정보에 대한 코드 커버리지(code coverage)를 확인하는 단계;상기 코드 커버리지와 제1 기준 정보에 대한 코드 커버리지를 비교하고, 상기 코드 커버리지와 제2 기준 정보에 대한 코드 커버리지를 비교하는 단계;상기 비교 결과에 따른 유효성 페어(validity pair)와 기준 바운더리를 이용하여 상기 입력 정보의 유효성 여부를 결정하는 단계를 포함하는, 유효성 검사 방법
|
| 2 |
2
제1항에 있어서,상기 제1 기준 정보는 상기 프로그램에 대한 입력이 유효하지 않은 입력 정보를 포함하고,상기 코드 커버리지와 상기 제1 기준 정보에 대한 코드 커버리지를 비교하는 단계는,상기 입력 정보에 대한 코드 커버리지와 상기 제1 기준 정보에 대한 코드 커버리지 간의 비 유사도(dissimilarity)와 관련된 정보를 확인하는 단계를 포함하는,유효성 검사 방법
|
| 3 |
3
제1항에 있어서,상기 제2 기준 정보는 상기 프로그램에 대한 입력이 유효한 정보를 포함하고,상기 코드 커버리지와 상기 제2 기준 정보에 대한 코드 커버리지를 비교하는 단계는,상기 입력 정보에 대한 코드 커버리지와 상기 제2 기준 정보에 대한 코드 커버리지 간의 유사도(similarity)와 관련된 정보를 확인하는 단계를 포함하는,유효성 검사 방법
|
| 4 |
4
제1항에 있어서,상기 유효성 페어는 상기 입력 정보에 대한 코드 커버리지와 상기 제1 기준 정보에 대한 코드 커버리지 간의 비교에 따른 비 유사도와 관련된 정보 및 상기 입력 정보에 대한 코드 커버리지와 상기 제2 기준 정보에 대한 코드 커버리지 간의 비교에 따른 유사도와 관련된 정보로부터 도출되는 것을 특징으로 하는,유효성 검사 방법
|
| 5 |
5
제4항에 있어서,상기 유효성 페어와 기준 바운더리를 이용하여 상기 입력 정보의 유효성 여부를 결정하는 단계는,상기 비교 결과에 따른 유효성 페어가 상기 기준 바운더리 보다 작은 경우 상기 입력 정보를 유효하지 않은 정보로 결정하거나, 상기 비교 결과에 따른 유효성 페어가 상기 기준 바운더리 보다 큰 경우 상기 입력 정보를 유효한 정보로 결정하는 단계를 포함하는,유효성 검사 방법
|
| 6 |
6
제1항에 있어서,상기 기준 바운더리는, 상기 제1 기준 정보에 기초하여 결정된 제1 클러스터의 중심과 상기 제2 기준 정보에 기초하여 결정된 제2 클러스터의 중심을 연결하는 라인을 수직 이등분하는 것을 특징으로 하는,유효성 검사 방법
|
| 7 |
7
제6항에 있어서,상기 제2 클러스터는 특정 조건에 대응하는 경우 업데이트되고,상기 기준 바운더리는 상기 업데이트된 제2 클러스터에 기초하여 업데이트 되는 것을 특징으로 하는,유효성 검사 방법
|
| 8 |
8
제1항에 있어서,상기 프로그램은, 복수의 명령 옵션에 대응하는 각각의 백엔드 동작을 실행하는 프로그램인 것을 특징으로 하는,유효성 검사 방법
|
| 9 |
9
비일시적 컴퓨터 판독 가능 저장 매체로서,컴퓨터 판독 가능 명령어들을 저장하도록 구성되는 매체를 포함하고,상기 컴퓨터 판독 가능 명령어들은 프로세서에 의해 실행되는 경우 상기 프로세서가:입력 정보에 대한 코드 커버리지(code coverage)를 확인하는 단계;상기 코드 커버리지와 제1 기준 정보에 대한 코드 커버리지를 비교하고, 상기 코드 커버리지와 제2 기준 정보에 대한 코드 커버리지를 비교하는 단계; 및상기 비교 결과에 따른 유효성 페어와 기준 바운더리를 이용하여 상기 입력 정보의 유효성 여부를 결정하는 단계를 포함하는 유효성 검사 방법을 수행하도록 하는, 비일시적 컴퓨터 판독 가능 저장 매체
|
| 10 |
10
적어도 하나의 명령어(instruction)를 저장하는 메모리; 및상기 적어도 하나의 명령어를 실행하여, 입력 정보에 대한 코드 커버리지(code coverage)를 확인하고, 상기 코드 커버리지와 제1 기준 정보에 대한 코드 커버리지를 비교하고, 상기 코드 커버리지와 제2 기준 정보에 대한 코드 커버리지를 비교하고, 상기 비교 결과에 따른 유효성 페어와 기준 바운더리를 이용하여 상기 입력 정보의 유효성 여부를 결정하는 프로세서(processor)를 포함하는,유효성 검사 장치
|
