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

TTAÀÇ Ç¥ÁØÇöȲ

Ȩ > Ç¥ÁØÈ­ °³¿ä > 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 98-145.zip            
Ç¥ÁØÀÌ·Â
±¸ºÐ ÀÏÀÚ Ç¥ÁعøÈ£ º¯°æ³»¿ª
Á¦Á¤ 1998-11-25 TTAS.KO-09.0017
°³Á¤ 2006-12-27 TTAS.KO-09.0017/R1

ÀÌÀü
´ÙÀ½