مسعود وحیدی - دانشگاه تهران پردیس بین المللی کیش، دانشجوی کارشناسی ارشد گروه مهندسی
سپیده کلاه دوز

در این مقاله سعی می شود روشی برای تست نرم افزار با استفاده از ابزار NModel ارائه دهیم به همین جهت ابتدا سیستم مدیریت دما را شبیه سازی می کنیم، سپس با استفاده از آن مدل شبیه سازی شده به صورت اتو ماتیک تولید موارد تست (TestCase) می نمایم و بر اساس موارد تست به دست آمده، آن مدل را مورد تست و ارزیابی قرار می دهیم و وضعیت های بن بست، نا امن، حلقه های بی نهایت را اگر در سیستم اتفاق افتد را شناسایی کرده که این موارد در زمان طراحی شناسایی می شود که یکی از مزیت های تست مبتنب بر مدل می باشد که در یک محیط واقعی در زمان طراحی سیستم خطا های موجود را شناساییمی کند. در این مقاله نشان می دهیم که 3 وضعیت نا امن 22 وضعیت مرده و 7 وضعیت قابل قبول توسط تست مبتنی بر مدل کشف می شود همینطور نشان می دهیم چگونه می توان با مدل مبتنی بر تست (Model Based Testing) خطا های طراحی را کشف نمود.

Model Based Testing ، NModel ، Nunit