English : Japanese : Contact : Sitemap
°í°´°Ô½ÃÆÇ  
Á¦Ç° ¹®ÀÇ  
°øÁö»çÇ×  
º¸µµÀÚ·á  
°øÁö»çÇ×

[WhitePaper] Å×½ºÆ® »ý¼º Â÷À̰¡ Å×½ºÆÃ ÀÚµ¿È­ µµ±¸ÀÇ Â÷ÀÌ
ÀÛ¼ºÀÚ : ¿î¿µÀÚ µî·Ï/¼öÁ¤ÀÏ : 2023-01-26 16:40:34 Ãßõ¼ö : 0 Á¶È¸¼ö : 11
÷ºÎÆÄÀÏ : RESORT-WhitePapre(Dynamic Analysis).pdf (639,592 Byte) : [¼³¸í ¾øÀ½]
´ÜÀ§ Å×½ºÆÃ µµ±¸´Â Å×½ºÆ® »ý¼ºÀÇ ÀÚµ¿È­ Â÷À̰¡ Å×½ºÆÃ µµ±¸ÀÇ ¼öÁØÀ» °áÁ¤ÇÕ´Ï´Ù.
Å×½ºÆ® ÄÉÀ̽º »ý¼º ±â¹ýÀ¸·Î´Â ´ëÇ¥ÀûÀ¸·Î Concrete Execution¿Í Symbolic Execution°¡ ÀÖ½À´Ï´Ù. Concrete¿Í Symbolic ±â¹Ý Å×½ºÆ® »ý¼º(Test Generation) Â÷À̴ ÀÚµ¿È­ °üÁ¡ÀÔ´Ï´Ù.
- Concrete Execution: White-box testing (ÀÚµ¿ »ý¼º) 
- Symbolic Execution: Black-box testing (¼öµ¿ ÀÔ·Â)
- Concolic Execution= Symbolic + Concrete 

Concrete Execution-based Automated White-box Path Testing
- ±¸Ã¼Àû ½ÇÇà ¹æ¹ý(Concrete Execution)±â¹Ý °æ·Î Å×½ºÆÃ(Path Testing) ÀÚµ¿È­ µµ±¸´Â ½Ã°£°ú ³ë·ÂÀÇ ºñ¿ëÀ» È¹±âÀûÀ¸·Î Àý°¨ÇÔ°ú ´õºÒ¾î ÀÓº£µðµå SWÀÇ ½Å·Ú¼ºÀ» ºü¸£°í ½±°Ô È®º¸ÇÒ ¼ö ÀÖ½À´Ï´Ù.

¸ñ·ÏÀ¸·Î °Ô½Ã¹°³»¿ë ¼öÁ¤Çϱâ

º»»ç: 06732 ¼­¿ï½Ã ¼­Ãʱ¸ ¼­¿î·Î1±æ34 Çѱ¹»ê¾÷±â¼úº¸È£Çùȸ 3Ãþ
Tel 02-553-9464
Copyright¨Ï2016 ¢ßSoft4Soft, All rights reserved. Designed by Meettech.