개시하다

조합 테스트 시 인자 간 망라를 충족하는 테스트 사례를 만들기 위해 PICT와 픽마스터 등의 도구를 사용한다.
망라 조건으로 두 요소 간의 망라와 세 요소 간의 망라가 잘 선택되었다.그러나 상황에 따라'조합의 일부 조건은 세 가지 요소, 기타 조건은 두 가지 요소를 포함한다'등 망라 조건을 바꾸는 조합이 생길 수 있다.PICT와 PictMaster에서는 이 목표를 달성하기 위해 부모형이라는 기능을 사용했다.
하지만 서브모델에서 생성된 PICT와 PictMaster의 조합은 차이가 납니다.PictMaster는 내부에서 PICT를 사용하지만 부 모델 생성은 독자적으로 처리됩니다.
픽트 여기 있어요.
픽마스터 여기 있어요.

결론

서브모델의 예제를 PICT와 PictMaster로 수행했습니다.처리된 예제에서 PICT 생성 16건, PictMaster 생성 9건이 나왔다.
예제: 매개 변수 A, B, C, D, E에 각각 2개의 값이 있는 후보.A, B, C는 망라 3개의 인자로 그 외에 망라 2개의 인자의 조합 사례가 생성된다.
PICT가 A, B, C 세 가지 요소를 망라해 생성된 사례(8건)와 D, E 두 요소 사이의 망라를 망라했기 때문에 최종 테스트 사례가 많아졌다.
픽마스터는 A, B, C 세 요소의 망라와 이를 제외한 두 요소 사이의 망라를 잘 고려해 테스트 용례 수가 삭감됐다.

PICT 결과

PictMaster 결과

예제

매개 변수 A, B, C, D, E에 각각 2개의 값이 있는 후보.A, B, C는 망라 3개의 인자로 그 외에 망라 2개의 인자의 조합 사례가 생성된다.

PICT 상태

1. 조합 조건 파일 만들기

여기에 "a.txt"파일로 조합 조건 파일을 만듭니다{A, B, C} @ 3는 서브모델의 지정입니다.
a.txt

A:  1,2
B:  1,2
C:  1,2
D:  1,2
E:  1,2

{A, B, C} @ 3

2. PICT 실행

PICT 실행이번에 출력된 것은 'dst.csv' 라는 파일입니다.

PICT.exe a.txt > dst.csv

3. 출력 조합 결과

총 16개의 사례가 만들어졌다.(이해하기 위해 결과 정렬)

PictMaster의 경우

1. 서브모델 활성화

환경 설정에서 서브모델을 활성화할 수 있습니다.

환경 설정에서 서브모델 사용을 활성화합니다.

서브모델 열을 추가합니다.

2. 조합 조건 입력

조합 조건을 입력합니다.

3. 출력 조합 결과

결과를 생성하기 위해 실행합니다.

총 9개의 사례가 만들어졌다.(이해하기 위해 결과 정렬)

참조 정보