1 |
1
컴퓨터 시스템의 방법에 있어서, 대상 소프트웨어에 대해 복수의 일차(first-order) 돌연변이(mutant)들을 생성하는 단계;상기 복수의 일차 돌연변이들을 기반으로, 상기 복수의 일차 돌연변이들 보다 적은 수의 고차(higher-order) 돌연변이들을 생성하는 단계; 및상기 고차 돌연변이들을 이용하여, 상기 대상 소프트웨어 내의 결함 위치를 추정하는 단계를 포함하는, 방법
|
2 |
2
제 1 항에 있어서, 상기 고차 돌연변이들은, n 개의 일차 돌연변이들을 결합함으로써 각각 생성되는 n차 돌연변이들이고, 상기 고차 돌연변이들의 개수는,상기 복수의 일차 돌연변이들의 개수의 1/n인,방법
|
3 |
3
제 1 항에 있어서, 상기 고차 돌연변이들은,하나의 (n-1)차 돌연변이와 하나의 일차 돌연변이를 결합함으로써 각각 생성되는 n차 돌연변이들이고, 상기 고차 돌연변이들의 개수는,상기 복수의 일차 돌연변이들의 개수의 1/n인,방법
|
4 |
4
제 1 항에 있어서, 상기 결함 위치를 추정하는 단계는,미리 정해진 테스트 케이스의 상기 대상 소프트웨어에 대한 실행 결과와 상기 고차 돌연변이들의 각각에 대한 실행 결과를 비교하여, 상기 고차 돌연변이들의 킬 매트릭스를 구성하는 단계;상기 킬 매트릭스를 이용하여, 상기 고차 돌연변이들에 대한 제 1 의심 점수들을 각각 계산하는 단계; 상기 제 1 의심 점수들을 기반으로, 상기 대상 소프트웨어의 스테이트먼트들에 대한 제 2 의심 점수들을 각각 계산하는 단계; 및상기 제 2 의심 점수들을 기반으로, 가장 높은 제 2 의심 점수를 갖는 스테이트먼트를 상기 결함 위치로 추정하는 단계를 포함하는, 방법
|
5 |
5
제 4 항에 있어서, 상기 제 2 의심 점수들을 계산하는 단계는, 상기 제 1 의심 점수들을 기반으로, 각 고차 돌연변이를 구성하는 일차 돌연변이들과 관련된 스테이트먼트들에 동일한 점수를 부여하여, 상기 제 2 의심 점수들을 각각 계산하는, 방법
|
6 |
6
컴퓨터 시스템에 있어서, 메모리; 및상기 메모리와 연결되고, 상기 메모리에 저장된 적어도 하나의 명령을 실행하도록 구성된 프로세서를 포함하고, 상기 프로세서는, 대상 소프트웨어에 대해 복수의 일차 돌연변이들을 생성하고, 상기 복수의 일차 돌연변이들을 기반으로, 상기 복수의 일차 돌연변이들 보다 적은 수의 고차 돌연변이들을 생성하고, 상기 고차 돌연변이들을 이용하여, 상기 대상 소프트웨어 내의 결함 위치를 추정하도록 구성되는, 컴퓨터 시스템
|
7 |
7
제 6 항에 있어서, 상기 고차 돌연변이들은, n 개의 일차 돌연변이들을 결합함으로써 각각 생성되는 n차 돌연변이들이고, 상기 고차 돌연변이들의 개수는,상기 복수의 일차 돌연변이들의 개수의 1/n인,컴퓨터 시스템
|
8 |
8
제 6 항에 있어서, 상기 고차 돌연변이들은,하나의 (n-1)차 돌연변이와 하나의 일차 돌연변이를 결합하으로써 각각 생성되는 n차 돌연변이들이고, 상기 고차 돌연변이들의 개수는,상기 복수의 일차 돌연변이들의 개수의 1/n인,컴퓨터 시스템
|
9 |
9
제 6 항에 있어서, 상기 프로세서는,미리 정해진 테스트 케이스의 상기 대상 소프트웨어에 대한 실행 결과와 상기 고차 돌연변이들의 각각에 대한 실행 결과를 비교하여, 상기 고차 돌연변이들의 킬 매트릭스를 구성하고, 상기 킬 매트릭스를 이용하여, 상기 고차 돌연변이들에 대한 제 1 의심 점수들을 각각 계산하고, 상기 제 1 의심 점수들을 기반으로, 상기 대상 소프트웨어의 스테이트먼트들에 대한 제 2 의심 점수들을 각각 계산하고, 상기 제 2 의심 점수들을 기반으로, 가장 높은 제 2 의심 점수를 갖는 스테이트먼트를 상기 결함 위치로 추정하도록 구성되는,컴퓨터 시스템
|
10 |
10
제 9 항에 있어서, 상기 프로세서는,상기 제 1 의심 점수들을 기반으로, 각 고차 돌연변이를 구성하는 일차 돌연변이들과 관련된 스테이트먼트들에 동일한 점수를 부여하여, 상기 제 2 의심 점수들을 각각 계산하도록 구성되는,컴퓨터 시스템
|
11 |
11
비-일시적인 컴퓨터-판독 가능 저장 매체에 있어서, 대상 소프트웨어에 대해 복수의 일차 돌연변이들을 생성하는 단계;상기 복수의 일차 돌연변이들을 기반으로, 상기 복수의 일차 돌연변이들 보다 적은 수의 고차 돌연변이들을 생성하는 단계; 및상기 고차 돌연변이들을 이용하여, 상기 대상 소프트웨어 내의 결함 위치를 추정하는 단계를 실행하기 위한 하나 이상의 프로그램들을 저장하기 위한 컴퓨터-판독 가능 저장 매체
|
12 |
12
제 11 항에 있어서, 상기 고차 돌연변이들은, n 개의 일차 돌연변이들을 결합함으로써 각각 생성되는 n차 돌연변이들이고, 상기 고차 돌연변이들의 개수는,상기 복수의 일차 돌연변이들의 개수의 1/n인,컴퓨터-판독 가능 저장 매체
|
13 |
13
제 11 항에 있어서, 상기 고차 돌연변이들은, 하나의 (n-1)차 돌연변이와 하나의 일차 돌연변이를 결합함으로써 각각 생성되는 n차 돌연변이들이고, 상기 고차 돌연변이들의 개수는,상기 복수의 일차 돌연변이들의 개수의 1/n인,를 포함하는, 컴퓨터-판독 가능 저장 매체
|
14 |
14
제 11 항에 있어서, 상기 결함 위치를 추정하는 단계는,미리 정해진 테스트 케이스의 상기 대상 소프트웨어에 대한 실행 결과와 상기 고차 돌연변이들의 각각에 대한 실행 결과를 비교하여, 상기 고차 돌연변이들의 킬 매트릭스를 구성하는 단계;상기 킬 매트릭스를 이용하여, 상기 고차 돌연변이들에 대한 제 1 의심 점수들을 각각 계산하는 단계; 상기 제 1 의심 점수들을 기반으로, 상기 대상 소프트웨어의 스테이트먼트들에 대한 제 2 의심 점수들을 각각 계산하는 단계; 및상기 제 2 의심 점수들을 기반으로, 가장 높은 제 2 의심 점수를 갖는 스테이트먼트를 상기 결함 위치로 추정하는 단계를 더 포함하는,컴퓨터-판독 가능 저장 매체
|
15 |
15
제 14 항에 있어서, 상기 제 2 의심 점수들을 계산하는 단계는, 상기 제 1 의심 점수들을 기반으로, 각 고차 돌연변이를 구성하는 일차 돌연변이들과 관련된 스테이트먼트들에 동일한 점수를 부여하여, 상기 제 2 의심 점수들을 각각 계산하는, 컴퓨터-판독 가능 저장 매체
|