در PyModel چارچوب آزمایش مبتنی بر مدل منبع باز در پایتون است.
در تست واحد، کدهای برنامه نویس موارد آزمون، و همچنین کدهای اظهارات که بررسی کنید که آیا هر تست منتقل می شود. در آزمایش مبتنی بر مدل، کدهای برنامه نویس "مدل" است که به تولید به عنوان بسیاری از موارد آزمون به عنوان مورد نظر و همچنین به عنوان اوراکل که چک موارد عمل می کند.
مدل مبتنی بر آزمایش توصیه می شود که در آن بسیاری از موارد آزمون مورد نیاز است که آن را عملی به همه آنها را کد با دست نیست. این نیاز زمانی رخ میدهد که تست رفتارهایی که نشان تاریخ وابستگی و nondeterminism، به طوری که بسیاری از تغییرات (ارزش داده ها، interleavings، و غیره) باید برای هر سناریو مورد آزمایش قرار (و یا استفاده مورد). مثالها عبارتند از پروتکل های ارتباطی، برنامه های وب، سیستم های کنترل، و رابط کاربر.
PyModel پشتیبانی در پرواز آزمایش، که می تواند به طور نامحدود آزمون nonrepeating طولانی تولید به عنوان آزمون اجرا اجرا می کند. PyModel می تواند موارد آزمون در سناریوهای مورد علاقه های ترکیب، روش همه کاره است که ترکیبی از مدل های به اشتراک گذاشته شده با هماهنگ سازی اقدامات و interleaving اقدامات اشتراک گذاشتن تمرکز می کنند. PyModel می تواند پوشش آزمون با توجه به استراتژی های برنامه ریزی کد توسط برنامه نویس را هدایت کند.
PyModel فراهم می کند سه برنامه:
- تجزیه و تحلیل pymodel pma.py: تولید یک ماشین حالت محدود (FSM) و محاسبه خواص از طریق بررسی یک برنامه مدل، FSM، مجموعه تست، و یا محصول از این.
- گرافیک pymodel pmg.py: تولید یک فایل از دستورات گرافیک از FSM.
- تستر pymodel pmt.py: نمایش آثار، تولید آزمون آنلاین، آزمون آنلاین اجرا، و یا تولید و اجرا آزمایش بر روی پرواز.
استفاده از PMA و PMG به تجسم و پیش نمایش رفتار PMT. هر مسیر را از طریق نمودار ایجاد شده توسط PMA (و کشیده شده توسط PMG) ردیابی (آزمون) که ممکن است توسط PMT تولید، هنگامی که PMA و PMT با استدلال مشابه استناد است.
PyModel توسط NModel تحت تاثیر قرار است، اما ترجمه و یا دوباره پیاده سازی نمی
در مورد نیاز:.
پایتون
نظر یافت نشد