مراجعة تدقيق البرامج ، أو تدقيق البرامج ، هي نوع من مراجعة البرامج التي يقوم فيها مدقق واحد أو أكثر ليسوا أعضاء في مؤسسة تطوير البرمجيات بإجراء "فحص مستقل لمنتج برمجي أو عملية برمجية أو مجموعة عمليات برمجية لتقييمها الامتثال للمواصفات أو المعايير أو الاتفاقات التعاقدية أو معايير أخرى ". يشير "المنتج البرمجي" في الغالب ، ولكن ليس حصريًا ، إلى نوع من المستندات الفنية. IEEE Std. 1028 يقدم 32 مثال لمنتجات برمجية خاضعة للمراجعة ، بما في ذلك المنتجات الوثائقية مثل الأنواع المختلفة من الخطط والعقود والمواصفات والتصاميم والإجراءات والمعايير والتقارير ، وكذلك المنتجات غير الوثائقية مثل البيانات وبيانات الاختبار والوسائط القابلة للتسليم. تختلف عمليات تدقيق البرامج عن مراجعات الأقران للبرامج ومراجعات إدارة البرامج من حيث أنها يتم إجراؤها بواسطة موظفين خارجيين ومستقلين عن منظمة تطوير البرمجيات ، وتهتم بتوافق المنتجات أو العمليات ، بدلاً من محتواها التقني ، والجودة الفنية. ، أو الآثار الإدارية. تم اعتماد مصطلح "مراجعة تدقيق البرامج" هنا لتعيين شكل تدقيق البرامج الموضح في IEEE Std. 1028. الأهداف والمشاركين. "الغرض من تدقيق البرامج هو تقديم تقييم مستقل لمطابقة منتجات البرامج والعمليات مع اللوائح والمعايير والخطط والإجراءات المعمول بها". يوصى باستخدام الأدوار التالية: مبادئ تدقيق البرامج. يجب أن تجد المبادئ التالية لعملية التدقيق انعكاسًا: السياق المالي: هناك حاجة إلى مزيد من الشفافية لتوضيح ما إذا كان البرنامج قد تم تطويره تجاريًا وما إذا كان التدقيق ممولًا تجاريًا (تدقيق مدفوع). هناك فرق سواء كانت هواية / مشروع مجتمعي خاص أو ما إذا كانت وراءه شركة تجارية. المراجع العلمية لوجهات نظر التعلم: يجب أن يصف كل تدقيق النتائج بالتفصيل في السياق وأن يسلط الضوء أيضًا على التقدم واحتياجات التطوير بشكل بناء. المدقق ليس والد البرنامج ، ولكنه يعمل في دور المرشد إذا تم اعتبار المدقق جزءًا من دائرة التعلم PDCA (PDCA = Plan-Do-Check-Act). يجب أن يكون هناك بعد وصف نقاط الضعف المكتشفة أيضًا وصفًا للفرص المبتكرة وتطوير الإمكانات. الأخلاقيات: لا ينبغي للقارئ الاعتماد فقط على نتائج مراجعة واحدة ، ولكن أيضًا الحكم وفقًا لحلقة من نظام الإدارة (على سبيل المثال PDCA ) ، للتأكد من أن فريق التطوير أو المراجع كان جاهزًا ومستعدًا لإجراء مزيد من التحليل ، وكذلك في عملية التطوير والمراجعة مفتوحة للتعلم والنظر في ملاحظات الآخرين. يجب أن تكون قائمة المراجع مصحوبة في كل حالة من حالات التدقيق. تضمين أدلة المستخدم والوثائق: يجب إجراء فحص إضافي ، لمعرفة ما إذا كانت هناك أدلة ووثائق فنية ، وإذا تم توسيعها. تحديد المراجع للابتكارات: يجب اختبار التطبيقات التي تسمح بالرسائل إلى جهات الاتصال غير المتصلة والمتصلة بالإنترنت على حد سواء ، لذا يجب اختبار الدردشة والبريد الإلكتروني في تطبيق واحد - كما هو الحال أيضًا مع Goldbug - بأولوية عالية (معيار الدردشات التواجدية بالإضافة إلى إلى وظيفة البريد الإلكتروني). يجب على المدقق أيضًا إبراز الإشارات إلى الابتكارات ودعم المزيد من احتياجات البحث والتطوير. تصف قائمة مبادئ التدقيق هذه لتطبيقات التشفير - بما يتجاوز أساليب التحليل الفني - خاصة القيم الأساسية التي يجب أخذها في الاعتبار أدوات. يمكن إجراء أجزاء من تدقيق البرامج باستخدام أدوات التحليل الثابت التي تحلل كود التطبيق وتسجيل مدى توافقها مع المعايير والمبادئ التوجيهية وأفضل الممارسات. من قائمة الأدوات لتحليل الكود الثابت ، يغطي
هي نوع من مراجعة البرامج التي يقوم فيها مدقق واحد أو أكثر ليسوا أعضاء في مؤسسة تطوير البرمجيات بإجراء "فحص مستقل لمنتج برمجي أو عملية برمجية أو مجموعة عمليات برمجية لتقييمها الامتثال للمواصفات أو المعايير أو الاتفاقات التعاقدية أو معايير أخرى "
ما هي مراجعة تدقيق البرامج؟

يجب أن تجد المبادئ التالية لعملية التدقيق انعكاسًا: السياق المالي: هناك حاجة إلى مزيد من الشفافية لتوضيح ما إذا كان البرنامج قد تم تطويره تجاريًا وما إذا كان التدقيق ممولًا تجاريًا (تدقيق مدفوع)
ما هي المبادئ التي يجب أن تكون موجودة في تدقيق البرامج؟

يجب أن يصف كل تدقيق النتائج بالتفصيل في السياق وأن يسلط الضوء أيضًا على التقدم واحتياجات التطوير بشكل بناء.
ماذا يعني السياق المالي في تدقيق البرامج؟

يجب أن يكون هناك بعد وصف نقاط الضعف المكتشفة أيضًا وصفًا للفرص المبتكرة وتطوير الإمكانات.
لماذا يجب أن يتضمن تقرير تدقيق البرامج وصفًا للنقاط الضعيفة والفرص المبتكرة؟

 يجب أن تكون قائمة المراجع مصحوبة في كل حالة من حالات التدقيق. 
لماذا يجب أن تكون قائمة المراجع مرفقة في حالات التدقيق؟

يجب إجراء فحص إضافي ، لمعرفة ما إذا كانت هناك أدلة ووثائق فنية ، وإذا تم توسيعها
ما هو دور أدلة المستخدم والوثائق في تدقيق البرامج؟

يمكن إجراء أجزاء من تدقيق البرامج باستخدام أدوات التحليل الثابت التي تحلل كود التطبيق وتسجيل مدى توافقها مع المعايير والمبادئ التوجيهية وأفضل الممارسات
ماذا تغطي أدوات التحليل الثابت من قائمة الأدوات؟



