دانش رسان |
مرکز علم و دانش کشور مقاله ارزیابی قابلیت اطمینان در معماری نرمافزار بر اساس مدلی مبتنی بر ریاضیات(آتاماتا)
در حال بارگذاری
توجه : به همراه فایل word این محصول فایل پاورپوینت (PowerPoint) و اسلاید های آن به صورت هدیه ارائه خواهد شد
مقاله ارزیابی قابلیت اطمینان در معماری نرمافزار بر اساس مدلی مبتنی بر ریاضیات(آتاماتا) دارای ۸ صفحه می باشد و دارای تنظیمات در microsoft word می باشد و آماده پرینت یا چاپ است
فایل ورد مقاله ارزیابی قابلیت اطمینان در معماری نرمافزار بر اساس مدلی مبتنی بر ریاضیات(آتاماتا) کاملا فرمت بندی و تنظیم شده در استاندارد دانشگاه و مراکز دولتی می باشد.
توجه : در صورت مشاهده بهم ریختگی احتمالی در متون زیر ،دلیل ان کپی کردن این مطالب از داخل فایل ورد می باشد و در فایل اصلی مقاله ارزیابی قابلیت اطمینان در معماری نرمافزار بر اساس مدلی مبتنی بر ریاضیات(آتاماتا)،به هیچ وجه بهم ریختگی وجود ندارد
بخشی از متن مقاله ارزیابی قابلیت اطمینان در معماری نرمافزار بر اساس مدلی مبتنی بر ریاضیات(آتاماتا) :
تعداد صفحات:۸
چکیده:
یکی از روشهای ارزیابی زودهنگام معماری نرم افزار استفاده از مدل های مبتنی بر ریاضیات است. در این مدل از برهان و روش هایی ریاضی برای ارزیابی نیازمندیهای کیفی اصلی مانند کارایی و قابلیت اطمینان مولفه ها در معماری استفاده میشود. ارزیابینیازمندیهای کیفی، تلاش و هزینهها را برای توسعه ی نرم افزار کاهش داده و کیفیت آن را با تایید این نیازمندیها و شناسایی ریسک های بالقوه افزایش میدهد. در این تحقیق ابتدا مفهوم صفت کیفی قابلیت اطمینان و روش های ارزیابی این صفت کیفیتی در سطح معماری نرم افزار بیان میشود. همچنین در ادامه مفهوم آتاماتا و مدل های مختلف آن به عنوان یکی از روش های ارزیابی مبتنی بر ریاضیات برای ارزیابی صفت کیفی قابلیت اطمینان بررسی میشود. از آنجایی که برای مدل های مبتنی بر آتاماتا، روش ها و ابزارهای درستیابی زیادی وجود دارد و از طرفی مدلهای رسمی دیگر مانند شبکه های پتری نیز برای تحلیل، اجرا و یا درستیابی باید به صورت ماشین حالت در نظر گرفته شود، لذا استفاده از مدلهای آتاماتا برای توصیف رسمی سیستم ها گسترش زیادی پیدا کرده است.
- در صورتی که به هر دلیلی موفق به دانلود فایل مورد نظر نشدید با ما تماس بگیرید.
