123
LDRA Testbed

LDRA Testbed

Liverpool Data Research Associates (LDRA) ارائه دهنده ابزارهای تحلیل نرم افزار ، تست و ابزارهای ردیابی الزامات برای بخشهای دولتی و خصوصی و پیشگام در تحلیل نرم افزارهای ایستا و پویا است.
LDRA Testbed موتورهای اصلی تجزیه و تحلیل ایستا و پویا را برای نرم افزارهای میزبان و داخلی تعبیه کرده است.LDRA Testbed وسیله ای برای اجرای انطباق با استانداردهای برنامه نویسی مانند MISRA ، JSF ++ AV ، CERT C، CWE فراهم می کند و دید از نقص های نرم افزاری را نشان می دهد که به طور معمول می توانند از مراحل ساخت و تست استاندارد عبور کنند تا به مشکلات پنهان تبدیل شوند.علاوه بر این ، بازخورد اثربخشی آزمون از طریق امکانات گزارش دهی به ساختار پوشش گزارش می شود که از الزامات استاندارد DO-178B تا و از جمله سطح A پشتیبانی می کند ...

سایت اینترنتی:

امکانات

دسته بندی ها

گزینه های LDRA Testbed برای همه سیستم عامل های دارای مجوز

Cppcheck

Cppcheck

Cppcheck یک ابزار آنالیز استاتیک برای کد C / C ++ است.برخلاف کامپایلرهای C / C ++ و بسیاری از ابزارهای تحلیل دیگر ، خطاهای نحوی موجود در کد را تشخیص نمی دهد.
PVS-Studio

PVS-Studio

PVS-Studio یک آنالایزر استاتیک است که خطاهای موجود در کد منبع برنامه های C ، C ++ و C # را تشخیص می دهد.