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

TTAÀÇ Ç¥ÁØÇöȲ

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

Ç¥ÁعøÈ£ TTAK.KO-11.0251 ±¸Ç¥ÁعøÈ£
Á¦°³Á¤ÀÏ 2018-12-19 ÃÑÆäÀÌÁö 39
ÇѱÛÇ¥ÁØ¸í ¼ÒÇÁÆ®¿þ¾î ±â´É ¾ÈÀü¼º °ËÁõÀ» À§ÇÑ ¸í¼¼ ±â¹Ý Å×½ºÆ® ¼³°è ¹æ¹ý
¿µ¹®Ç¥Áظí Test Design Method based on Specification for Software Functional Safety Verification
Çѱ۳»¿ë¿ä¾à ÀÌ Ç¥ÁØÀº ¼ÒÇÁÆ®¿þ¾î ¾ÈÀü¼ºÀ» È®º¸Çϱâ À§ÇÏ¿© ¼ÒÇÁÆ®¿þ¾îÀÇ ±â´É ¶Ç´Â ¼³°è ¸í¼¼¼­¸¦ ÅëÇÏ¿© ¼ÒÇÁÆ®¿þ¾îÀÇ ³í¸®ÀûÀÎ µ¿Àû ¸ðµ¨À» ÀÌÇØÇÏ°í, ¾ÈÀü±â´É ¿ä±¸»çÇ×ÀÌ ÃÖÁ¾ÀûÀ¸·Î °ËÁõµÉ ¼ö ÀÖµµ·Ï Å×½ºÆ® ÄÉÀ̽º¸¦ °³¹ßÇÏ´Â ¼³°è ±â¹ýÀ» Á¦½ÃÇÏ´Â °ÍÀ» ¸ñÀûÀ¸·Î ÇÑ´Ù.
¿µ¹®³»¿ë¿ä¾à The standard is to understand the logical model of software through the function of software or the specification of software in order to secure software safety and to design the design method to develop the test case so that the safety function requirement can be finally verified.
±¹Á¦Ç¥ÁØ
°ü·ÃÆÄÀÏ TTAK.KO-11.0251.pdf TTAK.KO-11.0251.pdf            

ÀÌÀü
¼ÒÇÁÆ®¿þ¾î ±â´É ¾ÈÀü¼º °ËÁõÀ» À§ÇÑ Å×½ºÆ® Ä¿¹ö¸®Áö ÃøÁ¤ ¹æ¹ý
´ÙÀ½
ÀÚµ¿Â÷ ÁÖÇà Áß »ç°í ¹æÁö¸¦ À§ÇÑ ¿µ»ó °´Ã¼ ÀÎ½Ä ±â¼ú Æò°¡ Áöħ