Ȩ > Ç¥ÁØÈ °³¿ä > 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 |