홈 > 표준화 개요 > TTA의 표준현황
| 표준번호 | 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. | ||||||||||||||
| 국제표준 | |||||||||||||||
| 관련파일 |
 98-145.zip
| ||||||||||||||
| 표준이력 |
|
||||||||||||||
