LDRA
| Liverpool Data Research Associates (LDRA) | |
 LDRA logosu. | |
| Yaratılış | 1975 |
|---|---|
| Kurucular | Profesör Michael Hennell |
| Merkez ofisi |
Liverpool Birleşik Krallık |
| Yön | Profesör Michael Hennell, CEO |
| Aktivite | Yazılım Kalitesi |
| Ürün:% s | LDRA |
| İnternet sitesi | ldra.com |
Liverpool Veri Research Associates ( LDRA ) bir olduğunu İngiliz şirketi ve yazılım geliştirme yardımı araçları bir ada paketi, etkinleştirme tasarımcı statik ve dinamik kaynak kod analizi , gereksinimleri izlenebilirlik ve otomasyon. Bir birim test ve entegrasyon .
Tarih
LDRA, 1975 yılında Liverpool Üniversitesi profesörü Michael Hennell tarafından kuruldu . Amaç, nükleer fizik araştırması sırasında kullandığı kütüphane matematiğinin kalitesini değerlendirmek için bir yazılım testi (İngilizce " test tezgahı " yazılımı , ana aracın adı haline gelen " test yatağı ") oluşturmaktı . Liverpool Üniversitesi .
Ürün:% s
LDRA Testbed, kaynak kodun statik ve dinamik analizinin yanı sıra kod incelemeleri, kalite ve tasarım incelemeleri ve kod kapsamı için bir yazılım analiz aracıdır . Profesör Hennell'in araştırması sırasında yarattığı ve kritik elektronik ekipman, aviyonik gibi yüksek güvenilirlik ve sağlamlık gereksinimleri için kullanılan " LCSAJ " (Doğrusal Kod Sırası ve Atlama) analiz yöntemini içeren ilk üründür . Yazılım güvenlik açıklarının tespiti ve iyileştirilmesinde de kullanılmıştır. LDRA Test Yatağı, LDRA araç paketinin bir parçasıdır:
- TBrun - birim test otomasyonu ve entegrasyon aracı ;
- TBreq - gereksinim izlenebilirlik aracı ;
- TBmanager - proje yönetimi aracı ;
- TBevolve - değişiklik yönetimi aracı;
- TBsafe - temelde DO-178B sertifikasyonu için genişletilmiş kod kapsamı yaklaşımı ;
- TBpublish - sonuçların HTML raporları olarak yayınlanması;
- TBaudit - sonuçların Microsoft Word raporları şeklinde yayınlanması ;
- DO-178B sertifika kiti .
Endüstriyel normlar ve standartlar
LDRA, DO-178C , MISRA C ve MISRA C ++ gibi çeşitli standartların veya yazılım kalite standartlarının hazırlanmasına katılır . Ayrıca LDRA tarafından üretilen CERT C standardının güvenli gelişimi için bir sanayi ortağıdır Bilgisayar Acil Durum Müdahale Ekibi ait Yazılım Mühendisliği Enstitüsü arasında Carnegie Mellon Üniversitesi .
Referanslar
- (in) MA Hennell, " Sayısal yazılım için deneysel bir test ortamı . {BEN}. {Fortran} ” , The Computer Journal , cilt. 21, n, o , 4,Kasım 1978, s. 333-336 ( DOI 10.1093 / comjnl / 21.4.333 )
- (in) MA Hennell ve D. Hedley, " Sayısal yazılım için deneysel bir test ortamı . {II}. {ALGOL 68} ” , The Computer Journal , cilt. 22, n o 1,Şubat 1979, s. 53–56 ( DOI 10.1093 / comjnl / 22.1.53 )
- John Binder, Test yazılımı: Yeni sınır , Aerospace America, Haziran 2005, s. 30 - 31.
- Jay-Evan J. Tevis, John A. Hamilton, Yazılım güvenlik açıklarının önlenmesi, tespiti ve kaldırılması için yöntemler , 42. ACM yıllık Güneydoğu bölgesel konferansı tutanakları , s. 197 - 202, Huntsville, Alabama, 2004, ( ISBN 1-58113-870-9 ) .
- (in) 11 Müşterek Toplantısı Tutanakları, Ortak EUROCAE Çalışma Grubu 71 ve Rtca Özel Komitesi 205, HAVACILIK SİSTEMLERİNDE YAZILIM İLE İLGİLİ HUSUSLAR "arşivlenmiş kopyası" (Temmuz 22, 2018 sürümü , Internet Archive ) , Hartford (Connecticut) 22 Haziran 2009-26 Haziran 2009.
- MISRA - Motor Endüstrisi Yazılım Güvenilirliği Derneği - MISRA C , http://www.misra-c2.com .
- MISRA - Motor Endüstrisi Yazılım Güvenilirliği Derneği - MISRA C ++ , http://www.misra-cpp.org .
- CERT Research Yıllık Raporu 2008 , SEI Communications, Genel Yayın Yönetmeni Richard Linger.
- CERT C Secure Coding Standard, The , Robert C. Seacord, 14 Ekim 2008, Addison-Wesley Professional , ( ISBN 0-321-56321-2 ) .