0
LDRA Testbed осигурява основните двигатели за статичен и динамичен анализ както за хост, така и за вграден софтуер.LDRA Testbed предоставя средства за налагане на съответствие със стандартите за кодиране като MISRA, JSF ++ AV, CERT C, CWE и осигурява видимост на софтуерните недостатъци, които обикновено могат да преминат през стандартния процес на изграждане и тестване, за да станат латентни проблеми.В допълнение, обратната връзка с ефективността на тестовете се предоставя чрез структурни съоръжения за отчитане на покритието, които поддържат изискванията на DO-178B стандарта до и включително ниво-A ....
WebSite:
http://www.ldra.com/Характеристика
Категории
Алтернативи на LDRA Testbed за GCC C Preprocessor (cpp) с търговски лиценз
15
PVS-Studio
PVS-Studio е статичен анализатор, който открива грешки в изходния код на C, C ++ и C # приложения.