|
|
(Tool) RESORT for C, RESORT for C++, RESORT for C#
(No False Positive) Inter-procedural Path AnalysisÀÇ ÃÖ»óÀ§ ÄÚµå °ËÁõ
(Fully Code Assurance) ½Å·Ú¼º(Reliability), ¾ÈÀü¼º(Safety), º¸¾È¼º(Security) ¸ðµÎ Á¡°Ë
(Code Metrics) MISRA Software/HIS Source Code Metrics, ISO 9126 Quality Metrics
(Tool Qualification) IEC 61508, EN 50128, ISO 26262, CWE Compatibility, GS(1µî±Þ)
|
|
C, C++, C# Á¤ÀûºÐ¼®µµ±¸ - »ê¾÷º° Ç¥ÁØ Áö¿ø
C, C++, C# Á¤ÀûºÐ¼®µµ±¸´Â ÄÄÆÄÀÏ °úÁ¤ ¾øÀÌ ¿ø½Ã ¼Ò½ºÄڵ带 ºÐ¼®Çϰí, ¿ÀŽÀ» ¹ß»ýÇÏÁö ¾Ê´Â Inter-procedural Path AnalysisÀÇ ÃÖ»óÀ§ ÄÚµå °ËÁõÀ¸·Î ½Å·Ú¼º(ÄÚµù °¡À̵å), ¾ÈÀü¼º(Run-time Error), º¸¾È¼º(º¸¾È Ãë¾àÁ¡), ÄÚµå ¸ÅÆ®¸¯½º(ÄÚµå º¹Àâµµ)¸¦ ¸ðµÎ Á¡°ËÇÏ´Â ÅëÇÕ Á¤ÀûºÐ¼®µµ±¸ÀÔ´Ï´Ù.
|
|
|
°æ·Î Å×½ºÆÃ ÀÚµ¿È µµ±¸ (Automated Path Testing)
C Path TestingÀº ½ÇÇà °æ·Î ±â¹Ý °¢ °æ·ÎÀÇ Å×½ºÆ® ÄÉÀ̽º¿Í Å×½ºÆ® µ¥ÀÌÅ͸¦ ÀÚµ¿ ÃßÃâÇÏ¿© »ç¿ëÀÚ°¡ ½ºÅÓ(stub)À̳ª µå¶óÀ̺ê(drive)ÀÇ Å×½ºÆ® ÄÚµå ÀÛ¼º ¾øÀÌ ½ÇÁ¦ °³¹ß ȯ°æ°ú µ¿ÀÏÇÑ Å×½ºÆ® ºôµå ȯ°æÀÎ ºò¹ð ±â¹ýÀ» ÅëÇÑ ´ÜÀ§ Å×½ºÆ®ÀÇ ÄÚµå Ä¿¹ö¸®Áö ºÐ¼®À» ºü¸£°Ô ÀÚµ¿À¸·Î ¼öÇàÇÒ »Ó¸¸ ¾Æ´Ï¶ó ¿À·ù ÁÖÀÔ Å×½ºÆ®±îÁö Áö¿øÇÕ´Ï´Ù.
|
|
|
C, C++, C# ¿ª°øÇÐ/SW Metrics µµ±¸
C, C++, C#ÀÇ ¿ª°øÇÐ µµ±¸´Â File Graph, Call Graph, Control-flow Graph µîÀ» »ý¼ºÇϰí, ¶ÇÇÑ SW Metrics µµ±¸´Â ÄÚµå ±¸Á¶ÀÇ Æ¯Â¡À» ÃøÁ¤ÇÏ¿© ¼ÒÇÁÆ®¿þ¾î ǰÁú Çâ»ó/°³¼±À» Áö¿øÇÏ´Â ¼Ö·ç¼ÇÀÔ´Ï´Ù.
|
If you cannot MEASURE it, you cannot IMPROVE it |
|
|
|
|
|
 |
º»»ç: 06732 ¼¿ï½Ã ¼Ãʱ¸ ¼¿î·Î1±æ34 Çѱ¹»ê¾÷±â¼úº¸È£Çùȸ 3Ãþ
Tel 02-553-9464
Copyright¨Ï2016 ¢ßSoft4Soft, All rights reserved. Designed by Meettech.
|
 |
 |
 |
 |
|
|
|
|