0
LDRA Testbed موتورهای اصلی تجزیه و تحلیل ایستا و پویا را برای نرم افزارهای میزبان و داخلی تعبیه کرده است.LDRA Testbed وسیله ای برای اجرای انطباق با استانداردهای برنامه نویسی مانند MISRA ، JSF ++ AV ، CERT C، CWE فراهم می کند و دید از نقص های نرم افزاری را نشان می دهد که به طور معمول می توانند از مراحل ساخت و تست استاندارد عبور کنند تا به مشکلات پنهان تبدیل شوند.علاوه بر این ، بازخورد اثربخشی آزمون از طریق امکانات گزارش دهی به ساختار پوشش گزارش می شود که از الزامات استاندارد DO-178B تا و از جمله سطح A پشتیبانی می کند ...
سایت اینترنتی:
http://www.ldra.com/امکانات
دسته بندی ها
گزینه های LDRA Testbed برای GCC C Preprocessor (cpp) با مجوز تجاری
15
PVS-Studio
PVS-Studio یک آنالایزر استاتیک است که خطاهای موجود در کد منبع برنامه های C ، C ++ و C # را تشخیص می دهد.
- برنامه پرداخت شده
- Windows
- MinGW
- Linux
- GCC C Preprocessor (cpp)
- clang
- Microsoft Visual Studio