Studi kasus fondasi pengujian jalur kegagalan dengan Application Verifier

Ringkasan kasus

Kasus ini tidak berakhir pada perbaikan sekali jalan: kami menggunakan Application Verifier untuk menyiapkan fondasi pengujian jalur kegagalan itu sendiri. Tujuannya bukan sekadar “menemukan kegagalan yang ada saat ini”, melainkan menyiapkan kondisi yang membuat kerusakan berikutnya juga mudah diselidiki.

Gejala

• Pengujian jalur normal saja hampir tidak mengungkap masalah pada jalur kegagalan.
• Situasi kekurangan sumber daya atau anomali handle cenderung baru terlihat dalam kondisi yang mendekati produksi.
• Prosedur investigasi cenderung bergantung pada satu orang setiap kali sebuah masalah dianalisis.

Batasan

• Benar-benar menghabiskan sumber daya pada mesin fisik memiliki biaya dan risiko yang tinggi.
• Kami ingin membuat kegagalan pada batas kode native dan di sekitar Win32 terlihat lebih awal.
• Fondasi ini perlu disiapkan dalam bentuk yang dapat digunakan kembali untuk investigasi kegagalan berikutnya.

Apa yang kami amati

• Pengaturan Verifier seperti Handles, Heaps, dan Low Resource Simulation.
• Jejak jalur kegagalan, termasuk !htrace dan page heap.
• Kesesuaian antara log siklus hidup milik kami sendiri dan informasi penghentian dari Verifier.

Cara kami mengisolasinya

Pertama-tama kami memisahkan apa yang dapat ditelusuri hanya dengan log biasa dari apa yang tidak terlihat tanpa menerapkan Verifier. Selanjutnya kami menerapkan Verifier pada jalur eksekusi yang telah diubah menjadi harness dan mengambil pendekatan membuat anomali yang sulit direproduksi terlihat lebih awal.

Cara kami memperbaikinya

• Kami menyiapkan fondasi pengujian yang secara sengaja melewati jalur-jalur kegagalan.
• Kami memungkinkan pengamatan anomali handle dan heap dalam siklus yang lebih pendek.
• Kami menata titik-titik pengamatan agar mudah dikembalikan ke tinjauan desain dan langkah pencegahan terulangnya masalah.

Layanan yang terkait dengan kasus ini

Kasus ini terhubung langsung dengan investigasi dan analisis kegagalan untuk mereproduksi masalah dan mengidentifikasi penyebabnya. Kasus ini juga berkaitan dengan konsultasi teknis dan tinjauan desain, untuk memutuskan sejauh mana pengujian jalur kegagalan dan titik pengamatan dimasukkan ke dalam desain.

Artikel terkait

Hubungi kami

Jika halaman ini menggambarkan situasi yang mirip dengan situasi Anda, ceritakan kepada kami konteks saat ini dan jenis dukungan yang Anda butuhkan.