Ȩ > Ç¥ÁØÈ °³¿ä > TTAÀÇ Ç¥ÁØÇöȲ
Ç¥ÁعøÈ£ | 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 | ||||||||||||||
Ç¥ÁØÀÌ·Â |
|