English : Japanese : Contact : Sitemap
Á¤ÀûºÐ¼®  
´ÜÀ§/ÅëÇÕ/½Ã½ºÅÛ Å×½ºÆ®  
ÀÓº£µðµå Æß¿þ¾î Å×½ºÆ®  
¿ª°øÇÐ&FP  
SW Å×½ºÆ® ¼­ºñ½º  
License Type  
´ÜÀ§/ÅëÇÕ/½Ã½ºÅÛ Å×½ºÆ®

C, C++, C# È­ÀÌÆ®¹Ú½º & GUI Å×½ºÆ®

 È­ÀÌÆ®¹Ú½º °æ·Î Å×½ºÆà ÀÚµ¿È­(Automated White-box Path Testing)´Â µ¥ÀÌÅÍ È帧 ºÐ¼®(Data-flow Analysis) ±â¹ÝÀ¸·Î ÀÚµ¿ »ý¼ºµÈ °¢ ½ÇÇà °æ·Î(Feasible Path)¿¡¼­ Å×½ºÆ® µ¥ÀÌÅ͸¦ 100% ÀÚµ¿ ÃßÃâÇÏ¿© ¼ÒÇÁÆ®¿þ¾î Å×½ºÆ®ÀÇ ÀÚµ¿È­¸¦ Áö¿øÇÕ´Ï´Ù. ¶ÇÇÑ, ¾ÖÀÚÀÏ(Agile) ¹æ¹ý·Ð¿¡ ÃÖÀûÀÇ µµ±¸ÀÔ´Ï´Ù.

Host ¶Ç´Â Target »ó¿¡¼­ ´ÜÀ§ºÎÅÍ ½Ã½ºÅÛ Å×½ºÆ®±îÁö ÅëÇÕ Áö¿øÇÕ´Ï´Ù.
 (1) ´ÜÀ§ Å×½ºÆ®: Automated White-box Path Test
 (2) ÅëÇÕ Å×½ºÆ®: Path Instrument Test
 (3) ½Ã½ºÅÛ Å×½ºÆ®: GUI SW Test

È­ÀÌÆ®¹Ú½º °æ·Î Å×½ºÆÃÀÇ Æ¯Â¡
  • Test Program Execution: System (Whole Program)
  • Test Generation Algorithm: Concrete Execution (Lower Cost than Symbolic Execution)
  • Test Design/Execution/Coverage Process
        -(White-box) White/White/White: Model-Based Design ±â¹Ý Program Bug °ËÁõ
        -(Black-box) Black/Black/White: Program Bug °ËÁõ ºÒ°¡

    È­ÀÌÆ®¹Ú½º °æ·Î ´ÜÀ§/ÅëÇÕ Å×½ºÆÃÀÇ ÁÖ¿ä ±â´É
  • È­ÀÌÆ®¹Ú½º °æ·Î Å×½ºÆà ÀÚµ¿È­(Automated White-box Path Testing)
       -ÇÁ·Î±×·¥ÀÇ ³»ºÎ °æ·Î(·ÎÁ÷)¿¡ ÃÊÁ¡À» µÐ howÀÇ °üÁ¡À¸·Î °æ·Î Å×½ºÆ® ÀÚµ¿È­
       -ȸ±Í Å×½ºÆ®(Regression Test) ¹× °áÇÔ ÁÖÀÔ Å×½ºÆ®(Fault Injection Test) ÅëÇÕ Áö¿ø
  • °æ·Î Å×½ºÆ® ÄÉÀ̽º(Path Test Case) ¹× °æ·Î ÀνºÆ®·ç¸àÅ×À̼Ç(Path Instrumentation) ¼³°è
       -°¢ ÇÔ¼öº° Å×½ºÆ® ÄÉÀ̽ºÀÎ ½ÇÇà °æ·Î ÀÚµ¿ »ý¼º°ú Å×½ºÆ® µ¥ÀÌÅÍ ÀÚµ¿ ÃßÃâ
  • ºò¹ð(big-bang) ±â¹Ý ¸ðµç C/C++ ÄÄÆÄÀÏ·¯ Á¦Ç°±º Áö¿ø
       -IAR, ARM, Borland, Cosmic, GNU, Green Hills, Intel, Keil, Microsoft, QNX, Wind River µî

    GUI ±â¹Ý ½Ã½ºÅÛ Å×½ºÆÃÀÇ ÁÖ¿ä ±â´É
  • GUI ±â¹Ý Ä¿¹ö¸®Áö Å×½ºÆ®(GUI-based Coverage Test)
       -Windows, Web, Mobile SWÀÇ GUI ±â¹Ý ½Ç½Ã°£ ÄÚµå Ä¿¹ö¸®Áö °ËÁõ/È®ÀÎ
       -½Ã½ºÅÛ ¿ä±¸»çÇ×(½Ã³ª¸®¿À) ±â¹Ý SWÀÇ ½Å·Ú¼º ¹× À¯È¿¼º °ËÁõ/È®ÀÎ

    MBD(Model-Based Design) ±â¹Ý °æ·Î °ËÁõ
  • È®ÀåµÈ Control Flow Graph(CFG)ÀÇ MBD ±â¹Ý Å×½ºÆ® ½ÇÇà Àü/ÈÄÀÇ °æ·Î °ËÁõ
       -(input path-to-executed path) Å×½ºÆ®µÈ Statement/Branch, MC/DCÀÇ ½ÇÇà Àü/ÈÄÀÇ ºñ±³·Î "Program Logic" °ËÁõ
       -(test-to-graph) È®ÀåµÈ Control Flow GraphÀÇ MBD±â¹Ý BugÀÇ À§Ä¡/°æ·Î ½Äº°
       -(test-to-code) ¼Ò½º ÄÚµå »ó¿¡¼­, Å×½ºÆ®µÈ Ä¿¹ö¸®Áö À¯Çü°ú ÄÚµåµéÀ» ½Ã°¢ÀûÀ¸·Î Ç¥Çö

    ±¹³»¿Ü ¼ÒÇÁÆ®¿þ¾î Å×½ºÆ® ¿ä±¸»çÇ× Áö¿ø
  • (¹æ»çû ¹«±âü°è SW µ¿Àû½ÃÇè) ÄÚµå ½ÇÇà·ü
  • ISO 26262(Automotive), DO 178(Aerospace), IEC 61508(Industrial), EN 50128(Railway), IEC 62304(Medical) µî

    È­ÀÌÆ®¹Ú½º °æ·Î Å×½ºÆÃÀÇ ÀÚµ¿È­ È¿°ú
  • Å×½ºÆ® µ¥ÀÌÅÍ ÀÚµ¿ ÃßÃâ·Î ºü¸£°Ô ÄÚµå Ä¿¹ö¸®Áö ´Þ¼º
  • ¼öÀÛ¾÷ ºí·¢¹Ú½º Å×½ºÆ®º¸´Ù ¾à 100¹è ÀÌ»ó ¼ÒÇÁÆ®¿þ¾î Å×½ºÆ® ½Ã°£ ´ÜÃà
       -Test Generation: Manual(Suppose one test case takes 10 minutes to complete the full testing) vs. Automation
  • ¼ÒÇÁÆ®¿þ¾î Å×½ºÆÃÀÇ ÀÚµ¿È­·Î ³ë·Â, ½Ã°£, ºñ¿ë Àý°¨

    ÁÖ¿ä °í°´
  • ISO 26262ÀÇ ÀÓº£µðµå SW Å×½ºÆÃ(Windows/Ubuntu ±â¹Ý ´ÜÀ§/ÅëÇÕ °æ·Î Å×½ºÆ®)
  • ¹«±âü°è ¼ÒÇÁÆ®¿þ¾î µ¿Àû ½ÃÇè(War °ÔÀÓ GUI ½Ã½ºÅÛ Å×½ºÆ®)
  • ±¹Ã¥¿¬±¸°úÁ¦(¼ÒÇÁÆ®¿þ¾î ½ÃÇè ¼ºÀû¼­)
  • º»»ç: 06732 ¼­¿ï½Ã ¼­Ãʱ¸ ¼­¿î·Î1±æ34 Çѱ¹»ê¾÷±â¼úº¸È£Çùȸ 3Ãþ
    Tel 02-553-9464, info@soft4soft.com
    Copyright¨Ï2016 ¢ßSoft4Soft, All rights reserved. Designed by Meettech.