ارزيابی کارائی نرم افزار با بهره گيری از مدلهای رسمی

ارزيابی کارائی نرم افزار با بهره گيری از مدلهای رسمی

حجم فایل : 840.3 KB نوع فایل : پاور پوینت تعداد اسلاید ها : 42 بنام خدا 2 ارزيابی کارائی نرم افزار با بهره گيری از مدلهای رسمی 3 رئوس مطالب شبکه های پتریمروری اجمالی بر يک مدل واقعی (Pragmatic Model)نقش نمودارهای UML در خصوص کارائیارزيابی کارائی سيستم با استفاده از شبکه پتری رنگی 4 شبکه های پتری تعريف رسمی شبکه های پتری : C=(P , T , I , O) نشانه گذاری شبکه های پتری (Petri net Marking) نشانه µ گذاری شبکه پتری ، انتساب نشانه ها (Token) به مکان های شبکه پتری می باشد.بردار...