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
.