| 표준번호 |
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. |
| 국제표준 |
|
| 관련파일 |
![TTAS_KO-09-0017-r1_[1].zip](/images/file_icon.gif) TTAS_KO-09-0017-r1_[1].zip
|
| 표준이력 |
|
