امیر سواری - دانشجوی کارشناسی ارشد دانشکده مهندسی کامپیوتر، دانشگاه اصفهان
بهمن زمانی - استادیار دانشکده مهندسی کامپیوتر، دانشگاه اصفهان

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

آزمون مبتنی بر مدل، آزمون مدلرانده، تولید خودکار موارد آزمون، نمودار توالی، پروفایل آزمون یوامال