Ç¥ÁØÈ­ Âü¿©¾È³»

TTAÀÇ Ç¥ÁØÇöȲ

Ȩ > Ç¥ÁØÈ­ °³¿ä > TTAÀÇ Ç¥ÁØÇöȲ

Ç¥ÁعøÈ£ TTAE.IT-Z500 ±¸Ç¥ÁعøÈ£
Á¦°³Á¤ÀÏ 2006-12-27 ÃÑÆäÀÌÁö 70
ÇѱÛÇ¥Áظí Çü½Ä±â¼ú±â¹ý¿¡ ÀÇÇÑ ÀûÇÕ¼º(FMCT) ½ÃÇè ü°è
¿µ¹®Ç¥Áظí Framework on Formal Methods in Conformance Testing
Çѱ۳»¿ë¿ä¾à º» Ç¥ÁØÀº Åë½Å ÇÁ·ÎÅäÄÝ ¶Ç´Â ¼­ºñ½ºÀÇ ±Ô°ÝÀ» À§ÇØ Çü½Ä±â¼ú±â¹ýµéÀ» »ç¿ëÇÏ¿© ÀûÇÕ¼ºÀÇ Àǹ̸¦ Á¤ÀÇÇÏ°í ÀÖ´Ù.
¿µ¹®³»¿ë¿ä¾à This Standard defines the meaning of conformance if formal methods are used for the specification of a communication protocol or service.
±¹Á¦Ç¥ÁØ ITU-T Z.500
°ü·ÃÆÄÀÏ TTAE_IT-Z500.zip TTAE_IT-Z500.zip            
Ç¥ÁØÀÌ·Â
±¸ºÐ ÀÏÀÚ Ç¥ÁعøÈ£ º¯°æ³»¿ª
Á¦Á¤ 1998-11-25 TTAS.IT-Z500
°³Á¤ 2006-12-27 TTAE.IT-Z500

ÀÌÀü
°³¹æÇü ¼­ºñ½º ¾×¼¼½º¸¦ À§ÇÑ API; Part 10: ¿¬°á °ü¸®ÀÚ API (Parlay 5.1)
´ÙÀ½
°³¹æÇü ¼­ºñ½º ¾×¼¼½º¸¦ À§ÇÑ API; Part 12: °ú±Ý API (Parlay 5.1)