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

سال انتشار: 1392
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 950

فایل این مقاله در 8 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

BPJ01_333

تاریخ نمایه سازی: 29 دی 1392

چکیده مقاله:

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

کلیدواژه ها:

ابزارباگر ، زبان مدلسازی یکپارچه ، مطالعه موردی ماشین خودپرداز ، نمودارحالت ، وارسی مدل

نویسندگان

مجید باقری

دانشجوی کارشناسی ارشد

کامران زمانی فر

دانشیاردانشگاه آزاد اسلامی واحد علوم و تحقیقات اصفهان

بهمن زمانی

استادیاردانشگاه آزاد اسلامی واحد علوم و تحقیقات اصفهان

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • Baier, C. and J.-P. Katoen, Principles of model checking. Vol. ...
  • Rumbaugh, J., I. Jacobson, and G. Booch, The unified modeling ...
  • Leveson, N.G. and C.S. Turner, An investigation of the Therac-25 ...
  • Schach, S.R., Object-orien ted and classical software engineering. Vol. 8. ...
  • Lilius, J. and I.P. Paltor. vUML: A tool for verifjing ...
  • Roff, J.T., UML: _ beginner's guide. 2003: O sborne/Mc Graw-Hi ...
  • Cimatti, A., et al. Nusmv 2: An opersource tool for ...
  • Machines. in Second ACIS In ternational Conference on Software Engineering ...
  • Dwyer, M.B. and J. Hatcliff. Bogor: A flexible framework for ...
  • Dwyer, M.B. and J. Hatcliff. Bogor: _ extensible and highly-modular ...
  • Applications, 2007. SERA 2007 5th ACIS International Conference on. 2007. ...
  • Rasulzadeh, S., Formal Modeling and Verification of Software Models. Proceedings ...
  • E l ektro techniczny, 2012. 88(1b): p. 182-184. Jafaria, S. ...
  • Rafe, V. and S. Doostali, ASM2Bogor: An approach for verification ...
  • Sun, J., Y. Liu, and J.S. Dong, Model checking CSP ...
  • Liu, Y., J. Sun, and J.S. Dong. Pat 3: An ...
  • International Symposium on. 2011. IEEE. ...
  • Holzmann, G.J., The model checker SPIN. Software Engineering, IEEE Transactions ...
  • Booch, G., The Unified Modeling Language User Guide, 2/E. 2005: ...
  • نمایش کامل مراجع