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 GCC C Preprocessor (cpp) dengan lesen percuma