ارایه روشی به منظور درستی یابی سیستم های مدل شده با UML توسط سیستم های وارسی مدل
سال انتشار: 1392
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 950
فایل این مقاله در 8 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
BPJ01_333
تاریخ نمایه سازی: 29 دی 1392
چکیده مقاله:
امروزه ابزارهای وارسی مدل بسیارموردتوجه طراحان قرارگرفته اند یکی ازابزارهای معروف دروارسی مدل ابزار باگر BOGOR) میباشد که بصورت رایگان دردسترس بوده و با استفاده اززبان برنامه نویسی خاص خود امکان بسیاری جهت وارسی مدلهایمختلف ارایه میدهد دراین مقاله راه حلی برای وارسی نمودارحالت با استفاده ازتبدیل آن به زبان مخصوص باگر معرفی شده است تا بتوان این فرایند رابصورت خودکار انجام داد برای ارزیابی الگوریتم پیشنهادی ازمطالعه موردی معروف که درابزار پت PAT نیز معرفی شده استفاده گردیده ست و صحت مدل ازلحاظ وجود بن بست و حلقه درنمودارهای حالت بررسی گردیده است نتایج نشان میدهد که باوجود برخی ضعف ابزارها PAT درشناسایی بخشهای مختلف نمودارحالت این ابزار دربرخی موارد نمی تواند به درستی بن بست را تشخیص دهد اما الگوریتم پیشنهادی قادر به تشخیص بن بست درنمودارهای مختلف می باشد
کلیدواژه ها:
نویسندگان
مجید باقری
دانشجوی کارشناسی ارشد
کامران زمانی فر
دانشیاردانشگاه آزاد اسلامی واحد علوم و تحقیقات اصفهان
بهمن زمانی
استادیاردانشگاه آزاد اسلامی واحد علوم و تحقیقات اصفهان
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :