ارزیابی قابلیت اطمینان در معماری نرمافزار بر اساس مدلی مبتنی بر ریاضیات(آتاماتا)

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

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

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

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

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

NCCEB01_017

تاریخ نمایه سازی: 18 خرداد 1393

چکیده مقاله:

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

کلیدواژه ها:

ارزیابی معماری نرم افزار ، قابلیت اطمینان ، آتاماتا

نویسندگان

آزاده ضیایی جزی

مربی، اصفهان، شاهین شهر، موسسه آموزش عالی بنیان

طیبه حیات

موسسه آموزش عالی بنیان

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

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • .P. Shanmugapriya and R. M. Suresh, "Software Architecture Computer Applications, ...
  • R. Banani andT., Graham, Methos for Evaluating Software Architecture: Asurvy" ...
  • c .Del Rosso.: Continuous evolution throughsoftware architecture evaluation: a case ...
  • C. Trubiani, " Automated Generation of Architecturl Feedback from Software ...
  • model-checker? Formal Aspects of Computing, 1999. p». 637- 664. ...
  • E .Mikk, Y. Lakhnech, CS. Petersohn and . Siegel., "On ...
  • L. Jing, L. Jinhua, Z. Fangnin, ":Model checking UML activity ...
  • نمایش کامل مراجع