Skip to main content
K zobrazení této stránky byl použit automatický překlad. Chcete ji raději zobrazit v angličtině?

Přehled

Questa Increase Coverage

Označování položek pokrytí kódu, které jsou obtížně dosažitelné formálními technikami a nebyly zasaženy v simulaci; což poskytuje cennou míru složitosti ověření. To vede inženýry ke změně jejich návrhů, aby byly snadněji ověřitelné.


Spojte se s naším prodejním týmem 1-800-547-3000

Inženýr používá nástroj Questa Coverage na své ploše a vysvětluje návrh jinému.
Klíčové vlastnosti

Vyčerpávající identifikace mrtvých kódových oblastí

Bez ohledu na to, kolik chytrých řízených testů napíšete, bez ohledu na to, kolik různých náhodných semen vyzkoušíte, skóre pokrytí jednoduše ploché čáry. Současně může být stanovení výjimek za účelem záměrně vyloučení nevyužitých konfigurací IP z analýzy zdlouhavý manuální proces náchylný k chybám.

Formální ověření

Nadcházející události a události na vyžádání

Zobrazit všechny dostupné formální ověřovací videozáznamy na Verifikační akademie.

Formální ověření

Vybrané bílé knihy

Jste připraveni dnes s někým mluvit?

Jsme připraveni odpovědět na vaše otázky.

Spojte se s naším prodejním týmem 1-800-547-3000

Dozvědět se více

Verifikační akademie

Verification Academy poskytuje dovednosti nezbytné pro zdokonalení schopností procesu funkčního ověřování organizace, poskytuje metodický most mezi hodnotnými návrhy na vysoké úrovni a detaily na nízké úrovni.

Blog Verification Horizons

Přehled a aktualizace konceptů, hodnot, standardů, metodik a příkladů, které pomáhají porozumět tomu, co pokročilé technologie funkčního ověřování dokážou a jak je nejúčinněji aplikovat.

Ověřovací horizonty

Publikace Verification Horizons poskytuje koncepty, hodnoty, metodiky a příklady, které pomáhají porozumět tomu, co mohou pokročilé funkční ověřovací technologie dělat a jak je nejúčinněji aplikovat.