روشی جهت محاسبه قابلیت اطمینان در سطح معماری نرم افزار با استفاده از شبکه های پتری
Publish place: The first regional conference on information technology
Publish Year: 1392
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 1,707
This Paper With 8 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
TABARESTAN01_061
تاریخ نمایه سازی: 25 اسفند 1392
Abstract:
معماری نرم افزاربه عنوان اولین محصول نقش مهم و مستقیمی درتوسعه سیستم های نرم افزاری پیچیده ایفا می کند و باکمک آن میتوان رفتارقابل ارزیابی سیستم یعنی صفات کیفیتی آن را مانند قابلیت اطیمنان امنیت استفاده و تغییر و کارایی را مورد سنجش قرارمیدهد یک روش برای ارزیابی معماری نرم افزار ایجادمدلی قابل اجرا ازمعماری است دریک مدل قابل اجرا ازمعماری توصیفی رسمی ازمعماری محسوب میشود که با آن میتوان قبل ازپیادهسازی معماری رفتارنهایی سیستم را مشاهده و بررسی نمود و ایردهای احتمالی درمعماری را ردیابی نمود این تحقیق سعی بران است که بتوان با استفاده ازیک مدل واقعی به توصیف معماری نرم افزار پرداخت سپس ویژگیهایی ازمعماری نرم افزار با استفاده ازنمودارهای uml بیان میشود و اطلاعات لازم دررابطه با نیازهای غیروظیفه مندی درقالب نمایه های عملیاتی به صورت کلیشه ها و برچسب هایی به نمودارهای UML حاشیه نویسی میشود تا به یک مدل رسمی مبتنی برشبکه پتری رنگی به منظور محاسبه قابلیت اطمینان درسطح معماری نرم افزار ایجادنمود درحقیق با معرفی پرامتر احتمال شکست مولفه ها احتمال شکست روابط بین مولفه ها و زمان درشبکه پتری رنگی امکان ارزیابی قابلیت اطمینان معماری نرم افزار بروی مدل رسمی فراهم میشود ارزیابی مدل رسمی دراین تحقیق با ابزار CPN TOOLSانجام میشود نتایج مطالعه موردی نشان میدهد رویکرد پیشنهادی محاسبه قابلیت اطمینان را بهبود می بخشد
Keywords:
معماری نرم افزار/زبان مدلسازی یکپارچه /ارزیابی قابلیت اطمینان/شبکه پتری رنگی
Authors
ناهید تهجدی
دانشجوی کارشناسی ارشد مهندسی کامپیوتر
علی هارون آبادی
استادیار،دانشگاه آزاد اسلامی واحد تهران مرکز
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :