123
LDRA Testbed

LDRA Testbed

Liverpool Data Research Associates (LDRA) adalah pembekal analisis perisian, ujian dan keperluan alat-alat kebolehpercayaan untuk sektor Awam dan Swasta dan perintis dalam analisis perisian statik dan dinamik.
Testbed LDRA menyediakan enjin analisis statik dan dinamik teras untuk kedua-dua hos dan perisian tertanam.Testbed LDRA menyediakan cara untuk menguatkuasakan pematuhan dengan standard pengekodan seperti MISRA, JSF ++ AV, CERT C, CWE dan menyediakan penglihatan kelemahan perisian yang biasanya boleh melalui proses membina dan ujian standard untuk menjadi masalah laten.Di samping itu, maklum balas keberkesanan ujian disediakan melalui kemudahan pelaporan analisis liputan struktur yang menyokong kehendak standard DO-178B sehingga dan termasuk Tahap-A ....

WebSite:

ciri-ciri

Kategori

Alternatif untuk LDRA Testbed untuk semua platform dengan sebarang lesen

Cppcheck

Cppcheck

Cppcheck adalah alat analisis statik untuk kod C / C ++.Tidak seperti penyusun C / C ++ dan banyak alat analisis yang lain, ia tidak mengesan ralat sintaks dalam kod.
PVS-Studio

PVS-Studio

PVS-Studio adalah penganalisis statik yang mengesan ralat dalam kod sumber C, C ++ dan aplikasi C #.