گ 1 گ 2 گ 3 1 مرور نظاممند بر مدلساز قابلت اطمنان نرمافزار سيدمسا اشميمجد 1 عباس رسولزادگان 2 * زرا قودل زد 3 اطالعات مقال درافت مقال: 1394/02/11 پذرش مقال: 1394/09/23 واژگان كليد: قا لت مدلساز قا لت پم ن قا لت تبم اندازر گ قا لت م قا لت چکيد امرررز سسررتما نرمافررزار نقررم ممرر در سررار از ار ردررا اسررا حرانر ا را م ننردگ را رد دادن دررا در نرمافرزار متوانرد ا رر ارررا مرال اتر در ردرر ار ردررا ا ررر اررررا رران رررددگ رر مر دلرر ت ررم قا لرت امنران ر نروان ر نازمنرد کر رار رد ت ر از امرت سرزا ردوردار استگ کر از اقرداماک لرد در ت رم ملکررد رار از دررا نررمافرزار اندازر م ر مرزان قا لرت امنران مرورد نراز اسرتگ ترا نون مردلا متعردد ررا م سراز قا لرت امنران نرمافرزار ارا ر شرد اسرتگ رر ردام از ار مردلا دارا مزار ا محر ددتا سررتند لررذا انتبرراا مناسرر تر مر دل در ار ردررا مبتلررا امررت فراانرر داردگ در ارر مقالرر ا ترردا رر مرر رر رش ن رراممنررد تحقق ام مرر دسرت نردرا پر اسرتناد ر مردل رام ررز ررا دسرت- نرد رشرا مبتلرا مدلسراز قا لرت امنران نرمافرزار ارا ر مرنمرا مگ رد از ارا دست نرد پنرناد تسر فردنرد شناسرا انتبراا مناسر ترر مردل قا لت امنران در ار ردرا مبتلرا مر اشردگ در نارت رر مننرا تحلر مزارا محررددتا مرردلررا مو ررود رر مقاسرر ترنقرر رشررا رران ردرر از چالما مسا از مرتنط مپردازمگ 1- مقدم ا تو نقم مم مبتلا دارد تولد رزافزن ردوردار است [ امرز نرمافزار در سستم ا ت ا نرمافزارا از امت 2 [گ استاندارد»از 9126«]3[ ننا مبتل از ت را معرف قا لت ک از نن ا مم ] 4 [گ ر اسا استاندارد IEEE 1633 ارا شد قا لت است رد استگ ت نرمافزار است در سال 2008 نرمافزار نارتست از ااتمال دن ست ودن ملکرد سستم را از- زمان مع در محط مع گ امرز ک از مقوالک مم چالم رانگز مندس نرم- افزار اندازر م ننا مبتلا ت است ]4 5 [گ مندس قا لت نرمافزار ور ام اندازر م دن ور داص در سا ر از ار ردا ژ در سستما ا ان انسان سر ار دارند از امت سزا ردوردار است ] 5 [گ ک از ملزماک *گ پست الکترن نوسند مسئول: rasoolzadegan@um.ac.ir فارغالتحص فردس مند مند ارشناس ارشد مر ز دموزشا الکترنک داننگا استادار داننکد مندس داننگا فردس مند داننجو ارشناس ارشد مر ز دموزشا الکترنک داننگا فردس
گ[ مرر ن اممند ر مدلساز قا لت نرمافزار 286 مندس قا لت مدلساز ا اشدگ ر اسا مرالع قا دمند صورک رفت است ]6[ %63 درصد از نازمند م- در سال 2014 ارا انجام شد در زمن مندس قا لت نرمافزار ارا مدل دد اندازر را ارتقا مدلا قنل ادتصاص ا قا لت افت استگ در اق در 30 سال ذشت م از 100 مدل مبتلا در ا زمن پنناد شد است ]7 8[ اما مدل ااد ود ندارد در تمام موقعتا ار ردا مناس اشد ] 2 [گ ا تو تعدد رشا مدلساز اندازر مو ود افزام مقاس تر مناس رزافزن تعداد دنا ناز رشا نرمافزار در ار ردا مشودگ در ا ارا الگورتم رش مدلساز اندازر مقال ا مبتلا د م دست ند ت انتباا قا لت از پم دننال شد ااسا زرا است دست ند مدلا مو ود ر اسا معارا مبتلا ما متوان دست پ ارا دد رش از رشا مو ود دواد داد در نتج ن ژا مزاا رد تا در م نز محددتا توان از ا ا تو ژا محددتا ر پرژ است اد نمودگ ادام ا در مقال ا م رااک ر مدلا موردناز صورک ادا صورک سازماند شد است: ا تدا بم دم رش تحقق انجام رفت در ا مشودگ در بم سوم در ا تدا ا شناسا مرا مقال تنرح معتنر در زمن مدلساز قا لت نرمافزار ر مننا رش ن اممند تحقق دست ند ا تر در بم دم ارا شد است مبتلا مو ود معرف مشوندگ سپس ا انتباا چند نمون از دست ندا معتنر پر استناد دنا ا کدگر دست ند ام در زمن قا لت نرمافزار ارا دواد شدگ در بم چارم الگورتم قا لت را از انتباا مناس رشا مدلسا ز رش تر مو ود در دست ند پنناد معرف مرددگ در بم پنجم ا تمر ز ژ ر دست ند پنناد مقاس ترنق رش ا مدلساز اندازر م قا لت نرمافزار پردادت ر ا مننا رد از ممتر چالما مسا از ا اوز معرف مشودگ در نات در بم شنم نتجر ارا دند ارا دواد شدگ 2- روش تحقيق در ا مقال را درافت درک درس ت از تعارا رش- ا ارا شد را اندازر م قا لت نرم- افزار مرر ن اممند ر اد اک ذشت انجام شد استگ مرر ن اممند را تولد در معتنر منص ان ادالن قا ا تماد از رشا ش ا قا تکرار م مردگ در ا نوع مرر سادتار اا م ر فردند تحقق مان از ا مال ن راک شبص مندس نتاج سمت نتاج دلبوا پژنگر مردد ]9-14 در ت 1 سادتار ل مرر ن اممند ننان داد شد استگ در ادام متناظر ا ر از مراا سادتار ل مرر ن اممند ت ت 1 دنچ در ا پژم مقال ار رفت شد است معرف ادتصار تواح داد مشودگ 1: سادتار ل مرر ن اممند ]9[ 1-2- برنامرز برا مرور ا بم از د زر بم»اجاد قرارداد را مررتاد ا تنار قرارداد مرر«تنک شد استگ الف( اجاد قرارداد برا مرور: در صورت موتور ستجو و را از نم ا لماک لد داص دننال منا مبتلا مو ود مرتنط ا اوز پژممان
287 اشممجد رسولزادان قودلزد اشم مرمئنا ا ار مستعد درا دواد ودگ زرا ا ااتمال ود دواد داشت ارا دو در ا از ن ر ما پنان ماندگ رش قرارداد نم از ا ما مدوام تعرا زمن نم از دن را پژم دود است اد نم رش ن اممند استگ ا از چند قرارداد رش اوز مسر معنا ار ن ر دگر نز دننال منا مرتنط ا اوز ما گردد عد تکرار منا ع دواد رسد در ا ما رسدا مگ مقال را مرر است اد شد است رپا تکرار تکام استگ در راستا پژم در مر و ما ا ن رانسا محقق 8 تحققات موا ستمگ ا مو ودت تااا پرژا در ا در اق ما متوانم در دنا دننال پژنمان 2 مقاالک مجلا ا را منا ع ستند ار دوا در اوز گردمگ النت را تاد ا تنار ر دام از ا منا متوان معار ارزا تع ت 2 ردگ نوان نمون معارا ارزا مورد است اد را مجالک در بم ت 2 - اشار دواد شدگ ارتنااک ا ننان داد شد استگ نوان 8 مو ودت در مثال ما متوانم از مجل دوا تعداد مقال دوا رسم العکسگ را شرع فردند مقال دوا اا مرر ا تدا تر است مواوع مورد ن ر است را انتباا نمامگ از ا تاا ا مرر دوا ام پرامون را متوانم تعارا م ام پا در را ر ا مواوع مورد ن رمان رسمگ از دن تاا دسترس پدا در انترنت ا درس تاا دوا متوان نوسندان محقق رد ا مرا ع ص ح دنا دنا ارا مدند سار مقاالت در را ر ا مواوع مورد ن ر ارا داداند پرژا در را ر ا مواوع مورد ن ر در دن شر ت داشتاند ر- ا تحققات ژرنالا ستند دشنا مشومگ مچن بم مرا تاا ا لس ت شدگ ا زء ئت متوان تحرر دن ا مرا ع از مرا معتنر دگر دشنا فردند را متوان ا تو ت 2 دننال در نات پس از چند مرال تکرار ا ثر منا مو ود در اوز مورد ن ر دست دوام افتگ رد دوا ا ب( تايد اعتبار قرارداد مرور: قرارداد در بم قنل مررح شد ر پا تکرار تکام استگ راسا رش مرر ت شد عد از چند م د ارزشمند دست دوام افت مرال تکرار منا ارچ نمتوان اد ا را رد تمام منا را در ادتار دوام داشت اما متوان ا ام زرا مدام در اال ارزا ستمگ مچن اد ا را رد منا معتنر دست افت- در ا تکرار منا ع مرسم ودم ا فردند ت منا مورد ن رم نا پس از چند مرال در مراا قن دنا رسد دود ننان دند ا تنار منا نتج ا تنار رش مرر استگ مجالک تاا ا ر ا تحققات 2-2- اجرا مرور ا ا متناظر مقاالک محقق 2: رش م بم دود از 6 زر بم تنک ار را شرح دوام دادگ الف( شناساي لد در ا ادبيات پرژ ا در منا شد است انتبا در ن رانس ا ا در در ادام مقال صورک رفت است ر مرتبط: درا مانند: ارزا /اندازر نرمافزار مدلا قا لت م را مقال از لمات قا لت در منا است اد شد استگ سپس ا ازدورد منا رفت شد لد لماک ستجو ال دد از قن از ا انواع مدلا اندازر قا لت نرمافزار تمثال مدل- ا رشد قا لت نرمافزار ا رشا انتباا
مرر ن اممند ر مدلساز قا لت نرمافزار 288 ن مدل مناس معارا انتباا مدل مناس اژان ا چنن رسدمگ ب( انتخاب مطالعات اولي: در ا لماک لد ر: از بم قنل - ACM Digital Library»«بم ا است اد از دست دمد در منا ع «Scopus» «Pad- «Springer Online Journal Collection» پاگا اشتراک داد داننگا فردس مند««Science IEEE» Xplore» Digital Library نز Direct» «Scholar» Googleمرر ن امند مرر در بم ت 1-2 ت رپا قرارداد معرف شد در اوز مر و انجام شد است در فردند تحقق منا تن ر مقاالک ت پاانناما رسالا ز ان انگلس فارس مورد تو قرار رفت استگ النت در ا تدا تمر ز اصل ما رر مررا ارزشمند ا تر ج( ارزا يب دنا مر ]8[ م اشدگ اوز ود ک از مم- كيفيت مطالع: بم مدا از منا تحقق را مقاالک معتنر تنک مورد داداندگ را تاد ا تنار مجالک مقاالک متوان از معارا ن ر فا تور مؤثر مزان استناد دن اثر رتن ند مجل ردگ مچن اا ا ا را تع است اد لم دا مقاالک دست دمد اال اک مرتنط ستند نوان چکد مورد مرالع قرار رفت استگ م د در راستا د مقال رسدا م دنا در نات تعداد منا در بم 2 در دل 1 بن از دنا ادتصار درد شد استگ ( استخراج داد مورد نياز و تركيب دادا: ما در قسمت دادا مو ود مرتنط ا مواعمان را در منا مر و مورد تحل را تکم ا استبراج نمودا م دارند نمتوان النت نا ز م ا قرار دادا م دن دست از داد- ارتقاء مرر ما م م ند گ رد از منا را دل اجم زاد ور ام مورد مرالع قرار داد ار نست صرفا اد بما مر وط دادا مورد ناز ما ست شناسا دادا مورد ن ر را استبراج نمودگ دادا رد در ا مرال استبراج شد نارتند از: م ام ال مر وط قا لت نرمافزار مدلساز قا لت انواع دست ندا مدلا قا لت نرمافزار ت دل 1 شرح ر مناس گ ما ر مبتلا رفتام تحل را تر راس قرار دادا م از مدلا ارا شد رش انتباا مدل از ا دادا را ا ازدورد در قسمتا ا عد از منا مقال مورد گ پس از انتباا دادا مورد ناز دنا ناز راسا در امت ردم دست ند دد مدلساز قا لت نرمافزار رسدم ت 3-13 ا دن را م صال شرح دوام دادگ 3-2- مستندساز مرور دارند ا م را رشا در بم بم شام نوشت زارش مرر تاد زارش مرر استگ ما ا تدا زارش ال از مرر را ت از ن را دن توسط ا ا تم تحققات تدر ا ردم پس از مرال ا اماک نارساا مو ود در زارش رر شد دن راسا استانداردا ت شد در پژن مدلساز در مندس«تن م ااص مجددا توسط ا ا تم تحققات قرار رفت در ا رف ااالک نگارش قرار دادمگ لم»مجل ردمگ زارش مورد از ن مرال از از ن تمر ز دود را ر ر 3- مرور نظاممند بر دستتتبندا مختلف مدل ا سؤالا قابليت اطمينان نرمافزار»چرا سستم مانند نرمافزار مشود «ا»چگون متوان قا لت نرمافزار را اندازر رد «مندس دچار ست سستم نرمافزار را سمت مدلساز قا لت نرمافزار سوق داد استگ مدل ا پم ن قا لت نرمافزار ا زارا قدرتمند را نترل ارزا اندازر قا لت م نرمافزار ستندگ از د 1970 تا ا نون م از 100 مدل در ا مدلا در اال پنرفت 1 زمن پنناد شد است ر سال ا نوز مدل ستندگ ل ود ندارد تواند در م موارد ار رد ] 15 [گ در دل ا رشا در قال دست ندا متنو ارا
289 اشممجد رسولزادان قودلزد شداندگ ردا 1 2 3 4 5 6 7 8 9 10 11 12 13 دل 1: رد از رشا دست ند مدلا قا لت نرمافزار دست ند دست ند موسا ا وموتو ]8[ دست ند لو ]8[ دست ند ر مننا فاز توسع نرمافزار ]16[ دست ند ر مننا نازا دادا ]17 18[ دست ند ر مننا مزان قرعت ]7[ دست ند ر مننا در چرد ااک توسع نرمافزار ]19[ دست ند ر مننا درا ا نرمافزار ]7[ دست ند ر مننا دامن رد دامن زمان ]20[ دست ند ر مننا تاربچ ست ]21[ دست ند ر مننا زمان اندازر ]23 22[ دست ند ر مننا چرد زند ]24[ دست ند ر مننا ار رد ]22[ دست ند معرف شد در مر ]6[ مانور در دل 1 مناد مشود ک از ا دست ندا تردا 3 مدلا قا لت را ر مننا فاز توسع نرمافزار تقسم ند منمادگ در را ر ا ا دست ند مرالعاک فراان انجام شد است ]25 26 [گ در ادام ا تدا ادتصار سار دست ندا مو ود را معرف منمام سپس ت ص معرف دست- ند پنناد است مپردازمگ ا محورت ا دست ند ارا شد 1-3- دستبند موسا و اكيوموتو از ال ک دست ندا ارا شد را مدلا قا لت نرمافزار توسط موسا ا وموتو ارا شد است ] 8 [گ ا ت زمان سپر رد ند شد ر اسا ا ستا محدد ا نامحدد نوع توز ا توز دست ند 5 فا تور اوز زمان زمان ا را دست تتعداد پواس تتوز د ملا رد دانواد م اشدگ امت ا دار ا است مرالعاک پژما است زء ال شداست از دن از دورد رفتاندگ 2-3- دستبند ليو در مر ]8[ نوان عدا در ا دست ند- اوز انجام مر پا اصل را منحر اندازر قا لت از ن م صل از مدلا تبم محسوا مشود قا لت نرمافزار در دن ارا شد است دست ند دد معرف ردد است ت ت 3 ر اسا ا زء ممتر گ مر مدلا رد زمان ست نما دن تا ستند مدلا پژما در مورد دنا ود استگ معر مو ود در ا زمان تر نتر مدلا دست مدل لنسک - موراندا مدل فردند پواس نامتجانس مدل زمان ا را پا موسا مدل فوق نما مدل اشندند م اشدگ در ا ست نما استگ ا 3: دست ند لو مدلا تا شدک در مدلا رد زمان ست اما نول را توصا تا شدک ست ا توز نول است اد مشودگ معر تر دست نارتند از: مدل نول S گ م نما از توز اما مدلا مو ود در مدل رشد قا لت مدلا رد ست نامحدد نز مدلا ستند تعداد ستا در دنا محدد نست در زمان نات تا متوسط تعداد ستا در دنا سمت نات چ م ند ت = μ(t) lim د t قت دن اال نبواد ود دل پدا شدن ااالک دد در ا درا اشدگ معر مدلا تر فردند معنا نرم افزار دن م متواند ازا تصحح مو ود در ا دست نارتند از: مدل دان مدل ندس مدل پواس لگارتم موسا ا ددر ز وموتوگ دست از مدلا مر وط مشود معرف مدلا گ در دستا ذشت قا لت نرمافزار تنا در صورت تغر م ند درا رز ند در ا ثر
مرر ن اممند ر مدلساز قا لت نرمافزار 290 دنا تاثر دراا کسان در ن ر رفت مشودگ در مدل- ا قا لت ز در صورتک چ ست زارش ننود نز افزام ما دگ در اق در ا مدلا قا لت تا ع است از تعداد ااالک نا شد تعداد ملاک دن ست نرمافزارگ در ا مچن مدلا تاثر دراا کسان در ن ر رفت نمشود تاثر دراا سار ممتر از تعداد دناست ]8[ ] 27 [گ مدل در ا معر رال است ار اع مدمگ دست مدل رشد قا لت لت د را مرالع نتر شما را مر ]8[ 3-3- دستبند بر مبنا نياز ا مانور در ت 4 دادا مناد مشود مدل ا قا لت نرمافزار ر مننا نازا دادا د دست تقسم مشوند: مدل ا 18[ 17 [گ 20 را مدل ا اندازر قا لت تجر است اد ردگ در ا تجر مدل ا تحلل نرمافزار متوان از مدلا N نسب از نرمافزار کار رفت مشود در لح t ررس مردد چند نسب از ا تعداد سالم ستندگ مدلا تحلل ناز مقدار داد م در شد در زمان درا نرمافزار دارندگ ا تعداد فرض توز مدلا ا در ن ر رفت مناس دادا قا لت نرمافزار را اندازر منماندگ مدلا تحلل د دست تقسم مشوند: مدلا استا پواگ مدلا استا رفتار ا ست زمان درا ا در ن ر نمرندگ ا توسع مدلا ر اسا نوع دادا مدل مورد است اد قرار مدند تقسم مردند: مدل ا دادگ مدل ا است اد م نندگ مدل ا مبتلا داد ا دامن درا مدل ا دامن درا از مجمو ا رد نرمافزار است اد م نندگ نرمافزار را در د دست دامن مبتلا دراا دامن داد از مجمو ا درا ا مناد شد مدل ا مرندگ داد ا مبتلا م است اد مدل ا مدل ا مدل ا در ول از ا ردندگ از ا ا تقسم مدل ا 4: دست ند ر مننا نازا دادا پوا ا ستگ زمان درا ا درا نرمافزار را در ن ر نرمافزار در درا در مشوندگ ست از ا پوا د دست مدل ا زمان سست تقسم مشوندگ مننا متوان ا در مدل ا زمان سست تعداد درا ا زمان زمان مورد زمان پوست نرمافزار در زمان ا در مراا مبتلا تست ثنت م- رد: مدل ا زمان متوانند ثا ت ا تصادف اشندگ ر دست از مدلا را د زر شاد زمان سست ا از زمان تصادف زمان سست ا از زمان ثا تگ زمان سست ا از زمان تصادف ر از مرال است زنجرا ستند تعداد درا ا م در مردد درا ا ول ر ازگ در مدل ا زما ن در ا ثا ت ول از ا مدلا فرض مشود از تستا در اال ا را ثنت مرددگ دادا نارتند از تعداد ا راا تست تعداد زمان سست ا از زمان ثا ت م اشدگ ال ر ا تعداد دراا از زمان رد مدد مستق از از ا توز پوست درا ا پواس دارندگ دادا مورد است اد قرار مرند نرمافزار ستند از ا ارا مشوندگ ست توز زمان ا در ر زمان دگر است در مدل ا زمان ا زمان اقع ر صورک پوست درا ا مدلا د زرشاد تقسم مردند: مدل ا دست از «ا از
291 اشممجد رسولزادان قودلزد ا ا ا ا ا نا ا ا ا ا ا ا ا ا ا ا» مدل «ا رفتار درا درا مستق زمان «از درا مستق مستق منا «گ در مدل «ا از زمان شداندگ ا زمان درا ا صورک کرا ست توز مبتلا ا پارامترا منا توز مدلا توا دارندگمدل «ا رفتار درا مستق منا «از ا ست ر مدل منا کر را درا ا زمان ااتمال فرض مردند ] 17 [گ 4-3- دستبند بر مبنا ميز قطعيت مانور در ت 5 مناد مشود مدل قا لت نرمافزار را متوان د دست تقسم رد: مدل قرع مدل ااتمال ]7 27 [گ مدل قرع تاستا ال ر داد درا از رد ص اک رنام ا پرژ را تعداد درا اقماند در نرمافزار است اد م نند تبم ] 7 [گ در مدل ااتمال تپوا داد مر وط مدل محصول دلبوا مدل قرع از ااتمال ردال دست از مدلا نتج ا در مشوندگ نا را م ا تنا دن محصول داص مرتنط استگ ال را دست از مدل ا قا لت داد ا درا تولد شد توسط سستم نرمافزار را دننال م نند تا توانند پرفا ملا ست ستم را در از زمان داص تنک دندگ از دن ا ا مدلا ر مننا توز ااتمال م اشند مدل ا پوا نز نامد مشوندگ ژ معمول مدل ا پوا ا است صورک تا ع از زمان معرف مردندگ مدل ا ااتمال را متوان شم دست مدل تقسم رد: مدل ا رشد قا لت نرد درا رازش منحن اشت درا فردند نامتجانس پواس مار و گ ر دام از ا دست مدلا دارا رش را تبم قا لت نرمافزار سار اندازا ارد مانند پچد نرمافزار امنت نرمافزار تعداد دراا اقماند ستندگ مدل ا رازش منحن از دنالز ررسون دمار را ررس را ر پچد رنام تعداد ستا نرد درا است اد م نندگ ا ررسون در کر در ا تحل پدا ردن را ر مدلا مچن ا از سر زمان را متغرا ا ست مستق است اد منماندگ را مثال تعداد دراا نرمافزار متواند متغر ا ست اشدگ از ر دگر ستا زمان توانا رنامنوسان انداز رنام متوانند متغرا مستق اشندگ ا درا تبم مشوندگ مدل ا ررسون مدل ا مدلا س دست مدل ا پچد تبم تعداد درا ا تبم پچد تبم نرد درا تبم تقسم درا ا است اد از مدل ا رنام را تبم نوان مدل پچد نرمافزار است اد م-شوندگ ا تبم را زمان سر از رش مزنندگ را تبم دست از مدلا پچد نرمافزار است اد م نندگ از ا مدلا متوان را نرمافزارا نسب ا مبتل را در از ا م نند است اد ردگ مدل ا م نند ذشت تبم درا تبم زمان مبتلا منتنر نرد درا را ا است اد از زمان ا زنندگ ا نرد درا تالش مدلا فرض م نند درا نرد قا دستا است م رش اداق مر عاک 16 ال ر دن کنوادت کرافزان م اشد ] 7 [گ 5-3- دستتتبند توسع نرمافزار مقال مننا مدل ا ]19[ مدل ا چرد نرمافزار مدل ا 5: دست ند ااک ر مننا قرعت بر مبنا دور چرخ حيات قا لت پم ن سر مدل ا منتن نرمافزار را ر توسع نرمافزار زردست ا رشد قا لت ر دامن رد مدل ا منتن
مرر ن اممند ر مدلساز قا لت نرمافزار 292 ر معمار مدل ا عن سا مر مدل ا س د مر دست ند م ندگ ت 6 ر دام از ا زردستا در دام نرمافزار قا است اد ستندگ م ند ان عن از فازا توسع ت 8 مدلا قا لت نرمافزار را د دست ت ر مننا دامن داد ر مننا دامن زمان تقسم م ند ] 20 [گ ر از دست مدلا ارا شد در ا در بما دگر تواح داد شداندگ 8: دست ند ر مننا دامن رد دامن زمان 6: دست ند ر مننا در چرد ااک 6-3- دستبند بر مبنا خرابي ا مانور در ت 7 درا ا متوان نرمافزار مدل ا د دست تقسم 7: دست ند ال دست ر مننا زمان مناد مشود توسع نرمافزار نرمافزار ر مننا قا لت نرمافزار را رد ] 7 [گ ر مننا درا ا درا ا نرمافزار نرمافزار است د زر دست تقسم مشود: دن دست از مدلا از نرد درا نوان ا زار مدلساز است اد م نند تمدلا نرد درا دنا نوان تا ع از زمان ا زمان درا درا ا را مدل ذشت م نند تفردند دود ازنت 17 گ دست دم ر مننا تعداد درا ا نرمافزار تا زمان منبص م اشدگ در ا دست اکل از فزدند پواس را پم ن قا لت نرمافزار است اد مشود ] 7 [گ 8-3- دستبند بر مبنا تارخچ ست 18 مانور در ت 9 مناد مشود ر اسا تاربچ ست متوان مدل ا قا لت نرمافزار را چار دست تقسم رد ] 21 [گ در مدل»ا منتن ر زمان درا ا«19 فردند مورد ررس قرار مرد زمان ستا استگ فرض مشود زمان ت 1 i i ام ست مقدار تصادف م اشد در ام ا زمان از توزع پر م ند پارامترا دن ست ا اقماند در ا از ستگ داردگ تبم ا پارامترا م مدل ا»منتن ر زمان درا ا«انجام مردگ در مدل ا»شمارش اال«20 تعداد دراا در از زمان معلوم رد مدد نامعلوم تصادف م اشدگ در ا مدلا فرض مشود تعداد دراا از فردند نامعلوم تنعت م ندگ زمان متواند زمان اشدگ پارامتر ا نرد ست تقوم ا زمان پردازند 21 نز ر اسا تعداد ست ا مناد شد تبم زد مشوندگ د دست مدل دگر در بما دگر معرف شداندگ 7-3- دستتتبند بر مبنا دامن داد و دامن زمان 9: دست ند ر مننا تاربچ ست
293 اشممجد رسولزادان قودلزد 9-3- دستبند بر مبنا زمان اندازگير مانور در ت 10 مناد مشود از من ر زمان اندازر قا لت مدلا قا لت نرمافزار را متوان د دست تقسم رد ]22 23 [گ 11: دست ند ر مننا چرد زند تبم 10: قا لت دست ند ر مننا زمان اندازر معن فعل را ا ا مال تکن ر سستم داد ا ا ا است قا لت استنتاج دمار دارا اال در مراا تست ا دست درمگ ا نوع اندازر ر ملکرد قا لت را از ا تدا تا نقر فعل مد ن ر قرار مددگ از تبم را ارزا قا لت فعل است اد مشود تا توان تع ملاک رد دا ا موفق ود است ا درگ مدل قا لت در ا مدلا پم ن قا لت را ا تو متر اندازر ا تکن قا لت نرمافزار مو ود مراا مبتلا توسع ا مرند ا مبتل است اد منمادگ نرمافزار ر از ا پم ن منمادگ در نرمافزار پم ن در دست تا پم نگ اما نوز مدلا نازمند پنناد مردند ] 22 [گ نتر تبم را 10-3- دستبند بر مبنا چرخ زندگي مقال ]24[ چرد زند مدل ا از قرار پم ن نرمافزار را لحاظ اندازر قا لت نرمافزار زردست ا شد در ت 11 در فازا مدل ا ال پم ن مشودگ زرا در ا ا تقسم ند م ندگ تزدنگام چرد قا لت فازا داد ا دست از مدلا تعداد دراا نرمافزار پم ن م نندگ ااک معرف نرمافزار از نرمافزار است اد ست مو ود نستندگ رنام را قن از تست در فاز تست تمان در ران مدل ا فعل نرمافزار افزام پدا االزدا م ندگ در ا رنام قا لت مرال رشد قا لت نرمافزار قا لت نرمافزار زمان منا مورد ناز قا لت مورد ن ر را تبم فاز تبم قا لت ست صورک مردگ رسدن را مزنندگ در ول ا نرمافزار ر مننا داد ا پس از انتنار نرمافزار تدرنگام اااف ردن ماژل دد اذ ماژل ا دا شد تر قدم اذ دراا منبص ا دا دد ذشت تغر سبتافزار موارد انچنن نوشت شد در اد در ارزا قا لت نرمافزار مد ن ر قرار رندگ در ول ا فاز سر تکامل مدل مورد ناز م اشدگ 11-3- دستبند بر مبنا كاركرد ت 12 اندازر اندازرا قا لت محصول ارزا مال 22 دماد محصول را مدام قا لت تولد ملاک محصوالت را ر مننا دست ند مال فردندگ ال استگ دم ا مم د د م ند: ارزا د وا د ارزا ت مرلوا را نازا منتر توسط سازند نرمافزار م اشدگ دراق ارزا مال فردند شام ارزا مرا اصالح فردند نگام مال محصول است الزم اشد ] 22 [گ 12: دست ند ر مننا ار رد
ل مرر ن اممند ر مدلساز قا لت نرمافزار 294 12-3- دستبند ارائ شد در مرجع ]6[ مر ]6[ سال 2014 ک ر اسا از ددتر مرالعاک انجام شد تدر چارچوا سستمات مقول مدلساز قا لت نرمافزار استگ در ا مقال اال اک الن مچن زمن رددر شد استگ ا دست ند ا مپردازدگ در در زمن مقاالک پژم ا مو ود معرف ا ت 13 13: دست ند مر مدلساز در قا لت مو ود در ا مقال پس از ررس مدلا دست ند دد دست ند درد شد استگ ]6[ در مورد مدلا رشد قا لت نرمافزار مدلا منتن ر تست نز مدلا منتن ر معمار در بم ت 13-3 رشا تواحاک الزم داد شداستگ ز ر اسا دمار مو ود در مر ]6[ عد از مدلا رشد قا لت %6 از ارا پژما مو ود در زمن مدلساز قا لت را دود ادتصاص داداندگ را مرالع نتر در ا را مر ]28[ ار اع مدمگ ر اسا مر ]6[ مدلا در دنا از تکن زمن شما ا وش مصنو مانند ادر ماش ادر استا الگورتما ارصان منرق فاز ژنت الگورتم م ام انچنن است اد مشود در دست ند مدلا منتن ر وش مصنو قرار مرندگ النت معموال مدل- ا مو ود در ا صن است اد م نندگ در قسمت ت 13-3 تواح نرمافزار دست از م وم تکن شنکا در مورد مدلا منتن ر معمار داد دواد شدگ ر اسا مر ]10[ مدلا منتن ر ژا استا معمار نرمافزار ر مننا ا مالا اک معمار رفتاندگ در اق ا ژا مدلا نرمافزار استا معارا مندس نرمافزار قا لت نرمافزار را ر ر قرار م نندگ افزار دست از مدلا در فازا ار رفت مشوندگ از ا ال چرد ااک نرم- ر مانرور قنال نز در مورد مدلا پننن قا لت نرمافزار ت شد ا ر صرف و در زن مشوندگ در دست ند ارا شد در مر ]6[ من ور از سار ر ش- ا مدلا است از تکن ا تکن ا م نند ا اقت ا 23 ر مننا تئورا است اد داص ستند تمانند الک داراما قا لت تحل رس تحل مد ست تئور قرع رج مرج تئور مدل ا ر گ ا رشا رفتاند تمث منتن ر متر مدل اقت ا را ر رنام نوس چند نسبا مندس ا قا لت در فازا ال رفتار سستم استگ نچمارک 13-3- دستبند پيشناد در ا 10 بم ا تر 13 از دل تغراک نق ند ام 1 را موردا داص سستم داص ا رشا منتن تبم ا رفت ر اسا نازمندا دست ندا رداا 8 6 3 ا مال کسر اصالااک تر دققتر ارا دوام ردگ دست ند پنناد در ت 14 ننان داد شد استگ ا دست ند م م ند تا مدل مورد ن ر رااتتر وشمندانتر انتباا رددگ در ادام معرف ر زر دستا ا دست ند»مدل ا دست ند مپردازمگ پنناد قا لت ا مواوع مپردازد نرمافزار در چ زمان از ا مال مردند«گ چرد توسع نرمافزار را متوان فاز ا ال ما ن را در االت ز تر نا تقسم نمود ] 22 [گ فازا مذ ور متوان راا پادساز دزمون ارزا توسع تقسم زرفازا ملا ت ردگ در ادام معرف ر نازمند نگدار از
ل گ[ 295 اشممجد رسولزادان قودلزد زردستا ت 14 مپردازمگ الف( مدلا پيشبيني سرع: نرمافزار متوانند نرمافزار پم ن ا در فازا مدل ا نا قا لت توسع دقق داشت اشند اما انجام ا پم نا در فازا ال توسع نرمافزار متوانند از ن ر ردرد زن م د اشندگ ک از دست مدلا متوانند در ا پم ن سر ال نستند راا توسع فاز مورد است اد قرار رند مدل ا ستند ] 29 [گ از دن ا رد از مدل ا را نرمافزار اال اک درا پم ن سر در فازا در دستر از معارا پم ن قا لت است اد م نند ] 30 [گ مدلا ارا شد در ]31 مدلا پم ن سر ستندگ ب( مدلا مبتني بر معمار نرمافزار: ا را مدلا 32[ از مل دست از پم ن قا لت نرمافزار سادتار درن نرمافزار را در ن ر مرندگ ر اسا مر ]33[ مدلا منتن ر معمار در االت ل اصل مدلا مدلا م مدلا د دست تقسم مشوندگ م دود س دست منتن ر االت منتن ر مسر افزان تقسم مشوندگ در رکرد منتن ر االت تزردست شمار 25 معمار نرمافزار صورک زنجر مار و زمان سست/پوست ا فردند نممار و مدل شد قا لت نرمافزار صورک شنساز تسلسل مراتن ست تبم 31 ا تحلل تتوسط تر معمار ا رفتار زد مشود تزردستا شمار 30 ] 34 [گ از ا دست مدلا متوان مدلا ارا شد در ]35 ن تتر رد در مورد ا 36 37[ اشار ردگ مدلا تحلل دصصا معمار را ا رفتار ست تر مدل ااد اجاد م نندگ را اال اک نتر دست از مدلا منتن ر االت منا ]35 38 39 [گ مرا ع نمادگ مدلا سلسل مراتن را د مرال قا لت تحل فردند مجزا تقسم م نند ت را مرالع نتر منا ]37 40 41[ مرا ع شود گ در رکرد منتن ر مسر تزردست شمار 26 را محاسن قا لت نرمافزار مسرا ممک ا را م شنساز ا را رنام ا صورک الگورتم تزردستا شمار مشودگ قا لت قا لت ا نات قا لت ا قا لت 33 32 ر مسر ا زاء دن مسر رنام ار رد 34 در ن ر رفت از رق دست ارا مددگ در را ر مانگ مسرا مبتلا دواد ود ]34 مدلا ارا شد در منا ]36 43 42 44[ از مل مدلا منتن ر مسر ستندگ در رکرد افزد تزردست شمار 27 معمار صورک صرح در ن ر رفت نمشود لک تمر ز ا رش ر تبم ست ا ست زمان رنام ار رد داد ا انک دل ست مؤل ا م اشدگ ا است چگال مشوند ان چگال ا است اد از دست از مدلا افزد ت مشود ا سستم درا ا زاء م فردند مردد صورک ااص تاز دنجا نامتجانس پواس م چگال ا قا لت مدل ست ا زاء ] 45 [گ از ا دست مدلا متوان مدلا ارا شد در ]46 47[ اشار ردگ ر اسا مر ]33[ مدلا 13 ا ر دال مدلا م دارند از رق دانم تحل متواند تزر دست شمار ا ا داد ارقام سر ار قا لت مپردازندگ دانم معموال داص سستم تحت ررس م اشد ن ر رفت از مستنداک اشد ا امن ر رفت از فکر ن راک ارشناسان اشد ت در ا صورک دل ا مچن ا ستگ دامن ار رد داص مستند ردن دانما است اد الگوا از اال انسان مستعد دراست گ دانم متواند انتزا ل اشد ا مر وط الگوا اشدگ النت ادرا تما سمت است مثال از رق شناسا رااگ النت در مورد سن ا تمر ز ر ر ژ قا لت دارند ا منود قا مالا ا موا ستمگ در اال ااار فقط سن معمار ود دارد ر ر قا لت
مرر ن اممند ر مدلساز قا لت نرمافزار 296 تمر ز م ند ] 48 [گ انواع مبتل از رشا منتن تحل ر دانم ود دارد ا منتن ر دردت اال مد ست رش- ا ا تکارگ رشا ا تکار دود د دست تقسم مشوندگ دست ال رشا مندس اال از ستند از تجراک نرمافزار در راستا توسع نرمافزار ا در ت ااص مشودگ نوان مثال چارچوا نازمندا کر ار رد معرف شد در مر ]49[ راا اساس م ام ور القو در را ر ا کارر الگوا راا م اشند متوانند در راستا نگاشت نازمندا مستندساز تعد ا مو ود در ا ستند اد ارتقا تر ش ا منتکران شام تحل تحل تصمماک ا راا در نتج تصمماک است اد شوندگ رش- زمن سن ا اااف ردن دست شوندگ داد ا رشا راا بم تحل دگر استادانتر از رشا رشا است ور داص ر ر معمار نرمافزار تمر ز م نندگ مانند رش ا معمار منتن ر سنارو ]50[ رشا تحل معمار منتن ر سنارو پارز شداند ]51[ رشا تحل ر ر سناروا پچد معمار منتن ر سنارو تعممافت سل ادکام دامن ]52[ رش تحل ج( مدل ا منادل معمار ] 53 [گ جعب سفيد مركب: ا دست از مدلا از رد ژا مدلا عن س د عن سا صورک تر ن است اد م نندگ از دن ا ا دست از مدلا را پم ن قا لت معمار نرمافزار را لحاظ م نند ا مدلا را ا نوان مدلا عن س د مر مررح م نند ] 19 [گ در ]54[ نمونا از ا دست از مدلا معرف شد استگ د( مدل ا جعب سيا مركب: ا مدلا ژا مدلا منتن ر دامن رد مدلا رشد قا لت را ا کدگر تر منماند ] 19 [گ در ا ت مچن در زمن مدل ا مر عن س د زمن مرالعاک محدد انجام شد استگ نمونا از ا در ]55[ معرف شداستگ ( مدل ا از مدلا ننان مدند مدلا رشد قابليت اطمينان نرمافزار: ا دست چگون قا لت نرمافزار در فردند دزمون مرر زمان افزام پدا م ندگ نگام درا ا منجر رز ا مردند در نتج نرمافزار نا شوند ستا درا ا شداند شناسا تعمر قا لت االزدا نرمافزار نود قا لت راا تند پدا مدل م وم در م ندگ را ذ ر شد اد دزمون پم ن مدل رددگ مدلا رشد قا لت د دست نرد درا فردند نامتجانس پواس تقسم مشوندگ مدلا شمار 14 دست فردند نامتجانس پواس تزردست ر مننا مدل دمار فردند پواس کرمتجانس م اشند تفردند پواس کر متجانس ا فردند پواس نرد λ(t) است ا ست زمان م اشد گ مدلا ارا شد در ]9 57 56 58[ از مل مدلا دست فردند نامتجانس پواس ستندگ مدلا دست نرد درا تزردست شمار م نند ررس 15 درا چگون در زمان درا در ول از ا تغر م ندگ ار تعداد ست ا تغر نند نرد درا ]59 60[ نمونا از ا منا ر اسا رفت ا نرد درا اقماند در نرمافزار رنام نز تغر دواد رد ] 7 [گ در 6[ 56 27 ] 61 اد ا دست مدلا ارا شداندگ نکت را در ن ر دست از مدلا نرمافزار صورک ل اصرالح عن سا نگا م نند سادتار دادل معمار ا زاء نرمافزار را در ن ر نمرندگ مچن ر اسا مر ]27[ نمودار تعداد ااالک نا شد ر اس زمان تست را ا ار ا اشدگ S مدلا متواند مقعر
297 اشممجد رسولزادان قودلزد 25 30 1 12 26 31 2 13 27 32 3 33 4 14 34 5 15 6 7 16 35 8 17 36 9 18 28 37 19 29 38 10 20 11 21 39 22 23 24 14: دست ند پنناد
مرر ن اممند ر مدلساز قا لت نرمافزار 298 ر اسا دمارا قا لت نرمافزار در مر در مورد ارا مو ود در مدلساز ]6[ رددر شد است مدلا رشد قا لت نرمافزار از سار مدلا دگر پر استنادتر ستند ا ثر مقاالک ا ادتصاص داداندگ را مثال از مدلا اوز را دود در ا دست ند ارا شد %47 از مقاالک ارا انجام شد ا ا ن مدلا ادتصاص داردگ لذا ا دست از مدلا از امت ژا ردوردار ستند را مرالع نتر در زمن شما را منا ]56 61[ ار اع مدمگ و( مدلا مبتني بر تست: ا مدلا ر تعداد ستا ات اق افتاد در منبص ا متوسط زمان تنا فا تورا از زمان ستا را در ن ر نم- رند لک فا تور دگر ن ر مزان پوشم تست را نز فا تورا ت شد اااف م نند ] 62 [گ در اق مدلا منتن ر تست چگونگ است اد از سستم توسط ار ر را نز در ن ر مرند موردا تست را ر اسا ملا ت پرفا سستم- رد نرمافزار است- انتباا م نندگ ز( مدل ا م آمار: منعکس نند ا مدلا ا است اد از ف ا دادا تجر ست نرمافزار در فردند دزمان قا در ثنت م اشد قا لت نرمافزار را ا کارر رشا راا توز ا دمار مدلساز م نند ] 63 [گ مدلا ارا شد در ]64-66[ از مدلا دمار ستندگ ح( مدل ا تعداد ملاک پددشناسي: ا دست از مدلا ر اسا مل ملوندا تبمن از مزان درا مو ود در رنام ارا م نندگ ار مزان درا زاد متر تست را شناسا ا اشد موارد دراا ناز است ] 16 [گ از ا دست از مدلا متوان مدل ارا شد در ]67[ ردگ اشار ط( مدلا مبتني بر دامن داد: ا ا ا نمونا را صورک م منماند انگر است اد دست از مدل- مجمو داد ا ملا ت ت ا د تبم ست ا رنام اقماند در محصول نرمافزار م اشند امپوتر داد شد دزمام مردندگ در رنام دست مدد از ا تبم زد مشودگ ا زر دست تقسم نمود: مدل ا مدل ا در اشت درا ] 20 [گ رق قا لت نرمافزار دست از مدلا را متوان منتن د ر دامن رد مدلا منتن ر دامن رد تزردست شمار 16 تعداد مورد تست از ر رد تولد مشود پرفا ا ملکرد رد را پوشم داد ر دام مرتنط مسر وسل درا ا رنام ستندگ قا لت موارد تست دست مدد رنام در ا را ر دام از ا زد مشود تبم ] 21 [گ مدلا ارا شد در ]68 69 [ از مل مدلا منتن ر دامن رد ستندگ مدلا اشت درا تزردست شمار 17 فرض ر ا استوار ستند ار تعداد درا معلوم نترلشد را نوان ست نرمافزار ا مال نم درا ا نا شد توسط رش ا نسنت م تست دراا نا نند متوان تعداد دراا اقماند در نرمافزار را تبم زدگ تبم تعداد اقع دراا ذات از رق N = ns دست مددگ در ا را ر S تعداد را ر s دراا انتباا شد نوان ست sتعداد دراا ست شناسا شد N تعداد دراا اصل مو ود پنان در د رنام تا تعداد دراا اص ل مقدار تبم زد مشود n رنام نا شداند م اشند ] 70 [گ از ا دست از مدلا متوان مدلا ارا شد در ]71-73[ اشار ردگ ( مدل ا»شمارش خطا«: ا مدلا ال ر اندازر قا لت فعل نرمافزار تعداد دراا اقماند در رنام را نز»کر شمارش درا«تبم مزنندگ اما مدلا تنا قا لت نرمافزار را اندازر م نندگ مدلا شمارش درا چار دست مشوندگ شنک ا شنک پتر مار و قرع ز تقسم پتر تزردست شمار 18 در سال
299 اشممجد رسولزادان قودلزد ]21 59[ مدل ا 1962 توسط ارل ددام پتر معرف شدندگ پتر از چار نصر پا تنک مان ننانگ مکانا نماانگر اعت ا ستندگ ر مکان متوان شام تعداد م نند ان ننانا شنک شد است: مکان ذار ممک سستم ننان اشدگ سستم ا بن از دن در زمان ار در چ اعت ممک است قرار داشت اشندگ ذارا فعالت سا مشود ستم را ننان مدندگ تمام مکان ا ذار زمان توانا رد دن ننان را داشت اشندگ ذار توانا متواند دتم ند در ا ننان از ر مکان رد دن م شد صورک ننان ر مکان در دن اااف مرددگ مقدار قا لت تجم صورک محاسن مشود ] 74 [گ مار و از م ارا ر اسا تزردست شمار 19 شام تعداد االت S 1,, S n سستم ااتماالک دتم راا است تمحدد قا شمارش است در زمانا مبتلا االت سستم ا تو مجمو ا از ااتماالک تغر م ندگ مدل مار و ا زار قدرتمند تااتمال را ا مسا دارا فردند تصادف استگ مدلا مار و را متوان د دست مدلا استاندارد تزردست شمار 28 کراستاندارد تزردست شمار 29 تقسم ند ردگ مدلا استاندارد نز د دست زنجر مار و فردند مار و تقسم مشوندگ ار ف ا االت در مدل مار و پوست اشد دن شمار مدلا فردند مار و تزردست 35 ار سست اشد زنجر مار و تزردست شمار 36 ت مشود ] 75 [گ مدلا مار و کر استاندارد س دست متجانس نامتجانس شنمار و 48 متجانس تزردست شمار 37 ست ا ال ثا ت است تتعداد ست سا االت زنجر ا نرد انتقال در زنجر تقسم مشوندگ مدل ا فرض م نند نرمافزار تحت ررس مار و تعداد نامنبص اما ستم در ر زمان از ف ا متجانس مار و مزان ست نرمافزار مار و تعداد ست ا اقماند در نرمافزار ستگ داردگ مدل ا ارا شد در مرندگ در مدل ا شمار 38 فرض مشود در محصول نرمافزار معرف ستند در ا دست قرار مار و نامتجانس تزردست تعداد ست ا صورک تصادف منا فردند نامتجانس پواس دارند ] 20 [گ از ا مدلا متوان ردگ مدل ا مدل ا پچد ااتمال فرض م نند مدل ا ظار شد ود رفتار دست ارا شد در ]21 76[ اشار شنمار و تزردست شمار ستند در تحل پوا مناس ستند ] 77 [گ ا تعداد ست ا نامنبص اما ثا ت استگ ال ر ا نرمافزار نرد انتقال از ست ا در دن االت نز ا 39 سستم ا دست از مدلا ال چگال نرمافزار ست االت ن تنا تعداد اقماند در نرمافزار لک زمان سپر شد مدلا ارا شد استگ ستگ دارد ] 20 [گ در ]78[ نمونا از مدلا قرع تزردست شمار 20 فرض م نند ار پارامترا مدل شنادت شد اشند دنا تصحح درا مو افزام مشود نرد ست تλ م ندگ اما چون مدانم ست ا منبص در قا لت مزان منبص دراا ام پدا مبتلا نرد مبتلا دارند مدل تر دن است مقدار نرد ست را مقدار تصادف فرض نمگ مدلا ارا شد در ]59 80 79 81[ از مل مدلا قرع ستندگ در مدلا ز تزردست شمار مدلا قرع تصادف فرض مشود 21 ر دال ر د تصحح درا متوال تات ار چ تغر در نرمافزار صورک نگرد نرد ست ام ما د ] 16 [گ ک( مدلا»غير شمارش خطا«: ا مدلا س دست تزردستا شمار 23 22 24 مدلا قرع تمدل معرف تقسم مشوند: شد در ]82[ تصادف تمانند مدل ارا شد در ]83[ ز تمانند مدل ا معرف م نند شد در ]83 84[ گ مدلا تصادف فرض دراا مبتلا تأثراک مبتل ر ست رنام دارند تأثر نرد درا مو افزام مز نا
مرر ن اممند ر مدلساز قا لت نرمافزار 300 قا لت ال ر ا مزان فرض مشود نامنبص تصادف نرد ست درا متوال ثا ت اق مماند ] 16 [گ 4- الگورتم انتخاب مناسبترن مدل در ا بم الگورتم زر دستا معرف شد ت در بم 3 را انتباا مناس تر مشودگ د تصحح مدل از از دستند پنناد معرف ردد ارا شد استگ ا راسا الگورتم انتباا مدل در مر استگ ما ام شمار 2 را را تعداد انتبااا ممک ا مچن ارا ]19[ تن در دل 2 معارا انتباا مناس ارا شد استگ تعداد از ا الگورتم م شد نتر محدد ردن الگورتم اااف ردامگ در مر معارا مدل تر ]19[ معرف شداند تعداد دگر نز پس از مرالع ر ر مدلا نرمافزار ا ام ا در ا منتب رشا دست مبتلا اندازر دمد استگ در ت 15 قا لت رندنما مر وط الگورتم را مناد م ندگ در ادام تنرح الگورتم مذ ور مپردازمگ ر مدل الگورتم دواد ودگ امتاز نتر در نات را دست درد مدل گام 1: در ا ام معار انتباا فاز چرد تولد نرمافزار ا مال مرددگ عد از ا مال ا معار تنا مدلا اق ممانند در دن فاز قا است اد اشندگ در ا گام 2 : ام سع مشود محددتا مررح شد در دل 3 مدل انتباا شودگ نا را مدلا اذ شوندگ گام 3: در ا در فاز پس از ا ا تو مزاا ا چند دست ام تعداد زاد از شد مدلا تحت ررس محدد م- مرال دننال معا ر مردم تواند در دن قرار دارم قن از ررس سار معارا تعداد زاد از انتبااا ممک را اذ ندگ مثال ار ما در فاز راا قرار دارم مدلا قا است اد در ا د دست مدلا پننن سر مدلا منتن ر معمار فاز تمدلا عن سا تمدلا عن س د ستندگ اال معار تع اشد ر اسا ا نند متواند»سادتار پرژ«معار در صورت پرژ ما منتن ر زء مول اشد است اد از مدلا منتن ر معمار پنناد مشودگ ل معار فاز چرد توسع را ا مال ا تو مزاا محددت ا ا تعداد ارا شد در دل 3 را انتباا از دست مدل ا مناس دا معار ود دارد توان قن ا مال سار معارا وسل دن تعداد زاد از انتبااا را منت رد معار موردن ر را ا مال ر معار زن را ادتصاص د زن ار رد را را ر معار در ر مدل تبصص د مجموع ااصل راا زن زن ار رد را در ر مدل محاسن مدل ا االتر امتاز را انتباا 15: رندنما الگورتم انتباا مدل مناس در
301 اشممجد رسولزادان قودلزد دل 2: معارا انتباا مناس تر مدل قا لت نرمافزار معيار انتخاب مدل فاز چرخ توسع نرمافزار ورود مورد نياز توسط مدل خروجي مطلوب توسط كاربر روند ارائ شد توسط داد درستي فرضا بنا بر دادا مايت پروژ ساختار پروژ فرآند آزمون فرآند توسع دف از اندازگير قابليت اطمينان دقت در مقابل آساني توضيح ر ا اسا مدل ست ا در چ فاز قرار است مورد است اد قرار گرد انتباا مشودگ اد دادا مورد ناز توسط مدل قا دسترس اشندگ ع از موارد تفاز راا ا معار امت پدا م ند زرا تالش نتر را فرام نمودن ردا مورد ناز سل مدل عن س د ناز استگ ار منحن دادا م تنا مدل متواند انتباا شود در مرلوا را فرام نمادگ در شد مر وط ست نرمافزار ا منحن مدل منا اشد شانس نتر را دست دردن نتج دقق توسط ا مدل ود داردگ تنا مدلا اد مورد ررس قرار رند درصد ا تنار فرضانان تنق داد قا دستر االتر اشدگ مات پرژ شام قا لت اتمام نرمافزار تچ نرمافزار پاان ا د ا پاان نا د انداز دن کر م اشدگ مچن رشا معمار مت ات مانند قدرک تحم نقص سستما فرادوان ازنت مچن رش فلتر مواز/لول ررس مشوندگ اال اک سادتار چگونگ نترل ا جاا اادا را ننان مددگ ا معار را رناما منتن ر مؤل کار رد مشودگ مدلا قا لت نرمافزار منتن ر معمار رشا دزمون است اد شد در ول ام دزمون را در ن ر مرندگ فردند توسع شام زارش دراا رکرد مورد است اد کر م اشدگ دا د ما از اندازر قا لت مدرت منا تست ست ا مدوام را تصممر در مورد انک چ زمان متوانم نرمافزار را انتنار دم از مدل اندازر قا لت است اد نمگ دقت مدل نتر رامان امت دارد ا دسان ودن قا ت سر ودن نتاج ااص از دنگ مدلا از فا تور 50 49 زمان ا را است اد م نند دققتر ستند ا در اال است مدلا منتن ر زمان سپر شد اررنان دسانتر استگ گام 4: عد از ام 3 را انتباا مناس ا تعداد محدد مدل موا مشومگ مدل از تر معرف شد در دل 2 است اد م نمگ ا دنا از معارا صورک ر دام از دن معارا زن را نماانگر در امت دن معار استگ نسنت زن ا را تمام مدلا درن نسنت داد شد دست مسا متناس ا تعداد معارا قا است اد در دن دست ستندگ نوان مثال ار از شم معار مقا زن از را تا شم دواد ودگ در ا زن نسنت داد شد د معار از 1 تا 5 ممک ود دارد: م اشدگ را تند دست است اد مشود را ر اشد مقا مقا االت ار زن زنا د االت الا مدل ا ار تمام معارا ممک را تمام مدل ا دوام ا دست را تمام مو ود در دن دست قا است اد اشد را ردگ ار را درن دن دست از زن ا ا چند مدل درن قا است اد متر اشد از فرمول تند مدلا است اد دوام را دردگ ا تند دارا معار مقا ردگ مسا است اد دست معارا را دن مقا ا تدا ارا نند را دست دوام ارا نند در زن نسنت داد شد مدل ا متر ارا دواد شدگ را ارا نند تعداد معارا قا تقسم ر تعداد معارا قا دست دردن است اد در دن دست را است اد در مدل مورد ن ر
مرر ن اممند ر مدلساز قا لت نرمافزار 302 تمد ل ا تعداد معار دمد را ا تمام م نمگ 5: گام مقادر پس از انک متر م نمگ سپس مقدار دست مر وط مقا ر دام از معارا متر ارا زن تبصص داد شد اد ررس شود ر دام از ا معارا چ مزان توسط ر مدل ردرد مشودگ ا مزان را صورک زن ر مدمگ زن تبصص داد شد مقدار معار ار دن مقدار از معار مدل نسنت 0 تا 1 داردگ ور ام توسط مدل ردرد مشود در کر ا مدمگ مقادر ما ن نز صورک مقدار ص ر را نسنت 0 تا 1 ت ردرد شدن دن ناز تبصص داد مشودگ گام 6: در ا در م ارا رد مقادر نسنت مزان ام د زن نسنت داد شد ر معار را امتاز ر مدل ا کدگر م م نمگ گام 7: در انتا مدل است را نوان مدل نرمافزار است اد م نمگ دست دمد را را محاسن متر 5- تحليل دستبند پيشناد امتاز را دست درد را اندازر قا لت در ا بم رد از مزاا محدتا زر دستا دست ند پنناد ت ر مننا شمارذارا انجام شد در ت 14 محددتا ا دست دست ند شد در بم امام در قال مردندگ در نات ان مشوندگ سار مزاا مدلا صورک دالص ر مننا تحل چالما مسا از مرتنط پردادت مشودگ مدل ا دل 3 ارا نتاج معرف پددشناسي )زردست شمار 8(: مانرور در بم 3 ان شد مدل ا دست مدل ا تعداد دراا زاد متر از پددشناس از مل قا لت نرمافزار ستندگ در صورت اشد ا را شناسا دراا ستند ] 16 [گ مدلا نازمند موارد تست مدلا مبتني بر حالت )زردست شمار 25(: ک انواع مدلا منتن ر معمار مدلا منتن ر االت استگ چ دام از مدلا منتن ر االت اسط ا زاء را در ن ر نمرند ا در اال است امکان دارد ا زاء م تکنولوژا پنرفت مانند»اا ار م ترد از را درفرادوان ر از را در«توز شد اشندگ مدل معمار ا زاء مبتلا از رنام ار رد ممک است مت اک اشدگ اما در ا دست مدلا رش مدلساز قا لت ر ر تمام ا زاء ا مال مرددگ در سرح سستم را است اد از مدل ا منتن ر االت از تحل زنجر مار و زمان سست است اد مشود ت ا پچد ) 3 O(n n تعداد االتا م اشد گ سستم ا نرمافزار زرگ پچد دارا زاران االت ستند م دل ا مدل منتن ر زنجر مار و زمان سست را دنا سار زن ر دواد ودگ نا را ممتر اراد ا مدلا ا است را سستما زرگ متوانند صدا االت داشت اشند است اد مکرر از ا نوع دنالز ا ر اتال زمان زاد مشود ار اقت فرسا است ] 33 [گ در رد موارد نز از مدل ا مار و پنان است اد مشود تنگام در مورد ااتمال انتقال عد ود ندارد گ اما در ا االت ماترس ذار ماترس ااتمال مناد ت نناندند ااتمال مناد ردداد در االت داص م اشد صورک تصادف مقدارد ال مشوند ا امر دقت مدلساز را پا م رد ] 85 [گ مدل ا مبتني بر مسير و روکرد افزود )زردستا شمار 26 و 27(: ا د مدل زر دستا دگر مدلا منتن ر معمار ستندگ ا مدلا در سرح سن ا معمار نرمافزار دل دم ود سستم نرمافزار را ررس مسر ا ممک ا راء تبم چگال ست ا ست زمان سستم قا است اد نم اشندگ اما امکان است اد از رش دارام لو قا لت رش منتن ر سادتار است را سنجم قا لت سن ا معمار نرمافزار ود دارد ] 86 [گ
303 اشممجد رسولزادان قودلزد ور ل مدلا منتن ر نز ر معمار را انداز- قا لت نرمافزار معمار ا زاء نرمافزار را در ن ر مرند سستما منتن منتن را مدل ردن قا لت ر زء مناس ستندگ مدلا ر معمار در اصرالح مدلا موندگ معر مدلا تر متواند در مر ]33[ پدا مو ود در ا ندگ در ا عن س د نز مر دست را انواع مدلا منتن ر معمار ا م مقاس مشوند در نز ا پاان نتاج ااص مشود چ دام از مدل- ا تا نون معرف شداند تنا را پننن قا لت ا اف نستندگ مچن نقاص دل مدلا دارند در صنعت ندرک از دنا است اد مشودگ ر اسا ا مقال ممتر نقاص ررس شد شام منود ا زارا پنتنان داصت مول ا منن ر ا تغرپذر تنا ت ا تحل ستند ود ندارد ت دل اعا م اشدگ مچن رشا انداز در صنعت گ رشا مدلا دارند ر ر تحل تمثال متوسط زمان از ارر ا نازمندا ارا ما مناس را زمان مدلا اشدگ ع ن مدند اف قا لت چ مدلا دم داشت استننا ام مناس دم ا تنارسنج است اد در ا زمن ود دنالز سستم از رق محاسناک ستا ا تعداد ستا در تمر ز دارندگ اال دن اد پر ردن ا اد را ر د توان از رق تحلل معمار ا نازمند مر و پدا ردا مناس ردگ از معمار دنا نا ا مدلا كاشت خطا )زردست شمار 17(: ک از انواع مدلا منتن ر دامن داد مدلا اشت درا ستندگ اد اشم درا ا نتاج دراا اصل در ا مدلا ا معرف است مرمئ شد معر نمونا محتم در رد رنام اشند در کر ا از تمام صورک دست دمد دقق نم اشدگ اما متأس ان تا نون مدل معتنر قا قنول شد نوان ست ا را ت م انک درا ا انتباا ژ را دارند ا در معرف نند استگ نا را دراا ااالک اقع رنام توز جا رد ا شنادت افت ستا معر رنام ستند دراا را در ول نعت دراا شراط دنا ا انجام دزمانات دراا ست ا تبم مزنندگ ک دگر از چالم ا اشت درا تع ست انتباا شوندگ ا رز اقع را مررح در زمن تعداد دراا است اد نوان مواوع وام زاد ن ر ز ان رنامنوس مورد است اد تجر رنامنوسان انداز سستم دامن نرمافزار ستگ داردگ دل دست دردن مدل توز تنوع نتاج درا قرع کر ممک استگ رد از تحققاک ننان داداند ک از اد ا در زمن انتباا تعداد درا ا مورد ن ا مال نتاج دوا ست تجر سازمان ر در را ر ا دراا م اشدگ در سا ر تجر اک سار دشوار م اشد ] 70 [گ سازمان را سازمان از مواق دگر مدلا مبتني بر شبک پتر )زردست شمار 18(: ک از زردستا مدلا شمارش درا مدلا منتن ر شنک پتر ستندگ ا مدلا ال ر انک دارا سادتار رفتار صور رافک نز دارند م را دسان م ندگ ک از دال ساد سستم ا دناست النت ا پچد ستند قا لت نمام لت مدلساز توسط دنا موفقت شنک ا ساد پتر ا مدل ردن را دشوار مسازدگ است اد از ا مدلا نوان ا زار اصل ا مکم در تبم متواند م د اشد ] 74 [گ مدل ا قا لت ماركوف )زردست شمار 19(: مانور در بم 3 ان شد ک دگر از انواع مدلا شمارش درا مدلا مار و ستندگ ا مدلا تنا ر ر نرمافزارا قا ا مال ستند دصص مار و را اراا نندگ مسئلا تعمراک است در ا سستم زمن مررح مشود ا در م ا نرد ثا ت انجام نمشوندگ تعمراک اصالااک معموال ا ا فاصل زمان ثا ت از ردداد درا ت ازرس/تعمر انجام مشوند ا صورک مرندگ نا را صورک درا دست از ا
مرر ن اممند ر مدلساز قا لت نرمافزار 304 ملاک ور دقق رفتار مار وف ندارندگ ا ک از موان است اد سترد از مدل ا مار و مواوع در صنعت نرمافزار است ]87 88 [گ مدلا مار و فرض م نند انتقال نترل ا زاء نرمافزار صورک مار و فردند استگ ا مواوع ا ر مشود ا دست از مدلا را مدلساز نرمافزارا ااتمال»مستق از ذشت«سار مناس اشندگ م مواوع ا ر مشود مدلساز فردندا قرع م ا مدلا دشوار اشدگ در نرمافزارا ا مقا زرگ ود پردازشا انتا ت نارک دگر ا انتا نامعلوم سار محتم استگ مدلساز ا پردازشا ت ممک است قرع مستق از ذشت اشند م مدلا مار و سار دشوار استگ ال ر ا مدلساز نرمافزارا ا فردندا استگ ا فردندا تر ن انتا سار دشوار دارا تعداد نامحدد مسر ا را ستند اما ر دام از ا مسرا پاانپذر است ] 89 [گ مدلا مبتني بر تست )زر مدلا قا لت نرمافزار دست 6(: شمار از معار پوشم تست نز است اد م نند در سالا ادر ور ستردا مورد مرالع قرار رفتاند ]6 62 [گ ک از چالما مو ود ا است ا مورد است اد از متر مدلا نا نوع نرمافزار ستر ا مبتل - ن ر تعداد الکا اننعااا- را اندازر مزان پوشم تست است اد م نندگ اال دنک ننود رش ااد از م معارا ت شد است اد ند ااسا مشودگ در اق ناز است تا ا معارا ور کپارچ ا م را مدل- ا قا لت منتن ر مزان پوشم تست ار رفت شوندگ در مر ]62[ در سال 2010 منتنر شد است رش ر ا نتر در ا مننا ارا شد است زمن شما را دن ار اع مدمگ را مرالع مدلا رشد قابليت اطمينان )زر دست شمار :)5 ور ل مدلا رشد قا لت تزر دست- شمار 5 در اصرالح مدلا شوند زرا نرمافزار االت عن سا نامد م- ل نگا م نند سستم را االت زء از سستما انگون زء در ن ر نمرندگ در اق منک مرل استگ زرا م تنا رفتار سستم را نسنت محط دار مدل م نند رفتار دادل سستم را در ن ر نمرندگ در اق ا را اندازر قا لت مناس نستند ] 27 [گ ر زء 57 سستم مدلا زرگ منتن ا ثر مدلا رشد قا لت ذشت ا فرض محط االزدا اددل در ن ر رفت شداندگ در ا فرض ر ا فاز ملا ت است ر اال االت در فردند تست مناد شد ور اددل اذ مشودگ ا در اال است االزدا در ملا ت محط فردند تست اقع من ور اددل انجام نمشودگ از ا ر مدلا رشد قا لت در محط اال- زدا کر اددل مررح مشوندگ ا دست از مدلا رشد قا لت قا لت را ا دقت االتر تبم مزنندگ را مر ]61[ مرا ع نمادگ زمن در ا نتر مرالع در مر ]90[ 8 تا از مدلا رشد قا لت ر تعداد از پرژا نرمافزار زرگ در اوز نرم- افزارا ن ت قرار داشتند مر وط س شر ت ا دامن- راسا ار مت اک ستند مورد ارزا قرار رفت استگ نتاج ااص از ا ارزا در صورت بوام از قا لت نوان ا زار در ت تصممر در مورد ادتصاص ن منا تست است اد نم مدل ومپرتز 58 در صورتک در فردندا توسع نرمافزار منتن ر مدل V ا فردندا توسع کار رفت شود االت در فردند تر توسع د نار وچ انتباا استگ مچن سر در ا تر است از مدلا است اد شودگ در راستا تصممر در مورد منرق 59 ادتصاص ن منا تست ا پننن پرفا ران محدا نقص مدلا منرق ومپرتز مدل تادر S را تر من ور تع را ن ا پرفا انتباا م اشندگ نقص زمان انتنار نرمافزار S ور مقعر ل مدلا
305 اشممجد رسولزادان قودلزد 60 رند تمنرق ومپرتز تر مجانن تع دارند تدقت مجانن زمان انتنار است گ چن ملکرد را از لحاظ دقت دصص مدل منرق از ا رشد قا لت من ور تع تر د نار زن نمودار ران انتباا را ا پرفا مم را مدل- زمان انتنار ود استگ النت در صورتک فردند توسع اشد مدل ومپرتز پنناد نقص پنن نمودار ران مشودگ زمانک شد مدل منرق تر نقص محدا S ستگ در اال است مدل ومپرتز تر نقص مقعر استگ انتباا را ک دگر از نتاج دست دمد در مر ]90[ را مدل- ا رشد قا لت زمان تع نود نرمافزار انتنار ا است اد از نرد رشد ااص از پرژ-ا ذشت م اشدگ است اد از اال ات ن ر نرد رشد از پرژا ام شد قن ا را ننان مدد دقت مجانن در مان مدلا در فردند توسع منتن ر مدل V ور قا مالا ا د نار نز ا نرمافزار نود افتاستگ در فردند توسع امر صادق استگ اما در فردندا توسع وچ سر مجانن را نود ننبند استگ است اد از نرد رشد دقت نتاج تحليل: در مجموع ا تو پچد نرمافزارا مچن ا متوان نوان مناس مزاا محددت ا نتج رسد تر کر ممک استگ م م مدل در راستا مررح شد در دل 3 انتباا دل مدل ااد ار رد داص تقرن ا تر است چند مدل الگورتم معرف شد در مقال انتباا شد م دنا قا لت نرمافزار اندازر توصا رددگ النت مدلا دست فردند نامتجانس پواس از مل مدلا ستند در سار از ار ردا مورد است اد قرار مرندگ ا دست از مدلا را مدلساز قا لت سبتافزار نز قا است اد ستندگ م دل متوان از ا مدلا را پم ن قا لت سستم تسبتافزار - نرمافزار است اد ردگ ال ر ا مدلا دست فردند نامتجانس پواس را توصا فردند درا دارا رشد ا ام قا لت م اشد سار مناس ستندگ ا ام ا ر مشود ا مدلا را پم ن قا لت نرمافزار ساد قا است اد اشندگ م دل مدلا دست فردند نامتجانس پواس ک از دست مدلا معر پر ار رد در زمن مدلساز قا لت ستندگ النت ک از چالما مررح در را ر ا ا مدلا ا است را مدلساز قا لت نرمافزار م مدلا فردند نامتجانس پواس معمو ال از فراات است اد مشوند ممک است در م از اقعت سار فاصل داشت اشند ] 91 [گ 6- نتيجگير مقال در ا مرر ل ر ر مدلا اندازر قا لت نرمافزار ارا شداستگ ا ثر مقاالت زمن اندازر دارند ارا قنل مپردازند ا تا ا مدلساز رش دد ا اوز افزد استگ در اق قا لت در ود ام ردن رشا نو دود ر پچد در ا ار در اوز اجم اال از مدلا ارا شد است لذا ناز است ارا ارا شود سل دنا فم درک مدلا مو ود دسانتر شود م م ا محط مدلا از محط د ادم ار رد صنعت شوندگ ا ا مو ود تحل ردن ا دست ند دزمانگا ارد مقال ا معرف رش- مزاا محددتا دنا نز ارا - ام دد مقول انتباا مدل مناس پم سمت رچ دسانتر رفت استگ ال مزاا محددتا ر زر دست از دست ند پنناد ور دالص معرف تحل رش را انتباا مناس ارا رددگ مانور 5 در بم شدگ مچن تر مدل قا لت ان شد مدلا فردند نامتجانس پواسن از دست مدلا معر پر ار رد در زمن مدلساز قا لت نرمافزار ستندگ ا مدلا دارا محددتا نز ستند در دل 3
مرر ن اممند ر مدلساز قا لت نرمافزار 306 دنا اشار شد استگ نود ا مدلا رر ردن پنناد انجام مرالعات در زمن انتباا مدل نز نقاط اعا دنا از رق تر ا مدلا دگر انجام مرالعاک انچنن در مورد زر ر داص از مدل- نزد تر ردن فرااک مدل اقعاک متواند ار ا انجام مرالعاک مورد ر رشا مدلساز ارا ارزشمند را دند اشدگ رد دگر از ارا پنناد صحت مزاا ررس شد محددتا انجام دناگ را دند نارتند از: ارا تحل دمار از ارا چن ارا متواند نقم سزا در ارر ا انجام شد در ر دام از زردستا دست ند مدلا در محطا مل ا ا نمادگ 7- ضمام دل 3: مزاا محددت ا رد از دست مدل ا ارا شد در ت 11 پيشبيني سرع -1 مزاا 2- ام زنا ]92[ م تصممرا موق ]29[ 3- قا است اد م اال اک نسبا قنل نرمافزار ا محصوالک منا ]29[ 4- قا محددت ا است اد ا است اد از معارا راا ]30[ 1- محددت است اد در سار از ار ردا ]92[ -2-3 دم اندازر قا لت صورک سار دقق ]92[ در دستر ننودن اال درا ت اندازر قا لت ]92[ مبتني بر معمار مزاا محددتا مزاا محددتا 1- مناس را سستما نرمافزار نامتجانس ]45[ -2 امکان مدلساز قا لت ر زء م فردند نامتجانس پواس ]93[ -1-2 -3-4 در ن ر نگرفت معمار نرمافزار صورک صرح ]93[ داشت فرض منبص ودن قا لت ا زاء ]45[ در ن ر نگرفت ا ستگ درا ا زاء را طا دنا ]45[ دشوار ا کرممک ودن دست دردن معمار نرمافزار در رد موارد ]45[ 5- کر قا -6 مبتني بر افزود مبتني بر حالت حالت است اد در سرح سن داشت فرض رشد قا لت ]45[ ا معمار نرمافزار ]86[ 1- مناس را سستما نرمافزار نامتجانس ]45[ -2-2 در ن ر رفت معمار نرمافزار صورک صرح ]93[ 3- قا لت است اد ات در صورک ود مسرا نات در ف ا االت سادتار نرمافزار ]94[ 1- زمان ر ودن تبم پارامترا در سستما نرمافزار زرگ ]85[ ]85[ متو ا تنارسنج نتج پم ن قا لت ]85[ 3- امکان نساز پم ن قا لت صورک محدد تتنا زمان معمار نرمافزار نز قا نساز اشد 4- است اد از مدل مار و پنان تدر صورک دم از ااتمال انتقال عد ]85[ -5-6 در ن ر نگرفت نعت را ط ا زاء ]85[ در ن ر نگرفت تغر پوا معمار در نگام ملکرد نرمافزار ]85[
307 اشممجد رسولزادان قودلزد ادام دل 3-7 -8-9 -10 مبتني بر حالت مزاا محددتا فرض داشت دصص مار وف در انتقال نترل ماژلا ]93[ داشت فرض منبص ودن قا لت ا زاء ]45[ در ن ر نگرفت ا ستگ درا ا زاء را طا دنا ]45[ دشوار ا کرممک ودن دست دردن معمار نرمافزار در رد موارد ]45[ 11- در مورد مدلا سل سل مراتن نقر اعا ا صل ا ست فقط تبم ارا م نند نا را انداز مدلا تر ن دقق نستند ]33 گ[ 1- مناس را سستما نرمافزار نامتجانس ]45[ -2 در ن ر رفت معمار نرمافزار صورک صرح ]93[ ]94[ 1- کر قا -2-4 -5-6 -7 مبتني بر مسير محددتا است اد در سرح سن داشت فرض استقالل ست ا زاء ]93[ ا معمار نرمافزار ]86[ 3- معمار نرمافزار را صوزک ترتن از ا زاء درن ر مرند ]93[ داشت فرض منبص ودن قا لت ا زاء ]45[ در ن ر نگرفت ا ستگ درا ا زاء را طا دنا ]45[ در ن ر نگرفت نعت اسط ا زاء ]85[ دم داشت قا لت را محاسن قا لت مسرا نات تالقا 8- ناتوان در محاسن قا لت مسرا نات تالقا ]94[ رشد قابليت اطمينان -1 فرآند نامتجانس پواسن مزاا متر مدل است اد شد در زمن مدلساز رشد قا لت ]95[ 61 2- ساد تع معارا مم ن ر پرود زمان تعداد ستا اقماند مانگ زمان ستا ]96[ 62 مانگ زمان تا ست -3-2 فرآند نامتجانس پواسن محددتا قا لت است اد در زمان تمام دراا ذات رنام شناسا اصالح شوند ]97[ 1- کر قا است اد ودن زمان تقرنا تمام دراا شناسا شد اشند ]95[ تر قا لت است اد در مراا ال مان تولد نرمافزار ت نسنت مرال نا ]95[ -3-4 داشت فرض استقالل تعداد دراا مناد شد در ر فاصل زمان را ر مجمو محدد زمان ]98[ قا لت تماز دراا محدد نامحدد ]98[ 5- ا سا ودن تعداد ستا ذات محا سن درا ]96[ شد تو سط ا مدلا را رنام داد زمان-ماند-تا- 6- ناز ثا ت ودن تتقرنا تعداد شررکسررتا ذات نرمافزار در ا افزام تعداد درا ا ت را مدلسرراز موفق ر ر سستما حران-ام 7- ناز داشت اداق ]97[ -8 20 مجمو داد درا ]97[ است اد از فراات در م ر ات نمشوند ]99[ نرخ خرابي مزاا 1- سراد تع معارا مم تمانند پرود زمان تعداد شرکسرتا اقماند مانگ زمان شرکسرتا ]96[ 63 مانگ زمان تا ست -2 محددتا قا لت است اد در زمان تمام دراا ذات رنام شناسا اصالح شوند ]97[ 1- ا سا ودن تعداد ستا ذات محا سن شد تو سط ا مدلا را رنام داد زمان-ماند-تا- درا ]96[ 2- ناز ثا ت ودن تتقرنا تعداد شررکسررتا ذات نرمافزار در ا افزام تعداد درا ا ت را مدلسرراز موفق ر ر سستما حران-ام 3- ناز داشت اداق ]97[ ]97[ -4 20 مجمو داد درا تم د ودن تنا در زمان تعداد اف داد درا مو ود اشد است اد از فراات در م محقق نمشوند ]99[
مرر ن اممند ر مدلساز قا لت نرمافزار 308 ادام دل 3 مدلا آمار محددتا مزاا 1- دقت اال در تبم قا لت ]100[ 2- قا است اد م اال اک دزمونا ذشت ا زاء نرمافزار ]101[ 1- ناز دادا فراان را دست دردن مدل دمار ]102[ 2- دادا عد از انجام تعداد تسررت اد رشررد قا لت را ننرران دند تدر کر انصررورک تحل م د نبواد ود ]102[ مبتني بر دامن داد مبتني بر دامن ورود مزاا محددتا مزاا محددتا 1- تبم مستقم ااتمال درست رنام ]16[ -1 كاشت خطا داشت فرض استقالل در انتباا ردا ]103[ 2- مدلساز ا فرض نداشت اال اک ال از محصول تحت تست ]103[ 1- ود ا زارا م دنا متوان دراا ستا -3 2- م تنبص مزان توز ستا در محصول نرمافزار ]89[ مورد ن ر را سستم ا مال رد ]89[ قا است اد ودن در ارزا تعداد دراا اقماند در نرمافزار عد از فاز تست سستم ]7[ 4- تصممر در مورد انتنار محصول نرمافزار ر اسا نتج تکن 1- زمان ر ودن ا مال ا مدل ر ر نرمافزار ]89[ اشت درا ]7[ 2- پا ودن دقت مدلساز اندازر ت دل ددالت تصمماک انسان در انتباا ستا ]89[ -3 دشوار ودن تع تعداد دراا اد نوان ست انتباا شوند ]89[ 4- دراا معرف شد اد معر نمونا از تمام دراا محتم در رد -5 سرراست مستقم ننودن اااف ردن دراا ]89[ 6- دشوار ودن ا مال نتاج تجر اک سازمان را سازمان دگر ]89[ رنام اشند ]89[ کر شمارش درا ]104[ 1- ا از دادن تر مزاا ا راا مبتلا مناد شد در محط ملکرد تات نگام درا ود ندارد -1 بيزن محددتا دم اندازر تعداد دراا اقماند در نرمافزار ت ال ر قا لت ]16[ -2-3 منود ا زارا مناس در ا زمن ]28[ دشوار افت اال اک مورد ناز را ا مدل ]29[ مزاا 1- سادتر ودن پادساز ت سر ا مدلا نسنت مدلا تصادف ]105[ قطعي محددتا 1- افزام منبص قا لت ام منبص نرد ست تλ پارامترا مدل شنادت شد اشند مزان منبص در اثر تصحح درا تار ]16[ -2 دم اندازر تعداد دراا اقماند در نرمافزار ت ال ر قا لت ]16[ مزاا 1- نزد ]16[ مبتلا تر ودن ا مدلا اقعت نسررنت مدلا قرع ت دل تصررادف ودن نرد شررکسررت دراا ]16[ -1 تصادفي محددتا دم اندازر تعداد دراا اقماند در نرمافزار ت ال ر قا لت 2- دشوار ودن پادساز ت سر ا مدلا نسنت مدلا قرع] 105 [
گ[ 309 اشممجد رسولزادان قودلزد ادام دل 3 شمارش درا ]95[ -1 شبک پتر مزاا مدل ردن فردند تست االزدا م فردندا»شمارش درا«تدر نتر مواق 2- ساد ودن مدل ]74[ 3- قا مدرت ودن انداز مدل ]74[ 4- مناس را مدلساز قا پوا ]74[ 5- شود ودن مدل ]74[ 6- قا -7-8 تغر نود ]74[ امکان تحل سستم تحت شراط مبتلا ]74[ امکان شناسا تعارااک ااالک سستم صورک شود ]74[ محددتا 1- ننود ست نرمافزار را تحل قا لت م ا مدل ]74[ -1 ماركوف مزاا محددتا مزاا محددتا مدل ردن فردند تست االزدا م فردندا»شمارش درا«تدر نتر مواق 2- اندازر تعداد دراا اقماند در نرمافزار ]16[ ]95[ 3- امکان مدلساز سار از ا زارا سستما دنا اقع تدارا نرد درا ثا ت ]106[ 4- مدلساز اصالااک تعمر ستا ت ال ر مدل ردن درا ا ]106[ مقام در را ر ا ال را ر سدن سرح مرلو از قا لت 64 5- امکان مدل ساز تحل س ستما ا تمامت اال ]89[ 6- مناس ت مدلساز نرمافزارا ااتمال»مستق از ذشت«]89[ 7- مناس را است اد در فاز تست سستم نرمافزار ]89[ 8- ود مدل زنجر مار و در سار از ا زارا نرمافزار مم ]107[ 1- سبت مدلساز فردندا قرع م ا مدلا ]89[ 2- دشوار مدلساز پردازشا ا انتا نامعلوم تدر نرمافزارا ا مقا زرگ 3- دشوار مدلساز نرمافزارا ا فردندا تر ن انتا ]89[ 4- تعمراک سررسررتم در م صنعت نرمافزار ]89[ 106[ -1 قطعي ور دقق رفتار مار وف ندارند تک از موان اسررت اد سررترد از مدلا مار و در مدل ردن فردند تست االزدا م فردندا»شمارش درا«تدر نتر مواق 2- اندازر تعداد دراا اقماند در نرمافزار ]16[ ]95[ 3- مناس را اندازر پچد رنام ررس مزان سبت ملاک دزمون االزدا نرمافزار ]7[ 1- داشت فرض ثا ت ودن نرد درا ر د تصحح متوال تات ار در نرمافزار تغر ااص شود ]16[ 2- داشت فرض افزام منبص در قا لت -3 داشت فرض ام منبص نرد ست تλ در اثر تصحح در اثر تصحح درا ]16[ درا ]16[ ]104[ مزاا 1- مدل ردن فردند تست االزدا م فردندا»شمارش درا«تدر نتر مواق ]95[ 2- ا از دادن تر ا راا مبتلا مناد شد در محط ملکرد تات نگام درا ود ندارد -1 بيزن محددتا منود ا زارا مناس در ا زمن ]27[ 2- دشوار افت اال اک مورد ناز را ا مدل ]27[