مقاله ارایه روشی به منظور درستی یابی سیستم های مدل شده با UML توسط سیستم های وارسی مدل


در حال بارگذاری
مقاله ارایه روشی به منظور درستی یابی سیستم های مدل شده با UML توسط سیستم های وارسی مدل
23 اکتبر 2022
فایل ورد و پاورپوینت
2120
3 بازدید
۷۹,۷۰۰ تومان
خرید

توجه : به همراه فایل word این محصول فایل پاورپوینت (PowerPoint) و اسلاید های آن به صورت هدیه ارائه خواهد شد

  مقاله ارایه روشی به منظور درستی یابی سیستم های مدل شده با UML توسط سیستم های وارسی مدل دارای ۱۰ صفحه می باشد و دارای تنظیمات در microsoft word می باشد و آماده پرینت یا چاپ است

فایل ورد مقاله ارایه روشی به منظور درستی یابی سیستم های مدل شده با UML توسط سیستم های وارسی مدل  کاملا فرمت بندی و تنظیم شده در استاندارد دانشگاه  و مراکز دولتی می باشد.

توجه : در صورت  مشاهده  بهم ریختگی احتمالی در متون زیر ،دلیل ان کپی کردن این مطالب از داخل فایل ورد می باشد و در فایل اصلی مقاله ارایه روشی به منظور درستی یابی سیستم های مدل شده با UML توسط سیستم های وارسی مدل،به هیچ وجه بهم ریختگی وجود ندارد

بخشی از متن مقاله ارایه روشی به منظور درستی یابی سیستم های مدل شده با UML توسط سیستم های وارسی مدل :

تعداد صفحات:۱۰
چکیده:
امروزه ابزارهای وارسی مدل بسیارموردتوجه طراحان قرارگرفته اند یکی ازابزارهای معروف دروارسی مدل ابزار باگر BOGOR) میباشد که بصورت رایگان دردسترس بوده و با استفاده اززبان برنامه نویسی خاص خود امکان بسیاری جهت وارسی مدلهایمختلف ارایه میدهد دراین مقاله راه حلی برای وارسی نمودارحالت با استفاده ازتبدیل آن به زبان مخصوص باگر معرفی شده است تا بتوان این فرایند رابصورت خودکار انجام داد برای ارزیابی الگوریتم پیشنهادی ازمطالعه موردی معروف که درابزار پت PAT نیز معرفی شده استفاده گردیده ست و صحت مدل ازلحاظ وجود بن بست و حلقه درنمودارهای حالت بررسی گردیده است نتایج نشان میدهد که باوجود برخی ضعف ابزارها PAT درشناسایی بخشهای مختلف نمودارحالت این ابزار دربرخی موارد نمی تواند به درستی بن بست را تشخیص دهد اما الگوریتم پیشنهادی قادر به تشخیص بن بست درنمودارهای مختلف می باشد

  راهنمای خرید:
  • در صورتی که به هر دلیلی موفق به دانلود فایل مورد نظر نشدید با ما تماس بگیرید.