آزمون افراز فضای ورودی مبتنی بر توصیف رسمی

چکیده مقاله

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