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

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            

ÀÌÀü
ºÎ°¡Çü ÀüÀÚ¼­¸í ¹æ½Ä Ç¥ÁØ-Á¦3ºÎ : Ÿ¿ø°î¼±À» ÀÌ¿ëÇÑ ÀÎÁõ¼­ ±â¹Ý ÀüÀÚ¼­¸í ¾Ë°í¸®Áò
´ÙÀ½
CORBA를 위한 개방형 GIS 인터페이스 표준;단순 지형지물 사양