صفحه 1:
فصل: هفدهم(راهبردهای آزمون نرم افزار)
درس: مهندسی نرم افزار ۲
استاد:
ارائه دهندگان:
دانشگاه:
صفحه 2:
is ۱ مجموعه
ا si می توان
ru oo ee
“aria ور ۱
oo نمود.
صفحه 3:
چند راهبرد آزمون پیشنهاد شده است. همه این راهبردها الگویی برای آزمون در اختیار سازنده نرم افزار
قرار میدهند و همگی دارای ویژگی های زیرند:
# برای اجرای آزمون اثربخش. باید بازبینی های فنی اثربخش اجرا شود با این اقدام بسیاری از خطاها
op Nene حذف خواهند شد
#آزمون در سطح مولقه ها شروع می شود و رفت رفته کل سیستم کامپیوتری را در بر می گیرد.
# تکنیکهای آزمون متفاوت برای رویکردهای متفاوت مهندسی نرمافزار و در نقاط زمانی مختلف
۱
#آزمون توسط سازنده نرم افزار ( برای پروژه های بزرگتر) توسط یک گروه آزمونگر مستقل انجام می
شود.
#* آزمون و اشکال زدایی دو فعالیت جداگانه اند ولی اشکال زدایی باید در هر راهبرد آزمون جایی داشته
باشد
صفحه 4:
آزمون نرم(فزارریکی از عناصر یک موضوع وسیح تر است که غالبا از آت به عنوان وارسی و (عتبارسنبی (,6 ۷
۷یاد میشود.
وارسی: مجموعه فعالیتهای (ست که پیاده سازی صنیع یک عملکرد فاص توسط نرمافزار را تضمین می کند.
(عتبارسنتی: میموعه متفاوتی از فعالیت هاست که تضمین میکند نرم (فزار سائته شده با خواسته های مشتری
ارات
ْ د وارسى :آيا مصول ر( درست سافته (یم٩۹
دارد.
را 6 ۱ 00
بوهم این نکته را به صورت دیگری بر caver آنا cl درست [ سافته زيم؟؟
( verification| validation >
صفحه 5:
وارسی و اعتبارسنجی شامل گستره وسیعی از فعالیتهای 56۷/0 میشود.
قابلیتها _ آزمون نصب
میلر ارتباط میان آزمون و تضمین کیفیت نرم افزار را نرمافزار را چنین بیان می کند:
(( انگیزه زیربنایی آزمون برنامه آن است که کیفیت برنامه با روش های مورد تایید قرار گیرد که در سیستم های
«قیاس کوچک و بزرگ به طور اقتصادی و موثر قابل اجرا باشد.»
سازنده نرم افزار هميشه مسئول آزمون تک تک واحدها (مولفههای) برنامه بوده اطمینان حاصل می کند که ه رکدام
قادر به اجرای وظیفه است که در جهت آن طراحی شده است. سازنده در پسیاری از موارد آزمونهای انسجام را نيز
اجرا می کند یعنی آزمونی که منجر به ساخت کامل ساختار برنامه میشود فقط پس از آنکه معماری نرمافزار کامل
شد یک گروه آزمون مستقل وارد کار می شود.
صفحه 6:
حال نقش گروه آزمون مستقل(۲۲6) برطرف كردن
مشکلات ذاتی است.که در واگذاری آزمون به شخص سازنده وجود دارد.
آزمون مستقل اختلاف سلیقهها را برطرف می سازد.
سازنده و گروه آزمون مستقل در سرتاسر
پروژه ترماقزاری رابطه کاری تنگاتنگی دارند
تا اطمینان یابند که آزمون های کامل اجرا خواهد شد.
در حالی که آزمون انجام می شود سازنده بايد
در دسترس باشد تا خطاهای پیدا شده را برطرف سازد.
صفحه 7:
راهبردی برای آزمون
نرم افزار
۴ حرکت به طرف داخل مارپیچ به: طراحی و سرانجام کدنویسن می
وم
برای توسعه نرم افزار کامپیوتری به طرف داخل ماربيج حرکت
مب کنم تا در هر دوز از سطح انتزاع کاسته شود. 3
آزمون واحدها در مرکز مارپیج آغاز میشود و هر واحد يعنى مولفه | ae به صور ت راد در انظ
نم اقرار که در کد منبع پیادهسازی میشود تمرکز دارد. Sy
آزمون با حرکت به طرف بیرون مارپیچ ادامه یافت و آزمون انسجام ار ۱
ee 105 إن به طراخى وايجاد معمارى نرمافزار تاكيد مى ال رك
شود میکند و به تحلیل خواستههای
*** با یک دور دیگر پیش رفتن به آزمون اعتبار سنجی مي رسیم که در scl st 1
آن خواسته های یه شده به عنوان بخشی از تحلیل خواسته های نرم Set rede ivr by ل
افزار در مقابل نرمافزار ساخته شده اعتبارسنجی میشود. sky ۱ ملاکهای
ف playa ازمون سیستم میرسيم که در آن نرمافزار و دیگر Sen reel ned للك
عناصر سیستمی به صورت یک کل آزمون میشوند برای آزمون نرم ات
افزار کامپیوتری به بیرون مارپیچ شرکت میکنیم تا دامنه آزمون در
هر دور وسعت پیدا کند.
صفحه 8:
آزمون واحدها از تکنیکهای جعبه سفید استفاده زیادی به عمل میآورند و مسیرهای
مشخص از ساختار کنترلی پیمانه ها را امتحان میکند سپس باید مولفهها را مونتاژ یا
| ممجنمی یلد خار وتذي نر أقدار م وكاملوتشيكمل شهتاخت برنامه و كار دارد.
در هنگام انسجام تکنیکهای طراحی آزمون های جعبهسیاه بیشترین کاربرد را دارند به
تعداد تعداد محدودی از آزمونهای جعبه سیفی نیاز است تا اطمینان حاصل شود پس از
آنکه نرم افزار ساخته شد مجموعه از آزمونهای سطح بالا اجرا میشود آزمونهای
اعتبارسنجی انحصار آن از آژمونهای جعبه سیاه استفاده میشود آخرین مرحله آزمون
pts بالا جارع از مون معندييى نرم افزار در حبطي وسيم تر يعنع رمعندين سيستم
CaP see! اک ی سس بیط ed Seat 3
عتاصر به درستی عمل میکد.
صفحه 9:
eu کین استدلال میکند که اگر قرار است راهبرد آزمون نرم افزار موف شود نکات زیر را ناد
رعایت کرد.
*خواسته ها را به شیوهای کمیت پذیر مدت ها قبل از شروع آزمون مشخص کنیم اگرچه هدف
كل ازمون بافتن خطاهاست یک راهبرد آزمون خوب ویژگیهای کیقیتی دیگری Rees Wales
هم قابلیت نگهداری و قابلیت استفاده از را نیز مورد سنجش قرار میدهد.
الات ءأرموت رش st sake eects و ی نوم
is ules و هزينه و برطرقة يمانده را فراوانى حقوق و تعداد
alee gene Oso l oes blast eee ايد در طوح آزممی نان دک
*کاربران نرم افزار را بشناسید و برای هر گروه از کاربران یک سابقه تهیه کنید.
6 رون :هه گید که بر آزحون چرخش سریع در سیر تاکید داشته باشد.
*نرم افزار پر قدرت بسازید که برای آزهون خودش طراحی شده باشد از بازبینی های فنی
رسمی انربخش به عنوان فیلتر قبل از آزمون استفاده کنید.
*یک روش بهینهسازی پیوسته برای فرایند آزمون توسعه دهید راهبردهای آزمون باید اندازه
ری شود.
*معیارهای جمعآوری شده طی آزمون را باید به عنوان بخشی از روش کنترل فرایند برای آزمون
موم أكزان به کار برد
صفحه 10:
آز ون وآحدها تلاشهای مارسی مربوظ يه
کوچکترین واحد طراحی نرم افزار یعنی مولفه ها
تا هار زا کانون توجه فرار میدهد و به کارگیری
اسيم طراحى در سطح مولفه ها به عنوان راهئما
(هات كنترلى مهم أزموده م شوند نا خطاهاى
موجود در داخل مرزهای پیمانه برملا شوند.
ک تا روط به آزمون واحدها آزمون هایی که
به عنوان بخشى از ازمونٍ واحدد. ام مى شود
0 تعانهای آزمون می شوند تا آطمیتان حاصل
۵ الا عات بت ظور مناسب به درون ه بيرون
وا مور آزمون جریان می wails
جریان داده هایی که از وسط یک att olay
oa il users از شتروخ هر آزمون دیگری آزموده
شود
در حين آزمون واحدها آزمون انتخابي مسيرهاى
اخرابى اهميت ويزه اى دارند موازد أزمون بايد
طورى طراحى شوند كه خطاهاى ناشى از محاسبات
غلط يا جريان كنترل نامناسب را كشف كنتد.
آزمون مرزى آخرين و احتمالا مهمترين وظیفه در
ا ی ی ما سا و
از میان خطاهای مدار متداول تر در محاسبات می
oles بت معارد زير اشاره نعود
لاتقدم محاسباتى نادرست يا آنهايى كه به
درستی درک تشده آند
گوناگونی عملیات
۲ مقداردهی اولیه تاذرست
دقت نادرست
ارائه نمادهای نادرست برای یک رابطه يا
ارات
UNIT
نيتنا
صفحه 11:
واحد ها معمولا به عتوان الحاقن به مرحله کد نویسی در نظر گرفته میشود و طراحی ار -ون
واحدها ممکنه قبل از شروع کدنویسی يا پس از تولید کدهای منبع رخ دهد.
با عرور در اطلاعات طراحی راهنمایی برای تعیین موارد آزمونی را فراهم می آور. که ۷۱
خطاهای موجود در هر کدام از گروههای بحث شده قبلی را برملا نکردند چون مولفه یک برنامه
قل و قاد ات نيست براى 1 احد بايد بك فوم افزار درا بابد
آرتون واحدها هاهی co cst شرل كنا موقط با انبم باه مارد Beenie crits se
عملکرد بر عهده معرفی قرار داده شود تعداد موارد آزمون کاهش مییابد و خطاها را می توان به
لت پیش بینی و کشف کرد.
آزعون انسجام آزمون cee etal سیستماتیک برای ایجاد ساختار برنامه و در عین حال اجرای
آژمون هایی جهت کشف خطا در ایجاد واسطه هاست هدف و آزمون مولفه ها و ساخت برنامه
با طراحی است. + ١ 5
۳ تجربی تدریجی آنتی تز روش انفجار بزرگ برنامه تدریجاً ایجاد میشود و مورد آزمون قرا
میگیرد و جدا کردن قطعات اصلی آنها آسانتر است احتمال اینکه واسطه ها به طور کامل مورد آزمو:
1 افزایش یا Lo ۱ أن به كا
قراب كيرين Seal sop eel روي vere ود سانجا اختار برنامه بیمانه
ها با حركت به طرق بايِين در سلسله مراتب كنتزلى و با شروع از بيمان كنتزل هسل ۳
شون
انسجام عمقی مولفه ها را در یک مسیر کنترل اصلی از ساختار مجتمع میکند گزینش یک
مسیر اصلی تا حدی اختیاری است و ویژگیهای کاربردی بستگی دارد.
صفحه 12:
جریان انفجار در مراحل پنجگانه اجرا میشود:
1)ییمانه کنترل اصلی به عنوان درایور آزمون به کار میرود و
جات مف شود كه زیر دست بیمانهای
0301 ررض انسجام انتهاب شده يعنى عمفی یا ارزی هاى زير
دست به نوبث جأى خود را به مولفه هاى واقعى ميدهند.
3)همزمان با انسجام هر مولفه آزمون صورث مى كيرد.
4)با کامل شدن هر مجموعه از آزمون ها یک دیگر جای خود را به
معرفی واقعی می دهد.
69 رون رگرسبون را می توان اجرا کرد تا مطمئن شد که خطای
جدید وارد نشدهاند.
وار:
راهبرد انسجام بالا به يايين نقاط كنترلى و تصميمكيرى اصلى را در ابتداى فرآيند
آزمون فارسى مىكند در يك ساختار برنامه با فاكتور بندى خوب تصميم كيرى در
سطوح بالاتر سلسله مراتب مى دهد و بنابراين ابتدا به آنها بر مى خوريم.
راهبرد بالا به بايين متداول ترين اين مشكلات هنكامى رخ مى دهد كه
sly آزمون سال های بالاتر نیاز به پردازش در سطح پایینتر باشد.
سه انتخاب پیش روی آزمونگر خواهد
بود:
.یه تاخیر انداختن بسیاری از آزمون ها
تا اینکه ها جای خود را به پیماتهای"
واقعی بدهند.
.توعد ماين که بت احرای تعلیانی
محدود پیمانه واقعی را شبیه سازی می
>.انسجام نرمافزار از پایین سلسله
به طرف بالا.
وین رويكرد به تاخير انداختن آزمون ها بعث مى شود
بیضی از آزمونها و ملحق
ارتباط بين
كردن بعضى از بيماههاى تحت كنترل نباشد
صفحه 13:
انسجام يايين به بالا از آنجا كه مولفه ها از بايين به بالا بره ملحق
مىشوند بردازش لازم براى مولفه هاى زير يك سطح مفقود
همراه در دسترس بوده نيازى به حذف نيست
راهبرد انسجام بايين به بالا را مىتوان طى مراحل زير يياده سازى كرد:
* هاى سطح يايين به صورت خوشه هايى با هم تركيب مى شوند
عملکرد ترى از نرم افزار را انجام مى دهند.
۲))درایور برنامه کنترل برای ميشود تا ورودى و خروجى
مواد آزمون را
۳)خوشه مورد آزمون قرار می گیرد.
say ما باکر رم و
صفحه 14:
آزمون گریسین هر بار که یک پیمانه جدید به عنوان بخشی از آزمونِ انسجام افزوده میشود نرم
افزار تغییر میکند در زمینه راهبرد آزمون انسجام آزمون کریسون عبارت در اچرای دوباره زیر
مجموعه ای از آزمون هاست که قبل از اجرا شدند تا اطمینان حاصل شود که تفییرات باعث
انتشار اثرات جانبی ناخواسته نشده اند.
آزمون های رگرسیون ( زیر مجموعه از آزمون هایی که دوباره اچرا می شوند) حاوی سه طبقه
متفاوت از موارد آزمون است:
"یک نمونه نمایشی از آزمونها که همه عملکردهای نرم افزار را امتحان میکنند.
"آزمون های اضافه بر عملکرد های نرمافزار تاکید دارند احتمالاً از تغییرات در تاثیر می پذیرند.
۲ آزمون هایی که بر مولفه های تغییر یافته نرمافزار تاکید دارند
صفحه 15:
آزمون دود یک روش آزمون انسجام است که به طور متداول
نگام توسعه محصولات نرمافزاری بسته بندی شده به کار می
رود و زمان در آنها اهمیت فراوانی دارد
زمون دود دز اصل شامل فعالیت های زیر می شود :
”مولفه هاى نرم افزارى كه به كل ترجمه شدهاند كرد هم آورده می شوند تا یک سازه (اين سازه کلیه فایلهای داده کتابخانه
ها پیمانه های قابل استفاده مجدد و مولفه های مهندسی شده برای پیاده سازی یک چند عملکرد از محصول) را تشکیل می
دهند .
7آزمون های طراحی میشود تا خطاهایی را پیدا کنند که مانع از اجرای درست عملکرد می شوند.
این ساز به سازهای دیگر ملحق میشود و به کل محصول( در شکل فعلی خود )روزانه مورد آزمون دوز قرار میگیرد
روش انسجام ممکن است از بالا به پایین با از پایین به بالا باشد -
siz! آزمون بر روی پروژه های مهندسی نرمافزار پیچیده و بحرانی چند مزبت
دارد:
0خطر انسجام به حداقل می رسد .
0کیفیت محصول نهایی بهبود می یاید .
6 شخيض و تصحيح خطااها آسان مى شود.
SP Ste? 5ه أز مون السام آخرا ميشود أزمونكر بايد بيمانهاى بحرانى رأ
شناسایی کند
پیمانه بحرانی یک يا جند ویژگی زیر را دارد :
با جندین خواسته نرمافزار سر و کار دارد.
۰ سطح بالایی از کنترك را داراست.
٠ بیچیده با مستعد به خطاست.
٠ خواستههای کارایی مشخصی دارد.
صفحه 16:
هر کدام از این مراحل آزمون انسجام « يك گروه عملیات گسترده را در نرمافزار ترسیم می
کند و عموماً می توان آن را به یک دامنه مشخص در معماری نرم افزار ربط داد .
بنابراین گروههایی از پیمانه ها در قالب برنامههای جدید ایجاد میشود تا به هر مرحله پاسخ
دهند:
7 انسجام واسط ها:
با محلق شدن هر پیمانه به ساختار: واسط های داخلی و خارجی
آزمایش میشوند.
7 اعتبار عملیاتی:
آزمون های اجرا می شوند که برای کشف خطاهای عملیاتی طراحی
شدند.
7 محتویات اطلاعاتی:
آزمون های اجرا میشود که برای کشف خطای مرتبط با ساختمان داده
های محلی یا سرتاسری طراحی شدند .
” کارایی :
آزمونهای اجرا میشود که برای وارسی بر مرزهای کارایی تعیین شده
طی مرحله ای طراحی نرم افزار طراحی شده اند.
صفحه 17:
2 راهبرد متقفاوت برای آزمون انسجام سیستم های شی گرا وجود دارد :
۷ آزمون @ threads)» (:
مجموعه ای از کلاس های لازم برای پاسخ دهی به یک ورودی یا رویداد سیستم را
مجتمع میکند هر نخ به طور انفرادی مجتمع و آزمون می شود.
آزمون رگرسیون استفاده می شود.
آزمون مبتنی برکاربرد:
با آزمون آن دسته از کلاسهای آغاز میکند که از تعداد کلاسهای سرور اندکی استفاده
میکند (کلاس های مستقل) لایه بعدی کلاسها( موسوم به کلاسهای وابسته) که از
کلاسهای مستقل استفاده میکند مورد آزمون قرار میگیرد.
هدف آزمون به بیانی ساده یافتن حداکثر تعداد خطا ها
آزمون انسجام در حیطه ی ۰۰ :
از آنجا که نرمافزارهای شیگرا
فاقد ساختار کشرل ال را
راهبرد مای سنتی بالا به پایین و
پایین به بالا جندان معنابى ندارتف
به علاوه عملیات انسجام به صورت
ه باريف 02 7 0ك
سازى تدريجى سنت 9
تعامل های مستقیم و غیر مستقیم
ميان مولفه های تشکیل دهنده
كلاس غير سين ايت
صفحه 18:
شامل همان اصول slo al;
آزمون: ى نرم اقزار معشود Sate امه در
.أن به کار می رود
اين رويكرد در مراحل زير خلاصه مى شود:
مدل محتويات براى برنامه فحث وب بازبينى میشود تا خطاها آشکار شوند.
۲مدل واسط بازبینی میشود تا اطمینان حاصل شود که همه موارد آزمون را میتوان انجام داد.
۰مدل طراحی برای برنامه های تحت وب بازبینی میشود تا خطاهای گشت و گذار کشف شود.
۰ واسط کاربر آزمون میشود تا خطاهای موجود در شیوه عرضه و یا مکانیک گشت و گذار کشف گردند .
.هر کدام از معرف های عملیاتی آزمون می شود.
2۳ و گذار در سرتاسر معماری آزمون می شود. ۱
۰برنامة تحت وب در انواع پیکربندی های محیطی متفاوت پیادهسازی و از نظر سازگاری باهر پیکربندی آزمون می شود.
۸آزمون های امنیتی انجام می شود تا نقاط آسیب پذیر در داخل برنامه تحت وب یا محیط اطراف آن آشکار گردد.
٩+ آزمونهای کارایی اجرا میشود.
۰ برنامه تحت وب توسط تعدادی از کاربران نهایی آزمون میشود که تحت کنترل و
نظر خطاهی موجود در کشت و گذار و محتویات قابلیت استفاده قابلیت سازگاری و UG
ارزیابی می شود.
هستند نتایج تعامل آنها با
ت اطمینان و کارایی برنامه "
صفحه 19:
آزمون اعتبار سنجی در پایان آزمون انسجام آغاز می شود: یعنی هنگامی که تک تک مولفات تمرین داده شدند» نرم افزار به
طور کامل مونتاژ شد و خطاهای واسط کشف و برطرف شدن.
تعریف ساده اعتبار سنجی آن است که اعتبار سنجی هنگامی موفق است که نرم افزار بر اساس انتظار مشتری عمل کند.
هدف اين
ازبينى آن است كه اطمينان حاصل آيد كليه عناصر بيكربندى نرمافزار به طور مناسب توسعه
از آنها شناسنامه تهيه شده است و داراى جزئيات لازم براى تقويت كردن فاز يشتيبانى جرخه زندكى نرم افزار هستند.
بازبينى بيك ربندى كاه دناب( خوانده مى شود.
يك مشكل أزمون سيستم ((متهم كردن ديكران)) است و هنكامى رخ مى دهد كه خطايى كشف شود و سازنده هر عنصر از
سیستم تفصیر را به گردن دیگری می اندازد.
آزمون سیستم مجموعه ای از آزمون های متفاوت است که هدف اصلی آن ها امتحان کل سیستم کامپیوتری است.
صفحه 20:
آزمون ترمیم :
بسیاری از سیستم های کامپیوتری باید خود را در شرایط نقص ترمیم کنند و در یک
زمان از پیش تعیین شده پردازش را ادامه دهند. نقابص در پردازش نباید باعث توقف
عملکرد کلی سیستم شود. آزمون ترمیم نرمافزار را به طریق گوناگون وادار به
شکست می کند و سپس در موارد اجرایی مناسب ترمیم تحقیق می کند.
8 ؛ خودکار باشه مقداردهی دوباره راهکارهای ایجاد
ار ره ومد هرکدام مورد ارزیابیقرار می گیرد.
5
ceeds رتیه آیا در حدود قابل قبول است یا خیر.
صفحه 21:
آزمون امنیت سیستم کامپیوتری که اطلاعات حساس را مدیریت میکند یا اعمالی انجام میدهد که
میتوانند باعث رساندن زیان ها (یا منافع) نامتعارف به افراد شودء هدف خوبى براى نفوذ غير قانونى يا
نامتعارف به شمار میرود ,
آزمون امنیت کوشش می کند تا وارسی کند که راهکارهای محافظت تعبیه شده در داخل سیستم واقعا آن
را از نفوذ نامناسب حفظ میکند.
بیزر میگوید:
ed ae زوا وی و ای ام
ار گيرد.
2
صفحه 22:
آزمایش فشار برای مقابله با شرایط غير عادی طراحی میشود و در اصل آزمون گری که آزمون فشار رد اجرا میکند.
می پرسد:(( نرمافزار را قبل از شکست تا کجا میتوان تحت فشار قرار داد؟؟))
ممکن است آزمونهای خاصی طراحی شود که در هر ثانیه ده و ایجاد شود در حالی که میانگین آن یک یا دو وقفه در ثانيه
است .
مثال: ممکن است اهنگ ورود داده ها چند برابر شود تا معلوم شود کدام عملکرد های مربوط به ورودی پاسخ خواهند داد.
موارد آزمونی که مستلزم حداکثر حافظه و منابع دیگر هستند اجرا میشوند.
موارد یا آزمونی طراحی می شود که ممکن است باعث از کار افتادن سیستم عامل شود.
آزمونهای طراحی می شود که ممکن است باعث آسیب رساندن به دادههای روی ديسك شود
شکل دیگری از آزمون فشار» تکنیک موسوم به آزمون حساسیت است.
آزمون حساسیت می کوشد تا ترکیباتی از داده ها در انواع معتبر ورودی را کشف کند که ممکن است باعث تاپایداری یا پردازش
نامناسب شوند.
بازیینی و پیکربندی
صفحه 23:
«2
به منظور. آزمون کارایی رم افژار در زمان اجرا در حیطه یک سیستم آزمون استقرار گاهی آزمون پیکربندی نیز نامیده میشود.
انسجام یافته طراحی میشود, نرمافزار را در هر کدام از محیط هایی که قرار است در آن عمل کند تمرین
آزمون کارایی قالب آن و همراه آزمونهای فشار انجام میشود . می دهد,
معمولاً به تجهيزات نرمافزاری و نیز سخت افژاری نیاژ دارد, به علاوه در آزمون استقرار همه روال های نصب و نرم افزارهای
تخصصی یافته نصب را که توسط مشتریان استفاده می شود.
a
صفحه 24:
آزمون نرم افزار, فرآیندی است به طور سیستماتیک برنامه ریزی و مشخص نمود .
موارد آزمون را می توان طراحی کرد.
راهبردی را تعیین نمود و نتایج را در مقابل انتظارات تجویز شده مورد سنجش قرار داد.
اشکال زدایی در نتیجه آزمون موفق رخ می دهد: یعنی هنگامی که یک مورد آزمون خطایی
| کرد فرآیند اشکال زدایی شده برای رفع خطا به اجرا در می آید؛
فرایند اشکال زدایی اشکالزدایی آزمون نیست بلکه پس از آزمون رخ می دهد.
فرايند اشكال زدايى همواره يكى از اين دو بيامد را خواهد داشت؛
با نده تصحیح و برطرف مینشود.
۲ علت پیدا نمی شود.
ور »ور دوم شسصی که اشکال ردایی را انجام می دهد ممکن است به علنی شک كدر
مورد آزمونی طراحی میکند که به اعتبارسنجی شک وی گهگ کننة و به قنبوهای تگراری به
ارتصحیح خطا ادامه میدهد.
صفحه 25:
اشکال ها ویژگی هایی دارند که سرنخ هایی درباره دلیل دشوار
بودن اشکال زدایی میدهند که عبارنند از:
۰ ممکن است نشانگان و علت از نظر جغرافیایی دور از هم باشند.
۰ ممکن است واقعاً ناشی از غیر خطاها (مثلاً عدم صحت ناشی از گرد کردن اعداد) باشد.
» ممکن است ناشی از علتی باشد که در میان چند وظیفه ای توزیع شده باشند که در پردازش های متفاوت
اجرا می شوند.
۰ ممکن است ناشی از خطای انسانی باشد.
۰ ممکن است نتیجه مشکلات زمانبندی با شدن مشکلات پردازشی.
۰ ممکن است بازسازی صحیح شرایط ورودی دشوار باشد.
۰ ممکن است مقطعی باشد.
.اين موضوع به ويزه در سیستمهای تهویه شدهای متداول است
که سختافزار و نرمافزار را به طور تفکیک ناپذیر با هم تلفیق می کنند
صفحه 26:
تاکتیک های
اشکال
زدایی
گروه جستجو جامع برای اشکال زدایی» احتمالاً متداول ترین و کم اثربخش ترین روش برای جدا
کردن خطای نرمافزاری است.
با بكاركيرى اين فلسفه كه( بكذار كامبيوتر خطا ها را بيابد) حافظه تخلیه می شود
و برنامه با دستورات خروجى بار
عق بكرد
عقب گرد یک روش اشكال زدايى نسبتأ متداول است.
كه در برنامه هاى كوجك اغلب موفق است از محلى كه نشان كشف شده است كد منبع رو به
عقب و به طور دستى مورد بيكيرى قرار مىكيرد تا محل علت خطا بيدا شود.
حذف علت:
. توسط استقرا يا استنتاج بيان مى شود
.داده هاى مرتبط با رخ دادن خطا سازماندهى مى شوند تا علت های بالقوه مشخص شوند
فهرستى از كليه علل احتمالى تهيه شده؛ آزمون هایی برای حذف به هر کدام از آنها طراحی و
. اجرا میشود
اگر آزمونهای اولین نشان دادند که فردی در مورد که درست است دادههای مورد پایش قرار
.میگیرند تا اشکال برطرف شود
