LDRA Testbed

Liverpool Data Research Associates (LDRA) е доставчик на инструменти за анализ на софтуер, тестове и проследяване на изискванията за публичния и частния сектор и е пионер в статичния и динамичен анализ на софтуера.

Платено
Windows
Linux

LDRA Testbed осигурява основните двигатели за статичен и динамичен анализ както за хост, така и за вграден софтуер.LDRA Testbed предоставя средства за налагане на съответствие със стандартите за кодиране като MISRA, JSF ++ AV, CERT C, CWE и осигурява видимост на софтуерните недостатъци, които обикновено могат да преминат през стандартния процес на изграждане и тестване, за да станат латентни проблеми.В допълнение, обратната връзка с ефективността на тестовете се предоставя чрез структурни съоръжения за отчитане на покритието, които поддържат изискванията на DO-178B стандарта до и включително ниво-A ....

ldra-testbed

WebSite:

http://www.ldra.com/

Характеристика

Анализ на статичния код

Алтернативи на LDRA Testbed за всички платформи с всякакъв лиценз

Cppcheck

Cppcheck е инструмент за статичен анализ на C / C ++ код.За разлика от C / C ++ компилаторите и много други инструменти за анализ, той не открива грешки в синтаксиса в кода.

Безплатно
PortableApps.com
Windows
Eclipse
Linux

PVS-Studio

PVS-Studio е статичен анализатор, който открива грешки в изходния код на C, C ++ и C # приложения.