Á¤º¸Ã³¸®ÇÐȸ ³í¹®Áö ¼ÒÇÁÆ®¿þ¾î ¹× µ¥ÀÌÅÍ °øÇÐ
Current Result Document :
ÇѱÛÁ¦¸ñ(Korean Title) |
MuGenFBD: ±â´É ºí·Ï ´ÙÀ̾î±×·¥ ÇÁ·Î±×·¥¿¡ ´ëÇÑ ÀÚµ¿ ¹ÂÅÏÆ® »ý¼º±â |
¿µ¹®Á¦¸ñ(English Title) |
MuGenFBD: Automated Mutant Generator for Function Block Diagram Programs |
ÀúÀÚ(Author) |
Lingjun Liu
ÁöÀº°æ
¹èµÎȯ
Eunkyoung Jee
Doo-Hwan Bae
|
¿ø¹®¼ö·Ïó(Citation) |
VOL 10 NO. 04 PP. 0115 ~ 0124 (2021. 04) |
Çѱ۳»¿ë (Korean Abstract) |
±â´É ºí·Ï ´ÙÀ̾î±×·¥(Function Block Diagram, FBD) ÇÁ·Î±×·¥ÀÌ ¾ÈÀü Çʼö ½Ã½ºÅÛ ±¸Çö¿¡ ³Î¸® »ç¿ëµÇ¸é¼ FBD ÇÁ·Î±×·¥¿¡ ´ëÇÑ È¿°úÀûÀÎ Å×½ºÆ®°¡ Áß¿äÇØÁ³´Ù. ¹ÂÅ×ÀÌ¼Ç Å×½ºÆÃÀº ¿À·ù ±â¹Ý Å×½ºÆà ±â¼ú·Î, ¿À·ù ŽÁö¿¡ ¸Å¿ì È¿°úÀûÀÌÁö¸¸ ºñ¿ëÀÌ ¸¹ÀÌ µç´Ù. º» ¿¬±¸¿¡¼´Â FBD ÇÁ·Î±×·¥ Å×½ºÅ͸¦ Áö¿øÇϱâ À§ÇÑ, FBD ÇÁ·Î±×·¥ ´ë»ó ÀÚµ¿ ¹ÂÅÏÆ® »ý¼º±â¸¦ Á¦¾ÈÇÑ´Ù. MuGenFBD µµ±¸´Â ¹ÂÅÏÆ® »ý¼º ºñ¿ë°ú µ¿µî ¹ÂÅÏÆ® ¹®Á¦¸¦ °í·ÁÇÏ¿© ¼³°èµÇ¾ú´Ù. MuGenFBD µµ±¸ÀÇ ¼º´ÉÀ» Æò°¡Çϱâ À§ÇØ ½ÇÁ¦ »ê¾÷ »ç·Ê¿¡ ´ëÇÑ ½ÇÇèÀ» ¼öÇàÇÑ °á°ú, MuGenFBD¸¦ È°¿ëÇÏ¿© ¹ÂÅÏÆ® »ý¼º ½Ã µ¿µî ¹ÂÅÏÆ®¸¦ »ý¼ºÇÒ ºñÀ²ÀÌ ³·À¸¸ç ÀûÀº ºñ¿ëÀ¸·Î FBD ÇÁ·Î±×·¥ ´ë»ó ¹ÂÅÏÆ®¸¦ È¿°úÀûÀ¸·Î ÀÚµ¿ »ý¼ºÇÒ ¼ö ÀÖÀ½À» È®ÀÎÇÏ¿´´Ù. Á¦¾ÈÇÏ´Â µµ±¸´Â FBD ÇÁ·Î±×·¥¿¡ ´ëÇÑ ¹ÂÅ×ÀÌ¼Ç ºÐ¼® ¹× ¹ÂÅ×ÀÌ¼Ç ÃæºÐ¼º ±âÁØÀ» ¸¸Á·½ÃÅ°´Â Å×½ºÆ® »ý¼ºÀ» È¿°úÀûÀ¸·Î Áö¿øÇÒ ¼ö ÀÖ´Ù.
|
¿µ¹®³»¿ë (English Abstract) |
Since function block diagram (FBD) programs are widely used to implement safety-critical systems, effective testing for FBD programs has become important. Mutation testing, a fault-based testing, is highly effective in fault detection but computationally expensive. To support testers for FBD programs, we propose an automated mutant generator for FBD programs. We designed the MuGenFBD tool with the cost and equivalent mutant issues in consideration. We conducted experiments on real industrial examples to present the performance of MuGenFBD. The results show that MuGenFBD can generate mutants for FBD programs automatically with low probability of equivalent mutants and low cost. This tool can effectively support mutation analysis and mutation-adequate test generation for FBD programs.
|
Å°¿öµå(Keyword) |
¹ÂÅÏÆ® »ý¼º
¹ÂÅ×ÀÌ¼Ç ºÐ¼®
±â´É ºí·Ï ´ÙÀ̾î±×·¥
¼ÒÇÁÆ®¿þ¾î Å×½ºÆÃ
Mutant Generation
Mutation Analysis
Function Block Diagram
Software Testing
|
ÆÄÀÏ÷ºÎ |
PDF ´Ù¿î·Îµå
|