| 표준종류 |
정보통신단체표준(TTAS) |
| 표준번호 |
TTAS.KO-09.0017/R1
|
구 표준번호 |
|
| 제개정일 |
2006-12-27 |
총 페이지 |
70 |
| 한글 표준명 |
형식기술기법에 의한 적합성(FMCT) 시험 지침 |
| 영문 표준명 |
Guidelines on Formal Method in Conformance Testing |
| 한글 내용요약 |
본 표준은 사례연구(Case study)를 통하여 제공되는 FDs와 시험표기법(Test notation), 사용된 FDs상의 제약사항들, Inres 프로토콜에서의 적용결과 그리고 시험항목 생성방법들을 지원하는 도구들에 관해 제시된 방법들의 비교를 명시한다. |
| 영문 내용요약 |
This Standard specifies FDs, test notation provided by Case study, used conditions of FDs, applied result of Inres protocol, and comparison of methods for tools that is supplying test contents generation.
|
| 관련 IPR 확약서 |
접수된 IPR 확약서 없음
|
| 관련파일 |
![TTAS_KO-09-0017-r1_[1].zip](/images/file_icon.gif) TTAS_KO-09-0017-r1_[1].zip
|
|
| 표준이력 |
|
