PyModel هو إطار الاختبار التي تعتمد نموذج المصدر المفتوح في بيثون.
في اختبار وحدة، رموز مبرمج حالات الاختبار، وكذلك رموز تأكيدات أن تحقق ما إذا كان كل حالة اختبار مرت. في الاختبارات القائمة على النموذج، ورموز مبرمج "نموذجا" الذي يولد العديد من حالات الاختبار النحو المرغوب فيه وأيضا بمثابة المحراب أن يتحقق الحالات.
ينصح القائم على نموذج الاختبار التي تحتاج إلى الكثير من حالات الاختبار أنه ليس من المجدي رمز كل منهم باليد. وتنشأ هذه الحاجة عند اختبار السلوكيات التي تظهر تاريخ الاعتماد وnondeterminism، حتى أن العديد من الاختلافات (قيم البيانات، interleavings، الخ) وينبغي اختبار لكل سيناريو (أو استخدام الحالة). ومن الأمثلة على ذلك بروتوكولات الاتصالات وتطبيقات الويب وأنظمة التحكم، واجهات المستخدم.
يدعم PyModel على ذبابة على الاختبار، والتي يمكن أن تولد الاختبارات nonrepeating طويلة إلى أجل غير مسمى أثناء تنفيذ اختبار التشغيل. PyModel يمكن أن تركز حالات الاختبار على سيناريوهات الفائدة من خلال التركيبة، وهي تقنية متعددة الاستخدامات تجمع بين النماذج من مزامنة الإجراءات المشتركة والتداخل الإجراءات غير مشترك. PyModel يمكن أن توجه تغطية الاختبار وفقا لاستراتيجيات برمجة مشفرة من قبل مبرمج.
يوفر PyModel ثلاثة برامج:
- pma.py pymodel محلل: يولد آلة الدولة المحدودة (FSM) ويحسب الخصائص من خلال استكشاف برنامج نموذجي، ولايات ميكرونيزيا الموحدة، جناح اختبار، أو نتاج هذه.
- الرسومات pmg.py pymodel: بإنشاء ملف أوامر الرسم من ولايات ميكرونيزيا الموحدة.
- pmt.py pymodel اختبار: يعرض آثار، يولد الاختبارات حاليا، ينفذ حاليا الاختبارات، أو يولد وينفذ الاختبارات على ذبابة.
استخدام سلطة النقد الفلسطينية وPMG لتصور ومعاينة سلوك PMT. كل مسار من خلال الرسم البياني إنشاؤها من قبل سلطة النقد الفلسطينية (والتي رسمها فريق مراقبة السلام) هو أثر (تشغيل تجريبي) التي يمكن أن تولدها PMT، عندما يتم استدعاء سلطة النقد الفلسطينية وPMT مع نفس الحجج.
ويتأثر PyModel التي كتبها NModel، ولكن ليست ترجمة أو إعادة تنفيذ
المتطلبات:.
بيثون
لم يتم العثور على التعليقات