[º¸¾È´º½º= °í±âÇõ KAIST »çÀ̹öº¸¾È¿¬±¸¼¾ÅÍ AIº¸¾ÈÆÀÀå] ÀΰøÁö´É ±â¼úÀº ÀΰøÁö´É ºñ¼, ÀÚÀ²ÁÖÇà ÀÚµ¿Â÷ µî °íµµ·Î º¹ÀâÇÑ ÀÛ¾÷±îÁö ¹®Á¦¾øÀÌ ¼öÇàÇÒ ¸¸Å ´«ºÎ½Å ¹ßÀüÀ» ÀÌ·ç¾î ¿Ô½À´Ï´Ù. ƯÈ÷, ÀÏÀÏÀÌ ±× ÀÛµ¿ ¿ø¸®¸¦ ¸í½ÃÇÏÁö ¾Ê¾Æµµ µ¥ÀÌÅ͸¦ ÅëÇØ ¾Ë¾Æ¼ ÇнÀÇØ ½º½º·Î ÀÛµ¿ ¿ø¸®¸¦ ±ú¿ìÄ¡´Â ÇнÀ ±â¹Ý ÀΰøÁö´ÉÀº ÈǸ¢ÇÑ ¼º´É°ú ÇÔ²² ±× °³¹ß¿¡ µå´Â ºñ¿ëÀÇ °¨ÃàÀ¸·Î ÀΰøÁö´ÉÀÇ ÁøÁ¤ÇÑ »ó¿ëȸ¦ À̲ø¾î ¿Ô½À´Ï´Ù.
[À̹ÌÁö=utoimage]
ÇÏÁö¸¸ ÀΰøÁö´ÉÀÇ È°¿ë¿¡´Â ±×¿¡ µû¸¥ ºÎÀÛ¿ëÀÇ À§Çè ¶ÇÇÑ Á¸ÀçÇÕ´Ï´Ù. ÀÌ´Â µ¥ÀÌÅ͸¦ ±â¹ÝÀ¸·Î ÇнÀµÇ´Â ÀΰøÁö´ÉÀÌ ¾î¶² ¿ø¸®·Î ÀÛµ¿ÇÏ´ÂÁö ÀÌÇØÇϱ⠾î·Æ±â ¶§¹®ÀÔ´Ï´Ù. ½Ç·Ê·Î ÀÚÀ²ÁÖÇà ÀÚµ¿Â÷, ÁÖ½ÄÅõÀÚ ÀΰøÁö´É µî¿¡¼ ¹ß»ýÇÑ ¿À·ù·Î ÀÎÇØ ÀÎ¸í ¹× Àç»ê ÇÇÇØ°¡ ¹ß»ýÇÑ ¹Ù ÀÖÀ¸¸ç, ÀÌ¿Í °°Àº ÀÎ¸í ¹× Àç»ê ÇÇÇظ¦ ¸·±â À§Çؼ´Â ÀΰøÁö´ÉÀÇ ¾ÈÀü¼º °ËÁõÀÌ ÇʼöÀûÀÔ´Ï´Ù.
º¹ÀâÇÑ ÀΰøÁö´ÉÀÌ ¾ÈÀüÇÏ°Ô ÀÛµ¿ÇÏ´ÂÁö¸¦ ÆÇ´ÜÇÏ´Â °¡Àå °£´ÜÇÑ ¹æ¹ýÀº ¿©·¯ °¡Áö »óȲ¿¡¼ Å×½ºÆ®Çغ¸´Â °ÍÀÔ´Ï´Ù. ÀÚÀ²ÁÖÇà ÀÚµ¿Â÷¸¦ ¿¹·Î µéÀÚ¸é, ´Ù¾çÇÑ µµ·Î³ª Ⱦ´Üº¸µµ, ±³Â÷·ÎÀÇ ¸ð¾çÀ̳ª ½ÅÈ£µîÀÇ Å¸À̹Ö, ³¯¾¾ ¹× ÁÖÇà ½Ã°£ µî ¼ö¸¹Àº »óȲ¿¡¼ »ç°í ¾øÀÌ Àß µ¿ÀÛÇÏ´ÂÁö¸¦ È®ÀÎÇÏ´Â °ÍÀÌÁÒ. ÀÌó·³ ´Ù¾çÇÑ È¯°æ¿¡¼ ÀÛµ¿ÇÏ¿© º½À¸·Î½á ÁÖ¾îÁø ¼ÒÇÁÆ®¿þ¾îÀÇ ¿À·ù¸¦ ÆľÇÇÏ´Â °ÍÀ» ¡®¼ÒÇÁÆ®¿þ¾î Å×½ºÆÃ(Software Testing)¡¯À̶ó°í ÇÕ´Ï´Ù.
¼ÒÇÁÆ®¿þ¾î Å×½ºÆÃÀº ´Ù¾çÇÑ ½Ã³ª¸®¿À ÇÏ¿¡¼ ¼ÒÇÁÆ®¿þ¾î¸¦ ÀÛµ¿½ÃÄÑ º¸±â¸¸ ÇÏ¸é µÇ¾î ºñ±³Àû °£´ÜÇÏ´Ù´Â ÀåÁ¡ÀÌ ÀÖ´Â ¹Ý¸é, Å×½ºÆÃÀ» ÅëÇØ ½ÃÇèÇغ¸Áö ¸øÇÑ ½Ã³ª¸®¿À¿¡¼ ¿À·ù°¡ ¹ß»ýÇÒ °¡´É¼ºÀÌ ÀÖ´Ù´Â ´ÜÁ¡ÀÌ ÀÖ½À´Ï´Ù. °¡´ÉÇÑ ¸ðµç »óȲÀ» °í·ÁÇÏÁö ¾Ê´Â´Ù¸é ¡®¿À·ù°¡ Àý´ë·Î ¹ß»ýÇÒ ¼ö ¾ø´Ù¡¯¿Í °°Àº º¸ÀåÀ» ¾ò±â´Â ºÒ°¡´ÉÇѵ¥, ¸ðµç »óȲÀ» °í·ÁÇÑ´Ù´Â °ÍÀº Çö½ÇÀûÀ¸·Î ºÒ°¡´ÉÇϱ⠶§¹®ÀÔ´Ï´Ù. ÀÌ¿Í °°Àº ¹®Á¦Á¡À» ÇØ°áÇÏ°í ¿À·ù°¡ Á¸ÀçÇÏÁö ¾Ê´Â´Ù´Â ¡®Àý´ëÀûÀÎ º¸À塯À» ¾ò±â À§ÇÏ¿© ¼ÒÇÁÆ®¿þ¾î¸¦ ³í¸®ÀûÀ¸·Î ºÐ¼®ÇÔÀ¸·Î½á ¿À·ù°¡ Á¸ÀçÇÒ ¼ö ¾øÀ½À» ¾ö¹ÐÇÏ°Ô Áõ¸íÇÏ´Â ¹æ¹ýÀ» ¡®Á¤Çü °ËÁõ(Formal Verification)¡¯À̶ó ÇÕ´Ï´Ù.
Á¤Çü °ËÁõÀº Å©°Ô ¼¼ ´Ü°è¸¦ ÅëÇØ ÁøÇàµË´Ï´Ù. ¸ÕÀú ÁÖ¾îÁø ¼ÒÇÁÆ®¿þ¾î¿¡ ´ëÇØ ±× ÀÛµ¿ ±âÀÛÀ» ³ªÅ¸³»´Â ¼öÇÐÀû ¸ðµ¨À» ¼³¸³ÇÏ°í, ´ÙÀ½À¸·Î´Â °ËÁõÇÏ°íÀÚ ÇÏ´Â ¼Ó¼ºÀ» ³í¸®Àû ¾ð¾î·Î¼ ¸í¼¼ÇÕ´Ï´Ù. ¸¶Áö¸·À¸·Î ¼ÒÇÁÆ®¿þ¾îÀÇ ¼öÇÐÀû ¸ðµ¨ÀÌ °ËÁõÇÏ°íÀÚ ÇÏ´Â ¼Ó¼ºÀ» Áö´Ñ´Ù´Â °ÍÀ» Áõ¸íÇϰųª ¼Ó¼ºÀ» À§¹ÝÇÏ´Â ¿¹½ÃÀÎ ¹Ý·Ê¸¦ ãÀ½À¸·Î¼ ¼Ó¼ºÀ» Áö´ÏÁö ¾Ê´Â´Ù´Â °ÍÀ» º¸ÀÏ ¼ö ÀÖ½À´Ï´Ù.
¿¹¸¦ µé¾î, Ⱦ´Üº¸µµ°¡ ÀÖ´Â Á÷¼± µµ·Î¿¡¼ ÀÚµ¿Â÷ ½ÅÈ£µî°ú º¸Çà ½ÅÈ£µîÀÇ ½ÅÈ£¸¦ Á¦¾îÇÏ´Â ¼ÒÇÁÆ®¿þ¾î¸¦ »ý°¢ÇØ º¾½Ã´Ù. ÀÌ ¼ÒÇÁÆ®¿þ¾î´Â ½Ã°£¿¡ µû¶ó ÀÚµ¿Â÷ ½ÅÈ£µî°ú º¸Çà ½ÅÈ£µîÀÇ »ö±ò, Áï ÀÚµ¿Â÷ ½ÅÈ£µîÀÇ »ö±òÀ̳ª º¸Çà ½ÅÈ£µîÀÇ »ö±òÀÇ »óŸ¦ º¯È½ÃÅ°´Â °£´ÜÇÑ ±×·¡ÇÁ ¸ðµ¨·Î »ý°¢ÇÒ ¼ö ÀÖ½À´Ï´Ù. Â÷µµ¿¡ ÀÚµ¿Â÷°¡ ÁÖÇà ÁßÀÏ ¶§´Â ³ì»ö(º¸ÇàÀº »¡°)ÀÌ´ø ½ÅÈ£°¡ ³ë¶õºÒÀÌ ÄÑÁö¸é¼ ³ë¶û(º¸ÇàÀº »¡°)ÀÌ µÇ¾ú´Ù°¡, º¸ÇàÀÚ°¡ Ⱦ´Üº¸µµ¸¦ °Ç³Î ¼ö ÀÖ´Â »¡°(º¸ÇàÀº ³ì»ö) ½ÅÈ£·Î º¯ÈÇÏ´Â °ÍÀÌÁÒ. º¸ÇàÀÚ ½ÅÈ£°¡ ³¡³ª¸é ´Ù½Ã ¿ø»óÅÂÀÎ ³ì»ö(º¸ÇàÀº »¡°)À¸·Î µ¹¾Æ°¡ ÀÚµ¿Â÷°¡ ÁÖÇà °¡´ÉÇÑ ½ÅÈ£·Î º¯ÈÇÒ °ÍÀÔ´Ï´Ù.
¾Õ¼ÀÇ µµ·Î »óȲ¿¡¼ º¸ÇàÀÚ¿Í ÀÚµ¿Â÷ ¸ðµÎ ¾ÈÀüÇϱâ À§Çؼ º¸Çà ½ÅÈ£µîÀº ÀÚµ¿Â÷ ½ÅÈ£µîÀÌ »¡°£»öÀÏ ¶§¸¸ ³ì»öºÒ·Î ÄÑÁ®¾ß ÇÒ °ÍÀÔ´Ï´Ù. Áï, »¡°-³ì»öÀº °¡´ÉÇصµ ³ì»ö-³ì»öÀ̳ª ³ë¶û-³ì»ö°ú °°Àº »óÅ´ ÀÖÀ» ¼ö ¾ø´Ù´Â °ÍÀÔ´Ï´Ù. ÀÌ´Â À§¿¡¼ ±×·¡ÇÁ·Î Ç¥ÇöÇÑ ¼ÒÇÁÆ®¿þ¾îÀÇ ±¸µ¿ ´Ü°è¿¡¼´Â ¹ß»ýÇÒ ¼ö ¾øÀ½À» º¼ ¼ö ÀÖÀ¸¸ç, µû¶ó¼ ¼ÒÇÁÆ®¿þ¾î°¡ ³ì»ö-»¡°ÀÇ Ãʱ⠻óÅ·Π±¸µ¿µÇ´Â ÇÑ ¾ÈÀüÇÔÀ» º¸ÀÏ ¼ö ÀÖ½À´Ï´Ù.
ÀÌ¿Í °°Àº Á¤Çü °ËÁõ ±â¹ýÀº ÀΰøÁö´É ¸ðµ¨¿¡ ´ëÇØ Àû¿ëÇϱâ´Â ¿©·¯ °¡Áö ¾î·Á¿òÀÌ ÀÖ½À´Ï´Ù. ÀÌ´Â ÀΰøÁö´É ¸ðµ¨°ú ÀüÅëÀûÀÎ ¼ÒÇÁÆ®¿þ¾îÀÇ ±¸Á¶ ¹× ±â´ÉÀû Â÷ÀÌ ¶§¹®À¸·Î, ¸ÕÀú ÀΰøÁö´É ¼ÒÇÁÆ®¿þ¾î¿¡ ÁÖ¾îÁö´Â ÀÔ·ÂÀÌ ÀüÅëÀûÀÎ ¼ÒÇÁÆ®¿þ¾î¿¡ ÁÖ¾îÁö´Â ÀԷ¿¡ ¹ÝÇØ ¸Å¿ì º¹ÀâÇÕ´Ï´Ù. ¾Õ¼ÀÇ ½ÅÈ£µî ¿¹½Ã¿¡¼ ¼ÒÇÁÆ®¿þ¾î¿¡ ÁÖ¾îÁö´Â ÀÔ·ÂÀº Ãʱ⠻óÅ»ÓÀÎ ¹Ý¸é, ½ÇÁ¦ ÀΰøÁö´É ¼ÒÇÁÆ®¿þ¾î¿¡¼´Â À½¼º, À̹ÌÁö, ÅؽºÆ® µî °íÂ÷¿øÀÇ ÀÔ·ÂÀÌ ÁÖ¾îÁý´Ï´Ù. °íÂ÷¿øÀÇ ÀԷ¿¡ µû¶ó ¼ÒÇÁÆ®¿þ¾î¿¡ ¹«¼öÈ÷ ¸¹Àº »óŵéÀÌ »ý°Ü³¯ ¼ö ÀÖ´Â °ÍÀÌÁÒ.
¶Ç ´Ù¸¥ ¾î·Á¿òÀº ÀΰøÁö´É ¼ÒÇÁÆ®¿þ¾î°¡ ÀÛµ¿ÇÏ´Â Á¤È®ÇÑ ¿ø¸®¸¦ ¾Ë±â ¾î·Æ´Ù´Â Á¡¿¡¼ ±âÀÎÇÕ´Ï´Ù. Á¤Çü °ËÁõ ¹æ¹ý·ÐÀ» Àû¿ëÇϱâ À§Çؼ´Â ÁÖ¾îÁø ¼ÒÇÁÆ®¿þ¾î¸¦ ¼öÇÐÀûÀÎ ¸ðµ¨·Î¼ Ç¥ÇöÇØ¾ß Çϴµ¥, ¿©±â¿¡´Â ±× ÀÛµ¿ ¿ø¸®¸¦ ÆľÇÇÏ°í ÀÌ¿¡ µû¶ó ¡®¾ÐÃ࡯ÇØ ¼öÇÐÀûÀÎ ¸ðµ¨À» ¼³¸³ÇÏ´Â °úÁ¤ÀÌ Æ÷ÇԵ˴ϴÙ. ÀüÅëÀûÀÎ ¼ÒÇÁÆ®¿þ¾î´Â ÇÑ ÁÙ ÇÑ ÁÙ ½ÇÇàµÇ´Â ÇÁ·Î±×·¥ ÇüŸ¦ ¶ì°í ÀÖ¾î ±× ¾ÐÃàÀÌ ¿ëÀÌÇÑ ¹Ý¸é, ÀΰøÁö´É ¸ðµ¨Àº º¹ÀâÇÑ ÇÔ¼öÀÇ ÁýÇÕü·Î Ç¥ÇöµÇ¾î ¾ÐÃàÇÏ´Â °ÍÀÌ ¸Å¿ì ¾î·Æ½À´Ï´Ù.
¡ã°í±âÇõ Ä«À̽ºÆ® »çÀ̹öº¸¾È¿¬±¸¼¾ÅÍ AIº¸¾ÈÆÀÀå[»çÁø=º¸¾È´º½º]
¸¸¾à ÀÌ ¸ðµç ¾î·Á¿òÀ» ÇØ°áÇÏ°í ÀΰøÁö´É ¼ÒÇÁÆ®¿þ¾îÀÇ ¾ÈÀü¼ºÀ» ¿Ïº®ÇÏ°Ô °ËÁõÇß´Ù°í ÇÏ´õ¶óµµ ½ÇÁúÀûÀÎ »óȲ¿¡¼ È°¿ë ½Ã ¹®Á¦°¡ »ý±æ ¼ö ÀÖ½À´Ï´Ù. ¡®Á÷Áø ÁÖÇà Áß¿¡´Â Â÷¼±À» ¹þ¾î³ªÁö ¾Ê´Â´Ù¡¯´Â ¾ÈÀü¼ºÀÌ °ËÁõµÈ ÀÚÀ²ÁÖÇà ÀÚµ¿Â÷°¡, ÀÀ±Þ ȯÀÚ¸¦ ½Æ°í ±ÞÈ÷ ´Þ·Á°¡´Â ÀÀ±ÞÂ÷¸¦ À§ÇØ Àá½Ã °¡´ø ±æÀ» ¸ØÃß°í »ì¦ Ʋ¾î ±æÀ» ¾çº¸ÇØÁÖ´Â °ÍÀÌ °¡´ÉÇÏÁö ¾ÊÀ» °ÍÀÓÀº »·È÷ º¸ÀÌ´Â ÀÏÀÔ´Ï´Ù. ÀΰøÁö´ÉÀÇ ¾ÈÀü¼º °ËÁõÀº ¾ÈÀü¼º ±× ÀÚü»Ó¸¸ ¾Æ´Ï¶ó ½ÇÁ¦ ÀΰøÁö´ÉÀÌ È°¿ëµÇ´Â »óȲÀ» ¸é¹ÐÈ÷ °í·ÁÇؾ߸¸ ¿Ã¹Ù¸£°Ô ÇØ°áÇÒ ¼ö ÀÖ´Â ¹®Á¦ÀÎ °ÍÀÔ´Ï´Ù.
[±Û_ °í±âÇõ KAIST »çÀ̹öº¸¾È¿¬±¸¼¾ÅÍ AIº¸¾ÈÆÀÀå]
<ÀúÀÛ±ÇÀÚ: º¸¾È´º½º(www.boannews.com) ¹«´ÜÀüÀç-Àç¹èÆ÷±ÝÁö>