Nghiên cứu tình huống về nền tảng kiểm thử đường lỗi với Application Verifier

Tóm tắt tình huống

Tình huống này không kết thúc bằng một bản sửa đơn lẻ: chúng tôi sử dụng Application Verifier để chuẩn bị chính nền tảng kiểm thử đường lỗi. Mục tiêu không chỉ là “tìm ra lỗi hiện tại”, mà là để lại một trạng thái trong đó sự cố tiếp theo cũng dễ điều tra.

Triệu chứng

• Chỉ kiểm thử theo luồng bình thường hầu như không làm lộ ra các vấn đề của đường lỗi.
• Các tình huống thiếu tài nguyên hoặc bất thường về handle thường chỉ hiện rõ trong điều kiện gần với môi trường vận hành thực tế.
• Quy trình điều tra dễ phụ thuộc vào một cá nhân mỗi lần phân tích sự cố.

Ràng buộc

• Việc thực sự làm cạn kiệt tài nguyên trên một máy vật lý có chi phí và rủi ro cao.
• Chúng tôi muốn làm lộ sớm hơn các lỗi ở ranh giới native và xung quanh Win32.
• Cần chuẩn bị theo cách có thể tái sử dụng cho lần điều tra lỗi tiếp theo.

Chúng tôi đã quan sát gì

• Các thiết lập của Verifier như Handles, Heaps và Low Resource Simulation.
• Dấu vết của các đường lỗi, bao gồm !htrace và page heap.
• Sự tương ứng giữa log vòng đời tự xây dựng và thông tin dừng của Verifier.

Chúng tôi đã cô lập như thế nào

Trước tiên, chúng tôi tách những gì có thể theo dõi chỉ bằng log thông thường khỏi những gì không thấy được nếu không áp dụng Verifier. Sau đó, chúng tôi áp dụng Verifier lên một đường thực thi đã được chuyển thành test harness và chọn cách tiếp cận làm lộ sớm hơn những bất thường khó tái hiện.

Chúng tôi đã cải thiện như thế nào

• Chúng tôi chuẩn bị một nền tảng kiểm thử chủ động đi qua các đường lỗi.
• Chúng tôi giúp quan sát được các bất thường về handle và heap trong chu kỳ ngắn hơn.
• Chúng tôi sắp xếp các điểm quan sát theo cách dễ phản hồi lại vào việc rà soát thiết kế và các biện pháp phòng ngừa tái diễn.

Các dịch vụ liên quan đến tình huống này

Tình huống này kết nối trực tiếp với dịch vụ điều tra và phân tích lỗi nhằm tái hiện sự cố và xác định nguyên nhân. Nó cũng liên quan đến tư vấn kỹ thuật và đánh giá thiết kế, để quyết định nên đưa kiểm thử đường lỗi và các điểm quan sát vào thiết kế đến mức nào.

Bài viết liên quan

Liên hệ với chúng tôi

Nếu trang này mô tả tình huống giống của bạn, hãy cho chúng tôi biết bối cảnh hiện tại và loại hỗ trợ bạn cần.