Testovací lože LDRA - LDRA Testbed
 | tento článek obsahuje obsah, který je napsán jako reklama. (Březen 2015) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) |
| Soukromé | |
| Průmysl | Testování softwaru |
| Založený | 1975 |
| Hlavní sídlo | , Anglie |
Oblast sloužila | Celosvětově |
Klíčoví lidé | Generální ředitel a prezident: Michael Hennell |
| produkty | Testovací lože LDRA |
| Příjmy | N / A |
Počet zaměstnanců | 127 (duben 2017) |
| webová stránka | www |
Testovací lože LDRA poskytuje jádro statický a dynamický analytické nástroje pro hostitelský i vestavěný software. LDRA Testbed je vyroben společností Liverpool Data Research Associates (LDRA)[1]. LDRA Testbed poskytuje prostředky k prosazení souladu s normami kódování, jako je MISRA, JSF ++ AV, CERT C, CWE a poskytuje viditelnost softwarových nedostatků, které mohou obvykle projít standardním procesem sestavení a testování, aby se staly latentními problémy. Zpětná vazba k účinnosti testů je navíc poskytována prostřednictvím zařízení pro hlášení strukturální analýzy pokrytí, která podporují požadavky DO-178B standard až do úrovně A včetně.
Statická analýza
Statická analýza iniciuje aktivitu LDRA Testbed prováděním lexikální a syntaktické analýzy zdrojového kódu pro jeden soubor nebo celý systém.
Kontrola programovacích standardů
Prosazování programovacích standardů (nebo kódovacích standardů) je obecně považováno za dobrou praxi. Dodržování těchto standardů může automaticky kontrolovat produkty, jako je LDRA Testbed. Main Static Analysis prohledá zdrojový kód, zda nedochází k porušení programovacích standardů, a to kontrolou zdrojových souborů proti nadmnožině dodávané s LDRA Testbed.
Tento systém lze konfigurovat pro:
- Uživatelem definované filtry - zapnutí nebo vypnutí standardů
- Změňte standardy z povinných na volitelné a naopak.
- Pomocí anotací vypněte standardy pro konkrétní případy porušení.
LDRA Testbed hlásí porušení vybrané sady standardů v textových zprávách i jako poznámky ke grafickým zobrazením
Dynamická analýza pokrytí
Dynamická analýza pokrytí zkoumá sémantiku testovaného programu pomocí výběru testovacích dat. Využívá modely řízení a toku dat a porovnává je se skutečným řízením a tokem dat při provádění programu. Dynamická analýza proto nutí výběr testovacích dat, která zkoumají strukturu zdrojového kódu.
Sada nástrojů LDRA obsahuje modul dynamického pokrytí. Používá se k příznivému účinku na robustnost a spolehlivost softwaru během vývojových i údržbových cyklů.
Zpráva o kvalitě
Metriky kvality, jako je Měření složitosti Halstead, cyklomatická složitost, Uzly metrické jsou navrženy tak, aby ověřily, že kód je jasný, udržovatelný a testovatelný. Zpráva o kvalitě v sadě nástrojů LDRA představuje souhrnné i podrobné rozdělení metrik kvality, které jsou odvozeny během statické analýzy.
Alternativy
Výběr partnerů LDRA na trhu testování softwaru zahrnuje: MathWorks kteří integrovali své Simulink nástroje,[2] stejně jako IBM Rational Rose,[3] Rational Rhapsody, IAR Vestavěný pracovní stůl, Wind River[4] a VxWorks.
Mezi rivaly LDRA patří AdaTEST, Kantáta ++, Krytí, Klocwork, Parasoft a VectorCAST.
Reference
- ^ Hennell, Michael (1978). „Experimentální testovací stůl pro numerický software“. Počítačový deník. Citováno 16. října 2011.
- ^ Hughes, Janice (2011). „Společnosti LDRA Ltd a MathWorks spojily své síly při integraci produktu, aby poskytovaly nezávislé ověřování a snižovaly náklady na integrovaný vývoj“. LDRA. Citováno 13. října 2009.
- ^ Mcconnel, Toni (2008). „LDRA integruje sadu nástrojů s IBM Rational Rose RealTime MDDE“. Wirral, Velká Británie: EE Times. Archivovány od originál dne 28. srpna 2011. Citováno 12. listopadu 2011.
- ^ „LDRA integruje sadu nástrojů s IBM Rational Rose RealTime MDDE“. WindRiver. Citováno 14. listopadu 2011.