الگوریتم بردار فضای حالت یکی از الگوریتم‌های بازیابی اطلاعات^[۱۲۶] است که به در بسیاری از سیستم‌ها مورد استفاده قرار گرفته است. شکل ۴-۱ نحوه‌ی عملکرد کلی این الگوریتم را نشان می‌دهد.

شکل ۴-۱ : نحوه‌ی عملکرد الگوریتم بردار فضای حالت

مطابق شکل فوق، عملکرد کلی الگوریتم بردار فضای حالت به این صورت است:
مرحله اول که اضافه کردن سند^[۱۲۷] به سیستم با بهره گرفتن از کلمات مفید داخل سند است و برای هر سندی یک بردار چند وجهی ایجاد می‌کند.
(( اینجا فقط تکه ای از متن درج شده است. برای خرید متن کامل فایل پایان نامه با فرمت ورد می توانید به سایت nefo.ir مراجعه نمایید و کلمه کلیدی مورد نظرتان را جستجو نمایید. ))

در مرحله بعد که کاربر یک درخواستی به سیستم می‌دهد، یک بردار برای درخواست کاربر ایجاد می‌کند و کسینوس^[۱۲۸] زاویه­ای که هرکدام از بردارهای سند با بردار درخواست کاربر ایجاد می‌کند را محاسبه می‌کند.
در مرحله‌ی آخر، اسنادی که بردار آن­ها با بردار درخواست کاربر زاویه­ های کوچک‌تری دارند را به عنوان نتیجه به کاربر برمی­گرداند.
در واقع بخش‌های مختلف وب­سرویس‌ها (نام وب­سرویس، توصیف وب­سرویس، عملیات وب­سرویس‌ها و ورودی‌ها و خروجی‌های آن‌ها) به عنوان یک سند متنی در سیستم‌های کشف وب­سرویس ذخیره می‌شوند که استفاده از این الگوریتم برای برگرداندن وب­سرویس‌های مناسب به کاربر روش مناسبی است. هر چند که این الگوریتم معایبی دارد که در ادامه در مورد چگونگی رفع این معایب بحث خواهد شد.

۴-۳-۱-۱ ایجاد بردار برای هر سند

شکل ۴-۲ : بردار فضای حالت

همان‌طور که گفته شد در این الگوریتم برای هر وب­سرویسی یک بردار فضای حالت ساخته می‌شود که ساختار آن مطابق شکل بالاست. هر وجه بردار فضای حالت یک کلمه کلیدی همراه با وزنی که می‌گیرد می­باشد. یکی از مسائل اصلی در این الگوریتم چگونگی وزن دهی به کلمات کلیدی است. روش‌های مختلفی برای وزن دهی کلمات وجود دارد که به شرح زیر می‌باشند:
ساده‌ترین ایده این است که به هر کلمه‌ی کلیدی مثل t معادل با تعداد دفعات حضور در سند وزن دهی می­ شود که با نماد نشان داده می‌شود. اما این نوع وزن دهی معایبی دارند که عملاً این ایده‌ را ناکارآمد می‌کند و این معایب عبارتند از :

رابطه ۴-۱

تمایزی بین دو جمله “mary is quicker than jahn” و“jahn is quicker than mary” قائل نمی‌شود و هر دو جمله را یکسان فرض می‌کند
همه کلمات موجود در سند به یک اندازه مهم هستند در حالی که ممکن است کلمه­ای در متن وجود داشته باشد که به دفعات زیاد در سند تکرار شده است ولی به آن اندازه مهم نیست، بنابراین باید کلمات زائد را تا حد ممکن حذف کنیم.
مشکل اصلی روش فوق این است که همه کلمات کلیدی به یک اندازه مهم هستند درحالی­که در عمل به این صورت نیست. به عنوان مثال اگر یک مجموعه متن در مورد وب­سرویس‌ها داشته باشیم، کلمه «وب سرویس» در این مجموعه از متن‌ها یک کلمه زائد است. چون که مثل کلمه «به» در همه متن‌ها وجود دارد و در محاسبات نباید تأثیری داشته باشد. برای رفع مشکل وزن دهی فوق به جای استفاده مستقیم از ، از فرمول زیر استفاده شده است که باعث می‌شود کلماتی که معمولاً در بیشتر سندها وجود دارند، تأثیر کمتری در بازیابی اطلاعات داشته باشند.

رابطه ۴-۲

رابطه ۴-۳

مفاهیم پارامترهای مورد استفاده در معادلات عبارتند از :
N : تعداد کل سندهای موجود
df_t ^[۱۲۹] : تعداد تکرار کلمه t در چند سند
idf_t ^[۱۳۰] : دلیل استفاده از این پارامتر در فرمول وزن دهی کلمات این است که در بعضی از سندها کلماتی هستند که شکل عمومی‌تری دارند و معمولاً در بیشتر سندها وجود دارند. برای اینکه اثر چنین کلماتی در محاسبه وزن کمتر شود، از این پارامتر استفاده می‌کنیم. بدین صورت که اگر در یک مجموعه از سندها، کلمه‌ی t₁ را داشته باشیم که در همه‌ی سندها وجود داشته باشد طبیعتاً به عنوان کلمه زائد^[۱۳۱] شناخته می‌شوند و وزنی که می‌گیرد صفر خواهد شد. بدین صورت که :
اگر کلمه ای در بیشتر سندها وجود داشته باشد، df_t تقریباً با N برابر می‌شود و در نتیجه idf_t مقدار صفر به خود می‌گیرد و در نهایت وزن t₁ صفر می‌شود.
در کل اگر مقدار :
مقدار بالایی باشد: به این معنی است که کلمه t با تعداد تکرار بیشتر در چند سند وجود دارد.
مقدار پایینی باشد: کلمه t با تعداد تکرار کمتری در یک سند وجود دارد و یا در سندهای بیشتری تکرار شده است.
خیلی کمتر باشد: یعنی اینکه کلمه t در بیشتر متن‌ها وجود دارد و به عنوان کلمه زائد شناخته می‌شود.

۱ – آراء و نظرات خبرگان
۲ – بررسی مشخصه های انتخاب ممکن
۳ – الگو ها
۴ – روش ها و رویه های کاری
۵ – تئوری سازمانی
۶ – معماری اطلاعات سازمان

۱ – کار گروهی
۲ – فرم های کنترلی
۳ – مهارت های عمومی مدیریت
۴ – آموزش
۵ – نظارت
۶ – ارزیابی عملکرد

۱ – ممیزی نتایج
۲ – ارزیابی عملکرد

۳ – خروجی ها

۳ – خروجی ها

۳ – خروجی ها

۳ – خروجی ها

۱ – منشور پروژه
۲ – انتخاب مدیر پروژه
۳ – شناسایی محدودیت های کاری و محیطی
۴ – شناسایی فرضیات عمده

۱ – برنامه گذار پروژه
۲ – مستندات تفصیلی
۳ – شناسایی رویدادهای بالقوه مخاطره آمیز

۱ – نتایج کار
۲ – برنامه گذار بهنگام شده
۳ – اقدامات اصلاحی
۴ – مستند سازی تجربیات

۱ – بایگانی پروژه
۲ – صدور تائیدات

جدول ۴ – مدل مدیریت پروژه های فناوری اطلاعات بر اساس استاندارد PMBOK
۲-۱- فرایند تعیین نیازها و انتظارات مشتری
در فرایند تعیین نیازهای مشتری، با انجام بررسی و مطالعات لازم، در خواست مشتری کاملاً‌مشخص میگردد تا مشخصه محصول خروجی پروژه (سخت افزاری و نرم افزاری) دقیقاً‌ منطبق با این درخواست باشد. (ارائه اقلام قابل تحویل مبتنی بر فناوری اطلاعات (Information Technology Deliverables) .
۲-۲- فرایند تعیین نیازها و انتظارات مشتری
۱) شرح محصول خروجی پروژه
مشخصه های محصولات یا خدمات نرم افزاری یا سخت افزاری که پروژه در ایجاد آنها متعهد گردیده است، باید مدون و مستند شود البته این مدارک در مراحل اولیه پروژه به اختصار تهیه می شود. اما به مرور و متناسب با پیشرفت پروژه به تفصیل بیشتر، تکمیل و مدون می گردد.
۲) برنامه استراتژیک
فرایند تصمیم گیری درباره اهداف پروژه، منابع مورد نیاز برای نیل به آن و چگونگی تخصیص منابع را برنامه ریزی استراتژیک می نامند که تعیین کننده مقصد نهائی پروژه و هماهنگ کننده و همه فعالیت های پروژه در راستای آن است. برنامه استراتژیک را باید اصلی ترین وظیفه مدیران ارشد پروژه دانست، چرا که ابزاری است که ما را به افزودن یک ارزش نزدیک می کند و ارزش، محصول یا خدمتی است که نیازهای مشتری را ارضا می کند.

(( اینجا فقط تکه ای از متن درج شده است. برای خرید متن کامل فایل پایان نامه با فرمت ورد می توانید به سایت feko.ir مراجعه نمایید و کلمه کلیدی مورد نظرتان را جستجو نمایید. ))

۳) اطلاعات و سوابق مرتبط
اطلاعات و سوابق مفید مرتبط گذشته، در صورت لزوم باید در ارتباط با نتایج حاصل از تصمیمات منجر به عملکرد اجرای پروژه مد نظر قرار گیرد.
۴) شناسائی نیازهای مشتری
نیاز مشتری و مجموعه شرایطی که وی از اجرای پروژه انتظار دارد. باید به دقت شناسائی گردد. نکته مهم در این قسمت، توجه به بسط و توسعه پروژه، به خصوص پروژه های IT ، می باشد که در این صورت باید برای آن جایگاه ویژه ای را در نظر گرفت.
۲-۱-۲- تکنیکها و ابزار لازم برای تعیین نیازها و انتظارات مشتری

Jennings (2011)

۲-۱۰-۲ دلایل عمده برون سپاری

• از نقطه نظر دلایل سازمانی

• افزایش اثربخشی از طریق تمرکز بر روی کاری که سازمان در انجام آن بهترین است.

• • افزایش انعطاف پذیری برای مقابله با شرایط کسب و کار، تقاضا برای محصولات و خدمات و تکنولوژی

  (( اینجا فقط تکه ای از متن درج شده است. برای خرید متن کامل فایل پایان نامه با فرمت ورد می توانید به سایت nefo.ir مراجعه نمایید و کلمه کلیدی مورد نظرتان را جستجو نمایید. ))

• تغییر سازمان

• افزایش ارزش محصولات و خدمات، رضایت مشتریان و ارزش سهام

• از نقطه نظر دلایل بهبود

• بهبود عملکرد عملیات

• بدست آوردن تخصص ها، مهارت ها و تکنولوژی هایی که قبلاً قابل دستیابی نبوده است.

• بهبود مدیریت و کنترل

• بهبود مدیریت ریسک

• بدست آوردن ایده های نوآورانه

• بهبود اعتبار و تصویر سازمان به وسیله مشارکت با ارائه دهندگان خدمت برتر

• از نقطه نظر دلایل مالی

• ایجاد نقدینگی از طریق انتقال داراییها به ارائه دهندگان خدمت

• کاهش سرمایه گذاری روی دارائیها و آزادسازی آنها برای سایر اهداف

• از نقطه نظر دلایل درآمدی

• بدست آوردن سهم بازار و فرصتهای کسب و کار از طریق شبکه ارائه دهندگان

• تسریع در رشد و توسعه ظرفیت، از طریق قرارگرفتن در جریان فرایندها و سیستم های ارائه دهنده

• رشد فروش و ظرفیت تولید در بازه زمانی، وقتی که امکان تامین مالی چنین رشدی در سازمان وجود نداشته باشد

• گسترش تجاری مهارت های موجود

• از نقطه نظر دلایل هزینه ای

• کاهش هزینه ها از طریق عملکرد برتر و ساختار هزینه ای پایین تر ارائه دهندگان خدمت

• تغییر هزینه های ثابت به متغیر

۲-۱۰-۳ معایب برون ‌سپاری
تبعات برون سپاری شامل امکان از دست رفتن کنترل بر فرایندها، مشکل در مدیریت روابط با تأمین کننده، تغییرات عرصه کسب و کار در بلند مدت، مشکل لغو قرارداد، ایجاد تعارض سازمانی در روابط با تأمین کننده، از دست رفتن مشاغل در سازمان، کاهش کیفیت و افزایش هزینه به دلیل انتخاب نامناسب تأمین کننده می‌شود.
نشریه فوربس در دسامبر ۲۰۱۲ با انتشار مقاله مفصلی به تحلیل روند بازگشت خطوط تولید تعدادی از معتبرترین برندهای آمریکایی نظیر اپل، GE و… به آمریکا پرداخت و نتیجه گرفت که مهمترین عیب «برون سپاری» فاصله افتادن بین سازمان طراحی و سازمان تولید یک شرکت است که در نتیجه آن بازخوردهای لازم در مورد سختی و آسانی و هزینه‌های فرایند تولید محصول به موقع برای بهبود طرح به بخش طراحی نمی‌رسد.
۲-۱۰-۴ تعریف برون سپاری استراتژیک
برون سپاری استراتژیک عبارتست از: یک نگاه استراتژیک به برون سپاری که بتواند فرایندهای مسئله دار، وضع بد بهره وری ، مشکلات ترک کارکنان و امثال آن را در یک نگاه بلند مدت حل کند. بر این اساس اقدام برون سپاری زمانی استراتژیک خواهد شد ، که با استراتژی های بلندمدت سازمان همراستا شود ، منافع برون سپاری بعد از گذشت چندین سال پدیدار گردد و نتایج مثبت یا منفی آن برای سازمان از اهمیت ویژه ای برخوردار باشد برون سپاری استراتژیک با پرسیدن سوالات اساسی درباره رابطه برون سپاری با سازمان و موضوعات سازمانی زیر ، برون سپاری را در سطح بالاتری قرار می دهد.

• چشم انداز آینده

• قابلیت های کلیدی فعلی و آینده

• ساختار فعلی و آینده

• هزینه های فعلی و آینده

• عملکرد فعلی و آینده

• مزیت رقابتی فعلی و آینده

۲-۱۰-۵ کارهای انجام شده در ارتباط با برون سپاری
در گذشته به دلیل هزینه های زیادی که فرایند برون‌سپاری داشته پیمانکاران توان ارائه خدمات به کسب و کارهای کوچک و متوسط را نداشتند. و همچنین کسب و کارهای کوچک و متوسط نیز تمایل به برون‌سپاری نداشتند زیرا بر این عقیده بودند که پیمانکاران نمی توانند پروژه را به طور کامل درک کنند و نمی خواستند کنترل فرایند های داخلی را به خارجی ها بدهند. کسب و کار های کوچک برای آنکه بیشتر مورد دسترس باشند به برون‌سپاری روی آورده اند. از طرف دیگر این نوع فعالیت ها به آنها اجازه می دهد تا بتوانند با توان کمتر با شرکت های بزرگتر که خدمات با کیفیتی را ارائه می دهند نیز رقابت کنند.
امروزه برونسپاری به عنوان یکی از استراتژیهای موثر در دنیای کسب و کار شناخته شده است. در این راستا برونسپاری فرایندهای کسب و کار به عنوان یکی از متداولترین اشکال برونسپاری به شمار می آید. در سالهای اخیر بسیاری از سازمانها برای حفظ مزیت رقابتی خود در بازارهای منطقهای و جهانی برونسپاری فعالیتهای سازمانی را شروع کرده و همچنین امروزه بسیاری از سازمانها اقدام به برونسپاری برخی از فعالیتهای خود به عنوان یک رویکرد راهبردی نمودهاند. فرایند برون سپاری برخی از فعالیتهای سازمان بواسطه پیچیدگی و عدم قطعیت موجود در این فرایند، نیازمند صرف زمان و دقت کافی برای جلوگیری از شکست این فرایند در سازمان است. این مسئله خود نیازمند مدیریت قوی در حوزه برونسپاری در سازمان است. در واقع برای جلوگیری از ایجاد هرگونه مشکلی در فرایند برونسپاری بایستی اقدام به تصمیمات راهبردی در این حوزه و در نتیجه انتخاب استراتژیهای مناسب سازمان در امر برونسپاری نمود. برون‌سپاری باعث کاهش هزینه های اجرایی و بالا بردن بهره وری در کسب و کار های کوچک و بالا بردن توان رقابتی آنها می شود. امروزه پیچیدگی فضای کسب و کار، افزایش رقابت میان تولید کنندگان، محدودیت منابع و بسیاری عوامل دیگر، سبب شده که سازمان های تولیدی به سمت بکارگیری فرآیندها و تصمیمات بهینه در حرکت باشند تا از این رهگذر، امکان بقای بالنده سازمان را تضمین نمایند. بدیهی است که تخصصی شدن و در نتیجه محدود کردن حیطه فعالیتها، در صورتی مقدور خواهد بود که بخشی از وظایف به خارج از سیستم برون سپاری گردد. در واقع برون سپاری عبارت است از واگذاری بخشی از فعالیتهای محوری یا غیر محوری سازمان بر مبنای تصمیمات اخذ شده، که منجر به کاهش نرخ یکپارچه سازی عمودی میشود ] ۱۲ [ .
برخی از محققان، بیشتر در حوزه تولید و مدیریت زنجیره تأمین، برون سپاری را چیزی بیش از تکامل مطالعات در حوزه ساخت یا خرید نمی دانند.
در گذشته، برون سپاری زمانی مورد استفاده قرار می گرفت که سازمانها نمی توانستند خوب عمل کنند. در رقابت ضعیف بودند، کاهش ظرفیت داشتند، با مشکل مالی روبرو بودند و یا از نظر فن آوری عقب و شکست خورده بودند. امروزه سازمانهایی که کاملا موفق هستند نیز از این ابزار برای تجدید ساختار سازمانهایشان استفاده می کنند و مدیران این سازمانها به عنوان یک موضوع حیاتی این موضوع را درک کرده اند که ایجاد قابلیت های کلیدی برای برآورده نمودن نیازهای مشتری ضروری است و باید در این راه تلاش نمایند.
دیگر محققان، عموما در حوزه مدیریت عملیات خدمات، آن را یک روند انقلابی و جهشی که در چند سال گذشته آغاز گشته است می دانند. یکی از تئوری هایی که در اکثر منابع به آن در مورد منشأ برون سپاری اشاره می شود، تئوری هزینه مبادله می باشد و از این رو سرچشمه دانش برون سپاری به حدود هفتاد سال قبل بر می گردد.

این روش گره‌هایی را که هیچکدام از گره مبدا و مقصد نیستند را از ماتریس رابطه‌ای بصورت یکی یکی حذف می کند تا جایی که تنها گره‌های باقیمانده ماتریس گره مبدا و مقصد باشند. وقتی که یک گره حذف شده است، مولفه های ماتریس رابطه‌ای برای گره‌های باقیمانده بوسیله معادله زیر(۴٫۱) تغییر می کند:

(( اینجا فقط تکه ای از متن درج شده است. برای خرید متن کامل فایل پایان نامه با فرمت ورد می توانید به سایت feko.ir مراجعه نمایید و کلمه کلیدی مورد نظرتان را جستجو نمایید. ))

اگر گره L حذف شده است
(۳٫۱)
و و و و
و
یک تجربه خوب برای استفاده از این روش این است که گره مبدا را اولین گره و گره مقصد را گره نهایی نام گذاری کنید. هر گره میانی یکی یکی حذف می شود تا جایی که یک ماتریس باقی بماند. حذف گره i مترادف است با حذف ردیف و ستون i از ماتریس رابطه‌ای اصلی که برای یک شبکه با m گره سالم است. براساس معادله فوق، مولفه های ستون اول و ردیف آخر به هیچ وجه تاثیری در نتایج نهایی ندارند. این مولفه ها نیازی به بروز شدن در هنگامی که بعنوان گره حذف می شوند ندارند .
تولید قطعات مینیمم از مسیرهای مینیمم ^[۱۲۵]
تولید قطعات مینیمم از مسیرهای مینیمم یک روش برای تولید همه قطعات مینیمم از مجموعه همه مسیرهای مینیمم را با بهره گرفتن از جبر بول توصیف کرده است فرض کنید که L مسیر مینیمم وجود دارد و آن ها با مشخص می شوند. سپس مجموعه قطعات مینیمم می توانند بوسیله رابطه بولی زیر نتیجه شوند:
(۳٫۲)
ما می توانیم قطعات مینیمم را بوسیله معکوس کردن یا مکمل کردن هر مسیر مینیمم بیابیم و سپس اشتراک این مکمل ها را ارزیابی کنیم.

روش شمول- عدم شمول^[۱۲۶]
روش شمول- عدم شمول (IE) یک روش کلاسیک برای تولید عبارت قابلیت اطمینان یک سیستم عمومی با بهره گرفتن از مسیرهای مینیمم و قطعات مینیمم است. روش IE همچنین به تئوری بونیکرو سیلوستر معروف است. که یک حد بالا و پایین درستی را بوسیله نامعادله بونفرونی روی قابلیت اطمینان سیستم ارائه می دهد که به مقدار دقیق قابلیت اطمینان سیستم نزدیک است.
ما E_j را به عنوان پیشامدی که در همه کامپوننت های مسیر مینیمم T_j کار می کند در نظر می گیریم. همچنین می گوییم E_j نشان دهنده پیشامدی است که مسیر T_j کار می کند. احتمال اینکه مسیر T_j کار می کند برابر است با:
(۳٫۳)
یک سیستم با L مسیر مینیمم کار می کند اگر، تنها اگر نهایتا یک مسیر مینیمم کار کند. به عبارت دیگر سیستم موفق به پاسخگویی به پیشامد شود.

قابلیت اطمینان سیستم برابر احتمال اجتماع پیشامد L می باشد. یعنی:
(۳٫۴)
(۳٫۵)
سپس S_k مجموع احتمال هایی را هنگامی که K مسیر مینیمال بطور همزمان کار کنند نشان می دهد.
براساس قاعده IE قابلیت اطمینان سیستم برابر احتمال اجتماع L مسیر مینیمم می باشد که بصورت زیر نمایش داده می شود:
(۳٫۶)
از کاربرد معادله (۴٫۶)، S₁ شمول است و S₂ عدم شمول و S₃ شمول و S₄ عدم شمول و به همین صورت. اینجا است که نام روش IE می آید. در این فرایند از شمول و عدم شمول شرایط اضافی، حد بالا و پایین روی R_S در دسترس می باشد، همانطور که در زیر آمده است:
(۳٫۷)
(۳٫۸)
(۳٫۹)
(۳٫۱۰)
(۳٫۱۱)
این نامعادلات را اصطلاحا نامعادلات بانفرونی می نامند. حدود R_S بوسیله این نامعادلات متوالی ارائه شده است و سرانجام مقدار واقعی وقتی شامل شده است R_S بدست می آید. عملا برای بدست آوردن یک مقدار درست برای R_S محاسبه فقط تعداد ابتدایی مقادیر S_K ضروریست.
روش IE بر مبنای قاعده IE برای ارزیابی اجتماع پیشامدهای مختلف است. ما کاربرد آن را در ارزیابی قابلیت اطمینان سیستم با بهره گرفتن از مسیرهای مینیمم نمایش دادیم. این روش همچنین می تواند برای ارزیابی ناپایایی سیستم با بهره گرفتن از قطعات مینیمم مورد استفاده قرار گیرد.
روش جمع حاصل ضرب های گسسته
روش SDP از مسیرهای مینیمال و قطعات مینیمال برای ارزیابی احتمال چندین رخداد استفاده می کند. اجتماع مسیرهای مینیمال می تواند بوسیله توابع منطقی از سیستم بیان شود.این توابع منطقی می تواند بعنوان اجتماع ضوابط مختلف بیان شوند. اگر این ضوابط توابع منطقی گسسته باشند ، یک تناظر یک به یک بین این عبارت تابع منطقی از سیستم و مقیاس قابلیت پایداری سیستم وجود دارد. بنابراین تمرکز این روش روی بیان تابع منطقی از سیستم بعنوان یک اجتماع از ضوابط گسسته است. هر کدام از این ضوابط گسسته ، حاصل از رویدادهایی است که کامپوننت های اختصاصی کار می کنند یا خطا می کنند. روش SDP از روش IE پیشنهاد می شود با علامت های (مثبت و منفی) از ضوابط در فرمول قابلیت اطمینان سیستم . در روش IE علامت ضوابط بین مثبت و منفی متناوب است، که علامت مثبت بیانگر مجموعه ای که به احتمالات اضافه شده است در فرمول قابلیت نگهداری سیستم و علامت منفی بیانگر مجموعه ایست که از فرمول قابلیت نگهداری کم شده است .بعلت شمارش مضاعف در عملیات inclusion قبلی ، با روش SDP ، به هر حال همه مجموعه ها شامل شمارش مضاعفی نیستند و همه ضوابط علامت مثبت دارند. یک فرمول SDP برای هر سیستم کوچکی ، از فرمول IE کوچکتر است.
ضوابط گسسته: قانون افزایش
قانون افزایش احتمالات تحت توجیه روش SDP می باشد. اگر دو یا چندین رویداد هیچ عنصر مشترکی نداشته باشند، احتمال اینکه نهایتا یکی از رویدادها رخ دهد برابر با مجموع احتمالات رویدادهای خاص می باشد. اگر دو رویداد A و B عناصر مشترکی دارند، اجتماع این دو رویداد، ، ممکن است بعنوان رویداد A با رویداد نمایش داده شود وقتی که به معنای متمم A است . سپس ما رابطه زیر را برای ارزیابی احتمال داریم:
(۳٫۱۲)

بصورت مشابه با سه رویداد A و B و C داریم:
(۳٫۱۳)
با n رویداد ، داریم:
(۳٫۱۴)
معادله (۳٫۱۴) بیانگر احتمال اجتماع n رویداد بعنوان جمع احتمال n ضابطی است . هر ضابطه اضافی بیانگر شرکت در احتمال اجتماع با رویداد های اضافی است. برای مثال ضابطه اول pr(A₁) ، شریک در اولین رویداد در احتمالات اجتماع است. ضابطه دوم ، بیانگر سهم اضافی از A₂ است که برای A₁ نسبت به احتمال اجتماع محاسبه نشده است. بیان احتمال اجتماع n رویداد در یک مجموع n تایی از احتمال ضوابط، ساده است. به هر حال کار چالش برانگیز هست نحوه ارزیابی شرکت یک رویداد اضافه که هنوز برای هیچ یک از رویدادهای قبلی محاسبه نشده است.
برای سنجش قابلیت اطمینان سیستم، اول باید کاهش سری و موازی انجام شود. زمانی که کاهش سری و موازی ممکن نباشد می توان از تکنیک های دیگر استفاده کرد. در قسمت قبل نشان داده شد که متدهای تجزیه ممکن است کاهش سری و / یا موازی را ممکن سازد. متد دیگری که ممکن است این کاهش را میسر سازد متد تبدیلات delta-star و star-delta هستند.
ما روش‌های زیادی را برای ارزیابی دقیق قابلیت اطمینان و عدم اطمینان سیستم بررسی کردیم. در سیستم های گسترده و بزرگ، این روش ها، ممکن است برای سنجش دقیق زمان قابل توجهی را صرف کنند. اغلب یک تکنیک محدود شده برای بدست آوردن تقریبی قابلیت اطمینان و عدم اطمینان سیستم ها در مدت زمان خیلی کمتر ارائه می شود.
فصل چهارم :روش پیشنهادی

تکرار مراحل ۲ تا ۶ تا هنگامی که نیازها برآورده شود.
کلاس تولید کننده­ موارد تست
تولید کننده­ موارد تست شامل یک بردار داده ­های ورودی و دو متد برای یکی برای تولید داده ­های اولیه و دیگری برای انجام جستجوی محلی است. ابتدا مولفه­های بردار داده ­های ورودی و پس از آن متدهای تولید داده ­های اولیه و جستجوی محلی را شرح می­دهیم.

( اینجا فقط تکه ای از متن فایل پایان نامه درج شده است. برای خرید متن کامل پایان نامه با فرمت ورد می توانید به سایت feko.ir مراجعه نمایید و کلمه کلیدی مورد نظرتان را جستجو نمایید. )

هر بردار ورودی شامل مولفه­هایی است که در زیر مشاهده می­کنید:

1. 1. لیست داده ­های ورودی

1. 1. لیستی از جهش­های از بین رفته به ازای هر مورد تست

1. 1. لیستی از مسیرهای پوشش داده شده در گراف کنترل جریان برنامه(CFG)^[65]

1. 1. شایستگی ^[۶۶]

1. 1. احتمال انتخاب

لیست داده های ورودی را به صورت زیر نمایش داده و تعریف می­کنیم:
هر نشان دهنده یک بردار داده و هر نشان دهنده یک داده­ی ورودی است که در آن و قرار دارد در مورد i ذکر این نکته حائز اهمیت است که n برابر با تعداد زنبورها است از طرف دیگر تعداد زنبورها یا به عبارت دیگر تعداد دسته­های گل باید حداقل ۲ باشد زیرا برای یافتن منبع غذایی با شایستگی بالاتر از میانگین شایستگی بردارها استفاده می­کنیم در صورتیکه تست را با یک بردار و یک زنبور انجام دهیم به دلیل اینکه میانگین هر عدد خودش است الگوریتم به سمت بهینگی پیش نخواهد رفت.
برای آنکه بتوانیم از داده ­های تولید شده استفاده کنیم باید ابتدا واسط ^[۶۷] کد تحت ^[۶۸] تست را استخراج کنیم به عبارت دیگر تعداد و نوع متغییرهای ورودی آن را بدست آوریم که این کار با بهره گرفتن از خواندن از بایت کد جاوا به سادگی امکان پذیر است پس از استخراج تعداد متغییرهای عددی بردار ورودی ما به شکل زیر تغییر پیدا خواهد کرد:
هر یک مورد تست ^[۶۹] است به صورتی که که در آن n برابر تعداد موارد تستی است که کاربر در ابتدای اجرای تست مشخص می­ کند همچنین هر برابر:
که در آن هر نشان دهنده یک داده­ی ورودی است که و n برابر با تعداد پارامترهای ورودی کد تحت تست است.
جهش­های از بین رفته
برای محاسبه­ی تعداد جهش­های از بین رفته نیاز به آگاهی از تعداد جهش­های موجود در هر یال از گراف داریم تا در صورت تغییر خروجی اجرای برنامه آن­ها را به عنوان جهش­های از بین رفته محاسبه کنیم.
پوشش کد
برای محاسبه­ی معیار پوشش به جای در نظر گرفتن مسیرهای گراف کنترل جریان، یال­های آن را در نظر می­گیریم که با علامت گذاری مناسب (که در بخش دستیاران در مورد آن توضیح خواهیم داد) هر یال می­توانیم در هنگام اجرا از پوشش هر یال آگاه شویم در هر تکرار تست با ورودی­ ها، تعداد یال­های مجزایی و جدیدی که ملاقات شده ­اند را در لیست یال­های پوشش داده شده­ ثبت می­کنیم در صورتیکه مورد تستی سبب پوشش یال جدیدی نشود برای آن مقدار صفر درج می­ شود.
شایستگی
پس از هر مرحله اجرا برای هر بردار ورودی یک عدد شایستگی محاسبه می­کنیم برای محاسبه­ی شایستگی دو فاکتور امتیاز جهش و پوشش مسیر را در نظر می­گیرم به طور کلی شایستگی از طریق معادله(۳-۱) قابل محاسبه است:

معادله(‏۳‏۳۱‑):

در رابطه­ بالا () تعداد یال­های جدید بازدید شده، تعداد جهش­های کشته شده برای هر یال که حاصل از اجرای هر درایه­ی بردار ورودی است که توسط F ، تابع محاسبه کننده­ شایستگی محاسبه شده و به عنوان شایستگی یک بردار ورودی ذخیره می­گردد. ضرایب و اثر میزان پوشش مسیر و یا از بین بردن جهش­ها در محاسبه­ی شایستگی را تعیین می­ کنند. درحقیقت روش ما به گونه ­ای طراحی شده است که با توجه به تمایل کاربر ورودی­ مناسب جهت تست جهش یا پوشش کد را تولید می­ کند.
برای توصیف بیشتر حالات امکان پذیر، آن­ها را در جدول(۳-۲) نشان داده­ایم، همانطور که مشاهده می­کنید حالت ۱ بیشترین شایستگی را داشته و حالت ۴ کمترین شایستگی را دارد. منظور از ستون ” تعداد یال­های جدید ملاقات شده” تعداد یال­هایی است که جدا از یال­هایی جهش­دار ملاقات شده اند.
جدول(‏۳‑۲): بررسی حالات مختلف برای محاسبه­ی شایستگی

حالت

آیا جهش از بین رفته است؟

تعداد جهش­های موجود در یال­های ملاقات شده

تعداد یال­های جدید ملاقات شده

شایستگی

۱

بله