| 1 |
1
운영체제의 제약사항으로부터 제약유형별로 패턴화되고, 정형언어를 이용하여 정형적으로 명세된 정형명세를 포함하는 정형명세부;상기 정형명세에 기반하여 설정되는 테스트 정책을 포함하는 테스트정책 설정부; 및상기 테스트 정책에 따라, 정형검증 도구를 활용하여 테스트 시퀀스를 자동으로 생성하는 테스트 생성부를 포함하며,상기 제약유형은, 상기 운영체제의 응용 프로그램 인터페이스(application program interface) 정의문서에 정의된 응용 프로그램 인터페이스 호출 간의 짝 형성 관계 유형, 응용 프로그램 인터페이스의 호출 한도 제한 유형, 응용 프로그램 인터페이스의 호출 금지 조건 유형, 응용 프로그램 인터페이스의 최종 호출 유형 중의 적어도 하나를 포함하는 운영체제의 자동 테스트 생성 장치
|
| 2 |
2
제1 항에 있어서,상기 정형명세는, 상기 운영체제의 응용 프로그램 인터페이스(application program interface) 정의문서에 정의된 응용 프로그램 인터페이스 호출 간의 제약사항으로부터 상기 제약유형별로 패턴화되어 상기 정형언어를 이용하여 정형적으로 명세되는 운영체제의 자동 테스트 생성 장치
|
| 3 |
3
삭제
|
| 4 |
4
제1 항에 있어서,상기 정형언어는, 문맥 자유 언어에 해당하는 오토마타(automata)를 포함하는 운영체제의 자동 테스트 생성 장치
|
| 5 |
5
운영체제의 제약사항으로부터 제약유형별로 패턴화되고, 정형언어를 이용하여 정형적으로 명세된 정형명세를 포함하는 정형명세부;상기 정형명세에 기반하여 설정되는 테스트 정책을 포함하는 테스트정책 설정부; 및상기 테스트 정책에 따라, 정형검증 도구를 활용하여 테스트를 자동으로 생성하는 테스트 생성부를 포함하며,상기 테스트 정책은, 임의의 상태로부터 최종 상태에 이르는 경로가 존재하는지를 제약유형 및 태스크 별로 검증하는 정책, 태스크가 복수 회 활성화될 수 있는지를 검증하는 정책, 응용 프로그램 인터페이스(application program interface)를 나타내는 알파벳 요소(alphabet element)가 적어도 한 번 이상 입력되어 실행되는지를 검증하는 정책 중의 적어도 하나를 포함하는 운영체제의 자동 테스트 생성 장치
|
| 6 |
6
제1 항에 있어서,상기 정형명세부와 연동되고 상기 운영체제의 모델 역할을 하며, 상기 정형명세부의 정형명세와 결합되고 응용 프로그램 인터페이스(application program interface) 호출에 따른 태스크의 상태 전이를 나타내는 태스크 모델을 포함하는 태스크 모델부를 더 포함하는 운영체제의 자동 테스트 생성 장치
|
| 7 |
7
제1 항에 있어서,상기 테스트 생성부는, 상기 정형명세의 상기 제약유형별로 상기 테스트 정책을 적용하여 상기 테스트 시퀀스를 생성하는 운영체제의 자동 테스트 생성 장치
|
| 8 |
8
제1 항에 있어서,상기 테스트 생성부는, 상기 정형명세에 의해 상기 제약유형별로 분류된 응용 프로그램 인터페이스(application program interface)의 조합 가능한 영역에 대해 테스트 시퀀스를 추출하는 운영체제의 자동 테스트 생성 장치
|
| 9 |
9
제1 항에 있어서,상기 테스트 생성부는, 태스크와 제약명세의 각 상태와, 상태 간의 전이를 적어도 한 번 이상 커버하도록, 상기 테스트 정책을 만족하는 테스트 시퀀스를 생성하는 운영체제의 자동 테스트 생성 장치
|
| 10 |
10
제9 항에 있어서,상기 테스트 생성부는,상기 테스트 정책을 만족하는 경우 반례를 생성하는 반례 생성부; 및상기 반례를 상기 테스트 시퀀스로 자동 변환하는 테스트 시퀀스 변환부를 포함하는 운영체제의 자동 테스트 생성 장치
|
| 11 |
11
운영체제의 제약사항으로부터 제약유형별로 패턴화되고 정형언어를 이용하여 정형적으로 명세된 정형명세에 기반하여 설정되는 테스트 정책에 따라, 정형검증 도구를 활용하여 상기 운영체제를 검증하기 위한 테스트 시퀀스를 자동으로 생성하는 단계를 포함하며,상기 제약유형은, 상기 운영체제의 응용 프로그램 인터페이스(application program interface) 정의문서에 정의된 응용 프로그램 인터페이스 호출 간의 짝 형성 관계 유형, 응용 프로그램 인터페이스의 호출 한도 제한 유형, 응용 프로그램 인터페이스의 호출 금지 조건 유형, 응용 프로그램 인터페이스의 최종 호출 유형 중의 적어도 하나를 포함하는 운영체제의 자동 테스트 생성 방법
|
| 12 |
12
제11 항에 있어서,상기 정형명세는, 상기 운영체제의 응용 프로그램 인터페이스(application program interface) 정의문서에 정의된 응용 프로그램 인터페이스 호출 간의 제약사항으로부터 상기 제약유형별로 패턴화되어 상기 정형언어를 이용하여 정형적으로 명세되는 운영체제의 자동 테스트 생성 방법
|
| 13 |
13
삭제
|
| 14 |
14
제11 항에 있어서,상기 정형언어는, 문맥 자유 언어에 해당하는 오토마타(automata)를 포함하는 운영체제의 자동 테스트 생성 방법
|
| 15 |
15
운영체제의 제약사항으로부터 제약유형별로 패턴화되고 정형언어를 이용하여 정형적으로 명세된 정형명세에 기반하여 설정되는 테스트 정책에 따라, 정형검증 도구를 활용하여 상기 운영체제를 검증하기 위한 테스트를 자동으로 생성하는 단계를 포함하며,상기 테스트 정책은, 임의의 상태로부터 최종 상태에 이르는 경로가 존재하는지를 제약유형 및 태스크 별로 검증하는 정책, 태스크가 복수 회 활성화될 수 있는지를 검증하는 정책, 응용 프로그램 인터페이스(application program interface)를 나타내는 알파벳 요소(alphabet element)가 적어도 한 번 이상 입력되어 실행되는지를 검증하는 정책 중의 적어도 하나를 포함하는 운영체제의 자동 테스트 생성 방법
|
| 16 |
16
제11 항에 있어서,상기 테스트 시퀀스를 생성하는 단계는, 상기 정형명세의 상기 제약유형별로 상기 테스트 정책을 적용하여 상기 테스트 시퀀스를 생성하는 운영체제의 자동 테스트 생성 방법
|
| 17 |
17
제11 항에 있어서,상기 테스트 시퀀스를 생성하는 단계는, 상기 정형명세에 의해 상기 제약유형별로 분류된 응용 프로그램 인터페이스(application program interface)의 조합 가능한 영역에 대해 테스트 시퀀스를 추출하는 단계를 포함하는 운영체제의 자동 테스트 생성 방법
|
| 18 |
18
제11 항에 있어서,상기 테스트 시퀀스를 생성하는 단계는, 태스크와 제약명세의 각 상태와, 상태 간의 전이를 적어도 한 번 이상 커버하도록, 상기 테스트 정책을 만족하는 테스트 시퀀스를 생성하는 단계를 포함하는 운영체제의 자동 테스트 생성 방법
|
| 19 |
19
제18 항에 있어서,상기 테스트 시퀀스를 생성하는 단계는, 상기 테스트 정책을 만족하는 경우 반례를 생성하고, 상기 반례를 상기 테스트 시퀀스로 자동 변환하는 단계를 포함하는 운영체제의 자동 테스트 생성 방법
|
| 20 |
20
제11 항, 제12 항, 제14 항 내지 제19 항 중 어느 한 항에 기재된 운영체제의 자동 테스트 생성 방법을 실행하기 위한 프로그램을 기록한 컴퓨터로 읽을 수 있는 기록 매체
|
