اختبار :: LETROTEST :: البرنامج التعليمي
التحميل الان

اختبار :: LETROTEST :: البرنامج التعليمي الترتيب والملخص

اختبار :: LETROTEST :: البرنامج التعليمي العلامات

الوحدة النمطية بيرل كيف اختبار البرمجيات lectrotes howto. lectrotes.

اختبار :: LETROTEST :: البرنامج التعليمي وصف

اختبار :: Lectrotestest :: البرنامج التعليمي هو وحدة بيرل التي تحتوي على وثائق حول كيفية استخدام Lectrotest لاختبار البرنامج الخاص بك. اختبار :: LETRROTEST :: البرنامج التعليمي هو وحدة بيرل تحتوي على وثائق حول كيفية استخدام Lectrotest للاختبار البرنامج الخاص بك .synopsislectrootest لاستخدامها، أعلن الخصائص التي تحدد السلوك المتوقع لبرنامجك. ثم استدعاء Lectrotest لاختبار ما إذا كانت هذه الخصائص Hold.Lectrootest يفعل ذلك عن طريق تشغيل تجارب عشوائية متكررة ضد البرنامج الخاص بك. إذا كان Lectrotest يجد أن خاصية لا تعقد، فإنها تنبعث من النموذج المضاد الذي "كسر" برنامجك. يمكنك بعد ذلك توصيل العينة المضادة في برنامجك لتصحيح المشكلة. (من الجيد أيضا إضافة العينة المضادة إلى قائمة اختبارات الانحدار الخاصة بك.) فكر في سلوك البرنامج ككاذبة كومة تبحث عن الإبر. كل خطأ هو إبرة. تريد العثور على الإبر وإزالة منهم. ستقوم Lectrootest بتفتيخ كومة كومة لك - إنها لطيفة بهذه الطريقة - ولكن أولا يجب عليك أن تخبرها عن شكل كومة كومة وكيفية التعرف على إبرة عندما ترى واحدة. يتم تعريف كومة كومة كومة كومة من مجموعة من مجموعة من "Bindings Generator،" التي ترتبط فيها المتغيرات بإخراج مولدات القيمة: X = 0؛ تؤكد أعلاه في كل نقطة في كومة كومة كومة أن يكون إخراج الوظيفة the_thing_we_we_are_testing غير سلبي. يتم دمج ارتباطات المولدات والتعرف على الإبرة لإنشاء عقار: خاصية {## ##. هذا يخبر بيرل أن ارتباطاتنا هي ارتباطات وليس رمز بيرل العادي.) يمكننا قراءة الخاصية أعلاه مثل ذلك: "ل جميع الأعداد الصحيحة X وجميع الأحرف C في النطاق A من خلال Z، نحن نؤكد أن the_thing_we_are_testing غير سلبي. "اختبار ما إذا كانت خصائص Holdafter التي تحددها خصائص برنامجك، ما عليك سوى إضافتها إلى برنامج Perl صغير يستخدم الاختبار :: LETRROTEST وحدة: # MyProperties.lt استخدم MyModule؛ # يوفر the_thing_we_are_testing استخدام اختبار :: lectrotest؛ الملكية {## [x = 0؛ }، الاسم => "the_thing_we_are_testing (...) غير سلبي"؛ ثم يمكنك اختبار خصائصك ببساطة عن طريق تشغيل البرنامج: $ perl myproperties.l.tif خصائصك تحقق، سترى شيئا مثل هذا: 1..1 موافق 1 - 'the_thing_we_are_testing (...) غير سلبي "(1000 محاولة) إذا حدث خطأ ما، فسيخبرك Lectrotest حيث حدث ذلك: 1..1 لا موافق 1 -' the_thing_we_are_testing (. ..) غير سلبي "مزيف" في 23 محاولات # Sitterexample: # $ x = 4 # $ c = "r" ما يقوله هذا هو أنه عند النقطة (x = 4، c = "r") في كومة كومة هناك إبرة (أي الملكية الخاصة بك لا تحمل). باستخدام هذه المعلومات، يمكنك فحص التعليمات البرمجية لتحديد سبب الخطأ. متطلبات: perl.

اختبار :: LETROTEST :: البرنامج التعليمي برامج ذات صلة