Base di test dei percorsi anomali con Application Verifier

Panoramica del caso

Questo caso non si è limitato a correggere un singolo difetto. Usando Application Verifier, abbiamo preparato la base stessa dei test per i percorsi anomali. L’obiettivo non era solo individuare il problema attuale, ma creare in anticipo condizioni che rendessero più semplice seguire anche il prossimo guasto.

Sintomi

• I soli test del percorso normale difficilmente facevano emergere problemi nei percorsi di errore.
• Le anomalie con poche risorse o handle non validi diventavano visibili soprattutto in condizioni vicine alla produzione.
• A ogni indagine la procedura rischiava di dipendere dalla conoscenza di singole persone.

Vincoli

• Esaurire davvero le risorse su una macchina reale comporta costi e rischi elevati.
• Volevamo far emergere prima i guasti al confine nativo e nell’area Win32.
• La base doveva poter essere riutilizzata anche nella successiva indagine su un problema.

Cosa abbiamo osservato

• Impostazioni di Verifier quali Handles, Heaps e Low Resource Simulation
• Tracce dei percorsi di errore, compresi !htrace e page heap
• Corrispondenza fra i log del ciclo di vita prodotti dall’applicazione e le informazioni di arresto di Verifier

Come abbiamo ristretto il campo

Abbiamo prima distinto ciò che poteva essere seguito con i normali log da ciò che diventava visibile soltanto applicando Verifier. Abbiamo quindi applicato Verifier a un percorso di esecuzione trasformato in harness, scegliendo di far emergere in anticipo anomalie difficili da riprodurre.

Come abbiamo migliorato

• Abbiamo costruito una base di test che percorre intenzionalmente i percorsi di errore.
• Abbiamo reso osservabili anomalie di handle e heap in cicli più brevi.
• Abbiamo ordinato i punti di osservazione affinché possano essere riutilizzati nelle revisioni successive e nelle misure di prevenzione delle ricorrenze.

Servizi collegati a questo caso

Il caso è direttamente collegato all’analisi dei malfunzionamenti e delle cause, per riprodurre e identificare problemi, e alla consulenza tecnica e revisione del progetto, per decidere fino a che punto incorporare nel progetto test dei casi anomali e punti di osservazione.

Articoli correlati

Contattateci

Se questa pagina descrive una situazione simile alla vostra, indicateci il contesto attuale e il tipo di supporto necessario.