تخمین قابلیت اطمینان نرم افزار بااستفاده از عدم قطعیت
پایان نامه
- دانشگاه تربیت معلم - تهران - دانشکده مهندسی کامپیوتر
- نویسنده سیده زهرا هاشمی
- استاد راهنما منوچهر کلارستاقی میر محسن پدرام
- تعداد صفحات: ۱۵ صفحه ی اول
- سال انتشار 1391
چکیده
به علت پیچیدگی و حساسیت نرم افزار، به چند پارامتر در نرم افزار توجه ویژه ای می شود که یکی از این موارد کیفیت نرم افزار می باشد، قابلیت اطمینان نرم افزار بعنوان یکی از زیر مجموعه های کیفیت نرم افزار می باشد، در کیفیت نرم افزار، قابلیت اطمینان نرم افزار از جایگاه ویژه و اهمیت خاصی برخوردار است. بدون تردید، قابلیت اطمینان یک نرم افزار کامپیوتری، عنصر مهمی از کیفیت کلی به شمار می رود. اگر برنامه ای به کرات از اجرا باز بماند، عوامل کیفی دیگر نرم افزار، اهمیت خود را از دست می دهند. بنابرین ارزیابی زود هنگام قابلیت اطمینان یک برنامه در چرخه حیات، که اطلاعات معماری، تست و قابلیت اطمینان مولفه هایش می باشند، ضروری است. در این پژوهش روشی برای ارزیابی قابلیت اطمینان نرم افزار با استفاده از تئوری شواهد ( دمپستر- شافر) برای کاهش عدم قطعیت در قابلیت اطمینان نرم افزار و نزدیکتر شدن به عملکرد واقعی نرم افزار ارائه خواهد شد. بطور کلی تئوری دمپستر- شافر بر روی فرضیه نقص نسبت به بخشی از شواهد (شکست ها) که جزئی از یک سیستم هستند عمل می کند. در این تحقیق با استفاده از تئوری شواهد سعی شده که عدم قطعیت را کاهش و همراه با کاهش عدم قطعیت به افزایش قابلیت اطمینان نرم افزار برسیم. که این امر جز با تشخیص دقیقتر زمان وقوع خطا امکان پذیرنیست.پس از انجام محاسبات و محاسبه جرم هر یک از خطاها و میزان باور و امکان ،اگر خطا ها دارای عدم قطعیت بیشتر و باور کمتر باشند نتیجه می گیریم که احتمال رخ دادن آن بسیار ناچیز خواهد بود و افزایش تابع امکان و نزدیک شدن به تابع باور و افزایش تابع باور وکاهش امکان باعث کاهش عدم قطعیت و کاهش شکست نرم افزار و افزایش قابلیت اطمینان نرم افزار می گردد . با استفاده از این خطا ها و تبدیل خطا از جرم به احتمال به محاسبه قابلیت اطمینان می پردازیم.
منابع مشابه
ارزیابی تاثیرگذاری عدم قطعیت لینک های مخابراتی بر قابلیت اطمینان طرح های حفاظت تطبیقی
هماهنگی حفاظتی تطبیقی که با استفاده از لینکهای گسترده مخابراتی تحقق می یابد یک راه حل مناسب برای حل مشکلات هماهنگی حفاظتی در میکروگریدها است. مسئله ای که عملکرد صحیح این روش را می تواند تحت تاثیر قرار دهد عدم قطعیت در عملکرد صحیح لینک های مخابراتی است. به منظور بررسی میزان تاثیرپذیری عدم قطعیت لینک های مخابراتی بر عملکرد صحیح حفاظت تطبیقی و نیز قابلیت اطمینان میکروگریدها، در این مقاله یک ...
متن کاملتخمین عدم قطعیت اندازهگیری در آزمایشات
مقدمه امروزه نتایج آزمون و کالیبراسیونهایی که در آزمایشگاه انجام میشود؛ بسیار حائز اهمیت است. بهمنظور حصول اطمینان از اعتبار و کیفیت نتایج بهدست آمده در آزمایشگاههای کالیبراسیون و تأیید صلاحیت شده، میتوان از مفاهیم و ابزارهایی همچون عدم قطعیت اندازهگیری و تضمین کیفیت نتایج استفاده کرد. عدم قطعیت نتیجه اندازهگیری از دانش ناقص ما از مقدار نتیجه آزمون و عوامل تأثیرگذار بر آن تشکیل میشود...
متن کاملارائه روشی جهت تخمین قابلیت اطمینان نرم افزار بر اساس فرایند پواسون ناهمگن
با توجه به کاربرد¬های گسترده سیستم¬های نرم افزاری در همه جوانب زندگی امروز بشر، لزوم تولید نرم افزارهای تقریباً بدون خطا و با کیفیت بالا بیش از پیش اهمیت پیدا کرده است. قابلیت اطمینان نرم افزار یک رهیافت مهم برای ارزیابی کیفیت نرم افزار در نظر گرفته می¬شود. مدل¬سازی قابلیت اطمینان نرم افزار بر اساس فرایند پواسون ناهمگن یکی از روش¬های کاملاً موفق در مهندسی قابلیت اطمینان نرم افزار می¬باشد. در این ...
تولید نرم افزار تخمین ارتفاع آبخور جسم در خلیج فارس
در این مطالعه سعی می شود در طول فصول مختلف سال، میزان شناوری یک جسم را پیش بینی نمائیم. میزان شناوری یک جسم رابطه مستقیم با چگالی محیط دارد. در این تحقیق در گام نخست طراحی نرم افزار با استفاده از داده های بیست ساله هواشناسی و همچنین عمق شناسی خلیج فارس و در نظر گرفتن دبی آب های ورودی به و خروجی از خلیج فارس مدل هیدرودینامیکی کوهیرنس برای این منطقه تا زمان پایداری به اجرا در آمده است تا نهایتا ی...
متن کاملارائه یک مدل برنامهریزی دوسطحی برای زنجیره تأمین چند مرحلهای با تأکید بر قابلیت اطمینان در شرایط عدم قطعیت
هدف: در این مقاله، یک مدل برنامهریزی دوسطحی برای حل مسئله همزمان انتخاب تأمینکننده و تخصیص سفارش در زنجیره تأمین چندمرحلهای ارائه شده است، بهگونهای که در سطح رهبر، مسئله انتخاب تأمینکننده با هدف افزایش قابلیت اطمینان سیستم و در سطح پیرو، مسئله تخصیص سفارش با هدف کاهش هزینه سیستم فرموله شده و تقاضای مشتریان در مرحله آخر زنجیره تأمین، غیرقطعی در نظر گرفته شود. روش: روش مدلسازی مسئله انتخا...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
نوع سند: پایان نامه
دانشگاه تربیت معلم - تهران - دانشکده مهندسی کامپیوتر
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023