اختبار جميع الأزواج

في علوم الحاسوب ، يُعدّ اختبار الأزواج أو الاختبار الثنائي طريقةً توافقيةً لاختبار البرمجيات ، حيث يتم اختبار جميع التوليفات المنفصلة الممكنة لكل زوج من مُدخلات النظام (عادةً خوارزمية برمجية ). وباستخدام متجهات اختبار مُختارة بعناية ، يُمكن إنجاز ذلك بسرعة أكبر بكثير من البحث الشامل عن جميع توليفات جميع المُدخلات، وذلك من خلال "توازي" اختبارات أزواج المُدخلات. ^{[ 1 ]}

في معظم الحالات، يكون مُدخل واحد أو تفاعل بين مُدخلين هو سبب أخطاء البرنامج. ^{[ 2 ]} أما الأخطاء التي تتضمن تفاعلات بين ثلاثة مُدخلات أو أكثر فهي أقل شيوعًا ^{[ 3 ]} وأكثر تكلفة في الوقت نفسه، إذ يقتصر هذا النوع من الاختبارات على اختبار جميع المُدخلات المُحتملة. ^{[ 4 ]} لذا، تُعد التقنية التوافقية لاختيار حالات الاختبار، مثل اختبار جميع الأزواج، حلاً وسطًا مُفيدًا من حيث التكلفة والفوائد، حيث تُتيح تقليلًا كبيرًا في عدد حالات الاختبار دون المساس بشكل كبير بتغطية الوظائف. ^{[ 5 ]}

وبشكل أكثر دقة، إذا افترضنا أن حالة الاختبار قد${\displaystyle N}$المعلمات المعطاة في مجموعة${\displaystyle \{P_{i}\}=\{P_{1},P_{2},...,P_{N}\}}$يتم تحديد نطاق المعلمات بواسطة${\displaystyle R(P_{i})=R_{i}}$لنفترض أن${\displaystyle |R_{i}|=n_{i}}$نلاحظ أن عدد جميع حالات الاختبار الممكنة هو${\displaystyle \prod n_{i}}$إن تصور أن الكود يتعامل مع الشروط التي تأخذ معلَمين فقط في كل مرة، قد يقلل من عدد حالات الاختبار المطلوبة.

للتوضيح، لنفترض وجود المعاملات X وY وZ. يمكننا استخدام دالة منطقية من الشكل التالي:${\displaystyle P(X,Y,Z)}$من الرتبة 3، والتي تأخذ جميع القيم الثلاث كمدخلات، أو بالأحرى ثلاث مسندات مختلفة من الرتبة 2 على النحو التالي:${\displaystyle p(u,v)}$.${\displaystyle P(X,Y,Z)}$يمكن كتابتها بصيغة مكافئة لـ${\displaystyle p_{xy}(X,Y),p_{yz}(Y,Z),p_{zx}(Z,X)}$حيث تشير الفاصلة إلى أي تركيبة. إذا كُتب الكود على شكل شروط تأخذ "أزواجًا" من المعاملات، فإن مجموعة خيارات النطاقات${\displaystyle X=\{n_{i}\}}$يمكن أن تكون مجموعة متعددة ، لأنه يمكن أن يكون هناك معلمات متعددة لها نفس عدد الخيارات.

${\displaystyle max(S)}$هو أحد القيم القصوى للمجموعة المتعددة${\displaystyle S}$ سيكون عدد حالات الاختبار الثنائية على دالة الاختبار هذه كما يلي: ${\displaystyle T=max(X)\times max(X\setminus max(X))}$

لذلك، إذا كان${\displaystyle n=max(X)}$و${\displaystyle m=max(X\setminus max(X))}$عندئذٍ يكون عدد الاختبارات عادةً O( nm )، حيث n و m هما عدد الاحتمالات لكل من المعلمتين اللتين تحتويان على أكبر عدد من الخيارات، ويمكن أن يكون أقل بكثير من العدد الإجمالي${\displaystyle \prod n_{i}}$·

يمكن اعتبار اختبار N-wise الشكل المعمم لاختبار الأزواج.

الفكرة هي تطبيق الفرز على المجموعة ${\displaystyle X=\{n_{i}\}}$لهذا السبب.${\displaystyle P=\{P_{i}\}}$يتم ترتيبها أيضًا. لنفترض أن المجموعة المرتبة هي ${\displaystyle N}$مترابطة بيانية  :-

${\displaystyle P_{s}=<P_{i}>\;;\;i<j\implies |R(P_{i})|<|R(P_{j})|}$

الآن يمكننا أخذ المجموعة${\displaystyle X(2)=\{P_{N-1},P_{N-2}\}}$ويمكننا أن نسميها اختبار المقارنة الثنائية. وبتعميم ذلك، يمكننا أن نأخذ المجموعة${\displaystyle X(3)=\{P_{N-1},P_{N-2},P_{N-3}\}}$ويمكننا أن نسميها اختبار الحكمة الثلاثية. في النهاية، يمكننا القول${\displaystyle X(T)=\{P_{N-1},P_{N-2},...,P_{NT}\}}$ اختبار T-wise.

سيكون اختبار N-wise إذن هو ببساطة جميع التركيبات الممكنة من الصيغة المذكورة أعلاه.

ضع في اعتبارك المعايير الموضحة في الجدول أدناه.

تتضمن خيارات "مُمكّن" و"نوع الاختيار" و"الفئة" نطاقًا من 2 و3 و4 على التوالي. يتضمن الاختبار الشامل 24 اختبارًا (2 × 3 × 4). بضرب أكبر قيمتين (3 و4)، يتضح أن الاختبارات الثنائية تتضمن 12 اختبارًا. تُعرض أدناه حالات الاختبار الثنائية، التي تم إنشاؤها بواسطة أداة "pict" من مايكروسوفت.

• اختبار البرمجيات
• اختبار المصفوفة المتعامدة

• الاختبارات التوافقية الثنائية والمعممة من نوع t
• اختبار المقارنة الثنائية في العالم الحقيقي: تطبيقات عملية لسيناريوهات حالات الاختبار