سال انتشار: ۱۳۸۶

محل انتشار: دهمین کنفرانس دانشجویی مهندسی برق ایران

تعداد صفحات: ۸

نویسنده(ها):

مجتبی وطنی – دانشجوی کارشناسی ارشد مهندسی نرم افزار
بهروز ترک لادانی – عضو هیئت علمی گروه کامپیوتر دانشگاه اصفهان
ناصر نعمت بخش – عضو هیئت علمی گروه کامپیوتر دانشگاه اصفهان

چکیده:

یکی از مهمترین مسائلی که طراحان نرم افزار با آن روبرو هستند تست نرم افزار است تست نرم افزار با استفاده از ابزارهای پیش از کد نظیر مدل و مشخصات به توسعه دهندگان نرم افزار این امکان را میدهد که دنباله های تست را پیش از تولید کد و به موازات آن تولید کنند به این روش تست تست مبتنی بر مدل می گویند روشهای زیادی برای این منظور ارائه شده اند که از مدلهایی نظیر ماشین های حالت متناهی یا مدلهای فرمال برای تولیدخودکار موارد تست استفاده می کنند بدنبال کاستی هایی نظیر تولید موارد تست طولانی و تولید موواردتست زائد بر آن شدیم تا روش جدیدی برای این منظور ارائه دهیم.