پاورپوینت ارزيابی کارائی نرم افزار با بهره گيری از مدلهای رسمی (pptx) 42 اسلاید

دسته بندی : پاورپوینت

نوع فایل : PowerPoint (.pptx) ( قابل ویرایش و آماده پرینت )

تعداد اسلاید: 42 اسلاید

قسمتی از متن PowerPoint (.pptx) :

بنام خدا 2 ارزيابی کارائی نرم افزار با بهره گيری از مدلهای رسمی 3 رئوس مطالب شبکه های پتری مروری اجمالی بر يک مدل واقعی (Pragmatic Model) نقش نمودارهای UML در خصوص کارائی ارزيابی کارائی سيستم با استفاده از شبکه پتری رنگی 4 شبکه های پتری تعريف رسمی شبکه های پتری : C=(P , T , I , O) نشانه گذاری شبکه های پتری (Petri net Marking) نشانه µ گذاری شبکه پتری ، انتساب نشانه ها (Token) به مکان های شبکه پتری می باشد. بردار µ=(µ1,…, µn) برای هر مکان در شبکه پتری ، تعداد مهره ها در آن مکان را نشان می دهد. يک انتقال آتش (Fire) می کند اگر توانا (Enable) شده باشد. انتقال در صورتی توانا می شود که هر مکان ورودی حداقل يک مهره داشته باشد. در ادامه انتقال بوسيله برداشتن يک مهره از هر مکان ورودی آن و سپس قرار دادن يک مهره در هر مکان خروجی آتش می کند. 5 شبکه پتری رنگی ((Color Petri Net در شبکه پتری رنگی نشانه ها دارای خصوصياتی می باشند که به آنها رنگ گفته می شود. رنگ نشانه ها در واقع مبين تعلق نشانه ها به گروه ها متفاوت و تمايز رفتارشان در شبکه است. مفهوم رنگ برای نشانه ها مشابه مفهوم زنجيره ها يا رده ها در شبکه های صف است. هر نشانه يک شيئ داده ای از يک نوع داده ای يا يک ساختار داده ای تعريف شده توسط کاربر است. 6 شبکه پتری رنگی ((Color Petri Net t1 blue red red 7 مروری اجمالی بر يک مدل واقعی (Pragmatic Model) و تبديل آن به مدل رسمی (Formal Model) 8 مهندسی کارائی نرم افزار(SPE) يک روش (يک رويکرد سيستماتيک و کمی) برای ساخت سيستمهای نرم افزاری است، بگونه ای که اهداف کيفی را مشاهده نمايند. راهکار پيشنهادی مهندسی کارائی نرم افزار جهت ايجاد بستر مناسب برای مدلسازی و ارزيابی کارائی نرم افزار در طول فرايند توسعه نرم افزار : استفاده از زيرنمايه کارائی در UML مرسگوئر رويکرد SPE (رويکرد مبتنی بر سناريو) را بازبينی نموده و در رويکرد خود نقش نمودارهای UML را در خصوص کارائی مورد توجه قرار داد. نمودارهای UML: نمودارهای رفتاری نمودارهای ساختاری نمودارهای پياده سازی 9 نقش نمودار مورد کاربری در خصوص کارائی با نمودار مورد کاربری می توان مشخص نمود هر عامل به چه ميزان از سيستم استفاده می نمايد. نمودار مورد کاربری (m کاربر و n مورد کاربری): :کثرت استفاده کاربر i ام از سيستم : احتمال آنکهi امين کاربر از مورد کاربری j ام استفاده نمايد آنگاه احتمال آنکه نمودار ترتيبی متناظر با مورد کاربری x مورد استفاده قرار گيرد برابر است با :