2-راضي مشكلة اختبار الحالات

Question

لقد كتبت SAT STOMVER لمشكلة ارتيكية 2، شخص ما، يرجى تقديم قضية اختبار مع القول 10000 حرفي والتي لها مهمة مرضية واحدة فقط، أي حل واحد فقط

The format can be:(for 3 literals)
2            // No of clauses and then each clause
2 3
1 -2
corresponding to
(b+c).(a+!b)

Answer 1

عادة ما تكون تغطية الاختبار صعبة للغاية، معظم الأوقات، لن تنسى فقط عامل أو آخر.

عادة ما أعمل في خطوات قليلة:

1. تأكد من أن يحل مشكلة تافهة (أو بعض)
2. اختبار حافة الاختبار / شروط الحدود: 0 جملة على سبيل المثال
3. حالات الأخطاء الاختبار: المدخلات المنسقة بشكل سيء، مشاكل مع عدم وجود حل
4. اختبار الأداء / الحقن الشامل (معرفة ما إذا كان البرنامج لا تعطل تحت الحمل، لا تسرب، ...)

2) و 3) قابلة للتبديل إلى حد كبير، 4) يجب أن تأتي فقط إذا كان لديك طرق للتحقيق في هذا النوع من المعلومات (معيار، كشف تسرب الذاكرة ...).

نقطة مهمة هي أنه لا يجب عليك عكس مهندس التعليمات البرمجية لكتابة الاختبارات، لأنك ستنتهي بك الأمر باختبار التعليمات البرمجية الخاصة بك، ولكن لا تختبر أنه يطيع المواصفات.

إذا كان مشروع المنزل، فإن المواصفات عادة ما تكون غير رسمية ولكنها لا تزال موجودة (في رأسك) وهذا بعد ذلك يجب أن تنتج حالات الاختبار.

Answer 2

هل هذا النهج يعمل؟

 (a + b ).(a + !b) 

لا يمكن إدراجه هذا فقط إذا كان الأمر صحيحا.

 (a + !b).(!a + !b)

يمكن أن تكون راضية فقط إذا كانت B خطأ. لذلك

  (a + b ).(a + !b).(a + !b).(!a + !b)

يحدد تماما القيم ل A و B. يمكننا الآن تمديد هذا لأي عدد من الحرفيين.

لاختبار تطبيقك، قد تحدد أيضا إعادة التناظر المتناقضة، وبالتالي هناك شيء بدون حل.