Formal techniques, such as fuzz testing, are essential to showing robustness since this type of testing involves invalid or unexpected inputs.
التقنيات الشكلية، مثل اختبار الـ fuzz، ضرورية لإثبات المتانة لأن هذا النوع من التجارب ينطوي على المدخلات غير الصالحة أو غير المتوقعة.