Skip to main content
Această pagină este afișată prin traducere automată. Vizualizați în schimb în limba engleză?

Prezentare generală

Questa Increase Coverage

Semnalizarea elementelor de acoperire a codului care sunt dificil de atins prin tehnici formale și care nu au fost afectate în simulare; oferind astfel o măsură valoroasă a complexității verificării. Acest lucru îi îndrumă pe ingineri să-și schimbe desenele pentru a le face mai ușor de verificat.


Luați legătura cu echipa noastră de vânzări 1-800-547-3000

Inginerul folosește instrumentul Questa Coverage pe desktopul său și explică designul altuia.
Caracteristici cheie

Identifică exhaustiv zonele de cod mort

Indiferent de câte teste direcționate inteligente scrieți, indiferent de câte semințe aleatorii diferite încercați, scorul de acoperire este pur și simplu plat. În paralel, specificarea derogărilor pentru a exclude în mod deliberat configurațiile IP neutilizate din analiză poate fi un proces manual obositor și predispus la erori.

Verificare formală

Evenimente viitoare și la cerere

Vizualizați toate înregistrările video de verificare formală disponibile la Academia de verificare.

Verificare formală

Articole albe recomandate

Sunteți gata să discutați cu cineva astăzi?

Suntem gata să vă răspundem la întrebări.

Luați legătura cu echipa noastră de vânzări 1-800-547-3000

Află mai multe

Academia de verificare

Academia de verificare oferă abilitățile necesare pentru a maturiza capacitățile procesului de verificare funcțională ale unei organizații, oferind o punte metodologică între propunerile de valoare la nivel înalt și detaliile de nivel scăzut.

Blogul Horizons de verificare

Informații și actualizări cu privire la concepte, valori, standarde, metodologii și exemple pentru a ajuta la înțelegerea a ceea ce pot face tehnologiile avansate de verificare funcțională și cum să le aplice cel mai eficient.

Orizonturi de verificare

Publicația Verification Horizons oferă concepte, valori, metodologii și exemple pentru a ajuta la înțelegerea a ceea ce pot face tehnologiile avansate de verificare funcțională și cum să le aplice cel mai eficient.