التصميم الدفاعي

يمكن لقرارات التنفيذ وأساليب تصميم البرمجيات أن تجعل البرمجيات أكثر أمانًا وتكشف أخطاء المستخدم. ويُطلق على الكود الذي يُنفذ ذلك اسم فحص السلامة .

• يمكن لشاشات إدخال البيانات "تطهير" المدخلات من خلال اشتراط أن تحتوي الحقول الرقمية، على سبيل المثال، على أرقام فقط، وإذا كان ذلك مقبولاً، علامة موجبة أو سالبة واحدة و/أو فاصلة عشرية.

• يمكن التحقق من صحة القيم المدخلة. على سبيل المثال، بالنسبة لعدد إصابات العمل (أو عدد الأشخاص المصابين)، يمكن أن يكون العدد صفرًا، ولكن لا يمكن أن يكون سالبًا ويجب أن يكون عددًا صحيحًا؛ أما بالنسبة لعدد ساعات العمل في أسبوع واحد، فيمكن أن يكون المبلغ لأي موظف محدد صفرًا أو كسرًا، ولكن لا يمكن أن يكون سالبًا، أو أكبر من 168، أو أكثر من 24 ضعف عدد أيام حضور الموظف.

• يجب على برنامج معالجة النصوص الذي يُطلب منه تحميل مستند محفوظ أن يفحص المستند للتأكد من سلامته وعدم تلفه . إذا كان تالفًا، فيجب على البرنامج إبلاغ المستخدم بذلك، ثم إما قبول الجزء السليم من المستند، أو رفض المستند بالكامل. في كلتا الحالتين، يجب أن يبقى البرنامج قيد التشغيل ولا يتوقف.

تعتمد العديد من الموصلات الكهربائية على هذا المبدأ من خلال تصميمها غير المتماثل. في المقابل، تتميز مقابس USB-C بأنها متماثلة ميكانيكيًا وليست متماثلة كهربائيًا، ولكنها تُوهم بالتماثل نتيجةً لكيفية استجابة الأجهزة للكابل، وبالتالي يمكن توصيلها بطريقتين. وتجعل الدوائر الكهربائية المصاحبة المقابس والكابلات تتصرف كما لو كانت متماثلة.