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

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