روشی جهت محاسبه قابلیت اطمینان در سطح معماری نرم افزار با استفاده از شبکه های پتری

  • سال انتشار: 1392
  • محل انتشار: نخستین همایش منطقه ای فناوری اطلاعات
  • کد COI اختصاصی: TABARESTAN01_061
  • زبان مقاله: فارسی
  • تعداد مشاهده: 1847
دانلود فایل این مقاله

نویسندگان

ناهید تهجدی

دانشجوی کارشناسی ارشد مهندسی کامپیوتر

علی هارون آبادی

استادیار،دانشگاه آزاد اسلامی واحد تهران مرکز

چکیده

معماری نرم افزاربه عنوان اولین محصول نقش مهم و مستقیمی درتوسعه سیستم های نرم افزاری پیچیده ایفا می کند و باکمک آن میتوان رفتارقابل ارزیابی سیستم یعنی صفات کیفیتی آن را مانند قابلیت اطیمنان امنیت استفاده و تغییر و کارایی را مورد سنجش قرارمیدهد یک روش برای ارزیابی معماری نرم افزار ایجادمدلی قابل اجرا ازمعماری است دریک مدل قابل اجرا ازمعماری توصیفی رسمی ازمعماری محسوب میشود که با آن میتوان قبل ازپیادهسازی معماری رفتارنهایی سیستم را مشاهده و بررسی نمود و ایردهای احتمالی درمعماری را ردیابی نمود این تحقیق سعی بران است که بتوان با استفاده ازیک مدل واقعی به توصیف معماری نرم افزار پرداخت سپس ویژگیهایی ازمعماری نرم افزار با استفاده ازنمودارهای uml بیان میشود و اطلاعات لازم دررابطه با نیازهای غیروظیفه مندی درقالب نمایه های عملیاتی به صورت کلیشه ها و برچسب هایی به نمودارهای UML حاشیه نویسی میشود تا به یک مدل رسمی مبتنی برشبکه پتری رنگی به منظور محاسبه قابلیت اطمینان درسطح معماری نرم افزار ایجادنمود درحقیق با معرفی پرامتر احتمال شکست مولفه ها احتمال شکست روابط بین مولفه ها و زمان درشبکه پتری رنگی امکان ارزیابی قابلیت اطمینان معماری نرم افزار بروی مدل رسمی فراهم میشود ارزیابی مدل رسمی دراین تحقیق با ابزار CPN TOOLSانجام میشود نتایج مطالعه موردی نشان میدهد رویکرد پیشنهادی محاسبه قابلیت اطمینان را بهبود می بخشد

کلیدواژه ها

معماری نرم افزار/زبان مدلسازی یکپارچه /ارزیابی قابلیت اطمینان/شبکه پتری رنگی

مقالات مرتبط جدید

اطلاعات بیشتر در مورد COI

COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.

کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.