Please enable javascript in your browser.
Page
of
0
تولید نسخ جهش یافته برای آزمون رابط کاربری در برنامه های مبتنی بر وب
نادری، محمد جواد Naderi, Mohammad Javad
Cataloging brief
تولید نسخ جهش یافته برای آزمون رابط کاربری در برنامه های مبتنی بر وب
پدیدآور اصلی :
نادری، محمد جواد Naderi, Mohammad Javad
ناشر :
صنعتی شریف
سال انتشار :
1398
موضوع ها :
آزمون نسخ جهش یافته Mutation Testing آزمایش نرم افزاری Software Testing اثربخشی موارد...
شماره راهنما :
19-52195
Find in content
sort by
page number
page score
Bookmark
مقدمه
(19)
اهمیت و ضرورت انجام رساله
(19)
چرایی پیدایش سیستمهای توأم
(19)
طراحی شکل موج
(22)
انواع دستهبندی برای سیستمهای توأم
(24)
ساختار رساله
(31)
پیشینه و نوآوری پژوهش
(34)
رادار و مخابرات توأم
(35)
حالت مجانبی راداری
(38)
حالت مجانبی مخابراتی
(41)
طراحی شکل موج در سیستمهای رادار و مخابرات توأم
(45)
مدل سیستم
(45)
زیربخش راداری
(48)
زیربخش مخابراتی
(50)
فرمولبندی و حل مسئله
(51)
حل مسئله نسبت به W"0365W
(53)
حل مسئله نسبت به [X"0365X, A, Pul,Q]
(53)
حل مسئله نسبت به L
(58)
تحلیل همگرایی و پیچیدگی محاسباتی
(58)
نتایج عددی
(60)
طراحی شکل موج در حالت مجانبی راداری
(65)
شبکه دولایه
(65)
تک-ورودی تک-خروجی
(65)
چند-ورودی چند-خروجی
(70)
تک-ورودی تک-خروجی مبتنی بر CSS
(72)
چند-ورودی چند-خروجی مبتنی بر CSS
(74)
شبکه تکلایه
(77)
تک-ورودی تک-خروجی
(77)
چند-ورودی چند-خروجی
(79)
تک-ورودی تک-خروجی مبتنی بر CSS
(80)
چند-ورودی چند-خروجی مبتنی بر CSS
(80)
جزئیات پیادهسازی و تحلیل پیچیدگی محاسباتی
(81)
نتایج عددی
(84)
طراحی شکل موج در حالت مجانبی مخابراتی: مدل پیشنهادی اول
(91)
مدل سیستم
(91)
حل مسئله
(96)
حل مسئله نسبت به { UE,n , UI,n }
(97)
حل مسئله نسبت به { sE,n, pI,n}
(103)
حل مسئله نسبت به
(104)
نتایج عددی
(106)
طراحی شکل موج در حالت مجانبی مخابراتی: مدل پیشنهادی دوم
(111)
مدل سیستم
(111)
حل مسئله
(118)
حل مسئله نسبت به [Q, S, S"0365S]
(118)
حل مسئله نسبت به
(122)
نکات تکمیلی
(123)
طراحی شکل موج انرژی
(123)
طراحی IRS
(124)
نتایج عددی
(128)
پیادهسازی آزمایشگاهی
(132)
انتخاب بستر سختافزاری
(133)
نحوه طراحی سیستم توأم
(136)
نتایج عددی
(139)
نتیجهگیری
(144)
مراجع
(146)
اثبات قضیه 3-1
(155)
اثبات قضیه 3-2 و قضیه 3-4
(156)
اثبات لم 4-1
(157)
اثبات روابط 4-11 و 4-31
(159)
اثبات روابط 4-24 و 4-38
(161)
اثبات روابط 5-20 و 5-24 تا 5-26
(163)
اثبات لم 5-1
(164)
انتخاب پارامترهای k,n,a و k,n,b در بخش (5-2-1)
(166)
اثبات لم 5-2
(168)
اثبات رابطه کدبردارهای LMMSE در (6-16)
(169)
اثبات رابطه نرخ در (6-27)
(170)
انتخاب پارامتر k,n در بخش (6-3-1)
(171)
واژهنامه
(173)