กรณีศึกษาฐานการทดสอบเส้นทางข้อผิดพลาดด้วย Application Verifier

ภาพรวมของกรณีศึกษา

กรณีนี้ไม่ได้จบลงด้วยการแก้ไขเฉพาะจุด แต่เราใช้ Application Verifier เพื่อ เตรียมฐานการทดสอบเส้นทางข้อผิดพลาดขึ้นมาโดยตรง เป้าหมายไม่ใช่เพียง “ค้นหาข้อบกพร่องที่เกิดขึ้นในปัจจุบัน” เท่านั้น แต่เป็นการเตรียมสภาพแวดล้อมให้พร้อม เพื่อให้การตรวจสอบปัญหาครั้งถัดไปทำได้ง่ายขึ้นด้วย

อาการที่พบ

• การทดสอบเฉพาะเส้นทางการทำงานปกติเพียงอย่างเดียวแทบไม่เผยให้เห็นปัญหาของเส้นทางข้อผิดพลาด
• สถานการณ์ที่ทรัพยากรเหลือน้อยหรือความผิดปกติของ handle มักมองเห็นได้เฉพาะในสภาพแวดล้อมที่ใกล้เคียงกับการใช้งานจริง
• ขั้นตอนการตรวจสอบมักขึ้นอยู่กับตัวบุคคลในแต่ละครั้งที่วิเคราะห์ปัญหา

ข้อจำกัด

• การทำให้ทรัพยากรหมดลงจริงบนเครื่องจริงมีต้นทุนและความเสี่ยงสูง
• เราต้องการทำให้ข้อบกพร่องบริเวณขอบเขต native และรอบ ๆ Win32 มองเห็นได้เร็วขึ้น
• จำเป็นต้องเตรียมไว้ในรูปแบบที่นำกลับมาใช้ซ้ำได้สำหรับการตรวจสอบข้อบกพร่องครั้งถัดไป

สิ่งที่เราสังเกต

• การตั้งค่าของ Verifier เช่น Handles, Heaps และ Low Resource Simulation
• ร่องรอยของเส้นทางข้อผิดพลาด รวมถึง !htrace และ page heap
• ความสอดคล้องระหว่างบันทึกวงจรชีวิตที่เราจัดทำเองกับข้อมูลการหยุดทำงานจาก Verifier

วิธีที่เราแยกแยะปัญหา

ขั้นแรกเราแยกสิ่งที่ติดตามได้ด้วยบันทึกปกติออกจากสิ่งที่มองไม่เห็นหากไม่ใช้ Verifier จากนั้นจึงนำ Verifier ไปใช้กับเส้นทางการทำงานที่จัดทำเป็น harness และใช้แนวทาง ทำให้ความผิดปกติที่ทำซ้ำได้ยากมองเห็นได้เร็วขึ้น

วิธีที่เราปรับปรุง

• เตรียมฐานการทดสอบที่เดินผ่านเส้นทางข้อผิดพลาดอย่างจงใจ
• ทำให้สามารถสังเกตความผิดปกติของ handle และ heap ได้ในรอบที่สั้นลง
• จัดระเบียบจุดสังเกตในรูปแบบที่นำกลับไปใช้ในการตรวจทานการออกแบบและมาตรการป้องกันการเกิดปัญหาซ้ำได้ง่าย

บริการที่เกี่ยวข้องกับกรณีศึกษานี้

กรณีนี้เชื่อมโยงโดยตรงกับ การตรวจสอบและวิเคราะห์ข้อบกพร่อง เพื่อทำซ้ำปัญหาและระบุสาเหตุ และยังเกี่ยวข้องกับ ที่ปรึกษาด้านเทคนิคและการตรวจทานการออกแบบ เพื่อกำหนดว่าจะนำการทดสอบเส้นทางข้อผิดพลาดและจุดสังเกตเข้าไปไว้ในการออกแบบมากน้อยเพียงใด

บทความที่เกี่ยวข้อง

ติดต่อเรา

หากหน้านี้ตรงกับสถานการณ์ของคุณ โปรดเล่าบริบทปัจจุบันและความช่วยเหลือที่ต้องการให้เราทราบ