TBvision / ÄÚµù ¿¡·¯ ¹ß°ß
 |
LDRA TestbedÀÇ Á¤Àû ºÐ¼®À» ÀÌ¿ëÇØ ÄÚµåÀÇ °¡µ¶¼º, ÄÚµåÀÇ Å×½ºÆ® ¼öÇà ´É·Â, ÄÚµåÀÇ À¯Áöº¸¼ö ´É·ÂÀ» È°¿ëÇÑ ¼ÒÇÁÆ®¿þ¾î °áÇÔ ¹ß°ß ¹æ¹ýÀ» Á¦½Ã |
Testbed / ½Ã½ºÅÛÀÇ Ç°Áú Çâ»ó
 |
LDRA TestbedÀÇ ¼ÒÇÁÆ®¿þ¾î ºÐ¼®À» ÅëÇÏ¿© ´ÜÀ§µéÀÇ ½ÃÇè °¡´É¼ºÀ» ÆÇ´ÜÇÏ°í Á¦¾î ½Ã½ºÅÛÀÇ µ¥ÀÌÅÍ È帧 ¹× º¹À⼺À» ÆľÇÇÏ¿© ½Ã½ºÅÛÀÇ Ç°Áú ÃøÁ¤ |
TBrun / ´ÜÀ§½ÃÇè
 |
³»ÀåÇü ½Ã½ºÅÛ¿¡ žÀçµÇ´Â ¼ÒÇÁÆ®¿þ¾îÀÇ ´ÜÀ§µéÀ» ½ÇÁ¦ ¿ÀºêÁ§Æ® ÄÚµåÇüÅ·Π½ÃÇèÇÏ¸ç ºí·¢¹Ú½º, ÈÀÌÆ® ¹Ú½º
±â¹ýÀ» È°¿ëÇØ ¼ÒÇÁÆ®¿þ¾î °íÀåÀ» ¹ß°ß |
TBreq/ ¿ä±¸»çÇ× ÃßÀû°ü¸®ÀÇ ÀÚµ¿È
 |
¼ÒÇÁÆ®¿þ¾î ¿ä±¸»çÇ×ÀÇ ÃßÀû°ü¸®¸¦ ´ÜÀ§µéÀÇ Å×½ºÆ®°á°ú ±îÁö ÀÚµ¿È ÇÔÀ¸·Î½á ¼ÒÇÁÆ®¿þ¾î °íÀå À¯Çü ºÐ¼®ÀÌ °¡´É |
| Features |
Markets |
CERT C
Coding Standards
Common Criteria / MILS
DO-178B
IEC 61508
Object Code Verification
Zero Defect Software Development |
Aerospace
Automotive
Defense
Medical
Nuclear
Security
Space |
|
