تست نرم افزار مبتنی بر مدل با Nmodel

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

Keywords:

Model Based Testing , NModel , Nunit