| 표준종류 |
정보통신단체표준(TTAS) |
| 표준번호 |
TTAS.KO-09.0017
|
구 표준번호 |
|
| 제개정일 |
1998-11-25 |
총 페이지 |
28 |
| 한글 표준명 |
형식기술기법에 의한 적합성(FMCT) 시험 가이드라인 |
| 영문 표준명 |
GUIDELINES ON FORMAL METHODS IN CONEFORMANCE TESTING(FMCT) |
| 한글 내용요약 |
본 표준은 형식기술로부터의 시험항목생성방법의 정의와 적용에 대한 지침을 제공하기 위하여 기존의 시험 생성방법을 예제와 함께 제시 한다. |
| 영문 내용요약 |
THIS STANDARD SPECIFIES A CLASSIFICATION OF EXISTING METHODS TO DERIVE TESTS FROM FORMAL DESCRIPTIONS OF A PROTOCOL WITH SOME EXAMPLES TO GIVE THE DEFINITIONS AND GUIDELINES FOR TEST GENERATION METHODS.
|
| 관련 IPR 확약서 |
접수된 IPR 확약서 없음
|
| 관련파일 |
 98-145.zip
|
|
| 표준이력 |
|
