فهرست مطالب
فصل 1 : مرور کلی .................................................................................................... 7
-1-1 فعالیتهای یک مهندس آزمون ............................................................................. 8
-1-2 محدودیتهای آزمون نرمافزار و اصطلاحات ............................................................. 11
-1-3 معیارهای پوشش برای آزمون ............................................................................. 22
-1-4 اصطلاحات قدیمی آزمون نرمافزار ........................................................................ 31
فصل 2 : معیارهای پوشش ....................................................................................... 77
-2-1 نمای کلی .................................................................................................... 31
-2-2 معیارهای پوشش گراف .................................................................................... 44
-2-3 معیارهای گراف برای کد منبع ............................................................................ 71
-2-4 پوشش گراف برای عناصر طراحی ........................................................................ 81
-2-2 پوشش گراف برای ویژگیها )مشخصات فنی( .......................................................... 33
ها ................................................................... 108 use-case -2-7 معیارهای پوشش برای
-2-1 نمایش گرافها به صورت جبری ......................................................................... 112
فصل 7 : پوشش منطقی ......................................................................................... 171
-3-1 مرورکلی: عبارتها و گزارههای منطقی ................................................................ 131
-3-2 معیارهای پوشش عبارت منطقی ........................................................................ 133
-3-3 پوشش منطقی ساختارهای برنامه ...................................................................... 120
-3-4 پوشش منطقی مبتنی بر ویژگیها )مشخصات فنی( ................................................. 173
177 ................................................ )FSM( -3-2 پوشش منطقی از ماشینهای حالت متناهی
-3-7 معیارهای فرم نرمال فصلی .............................................................................. 111
فصل 4 : پارتیشنبندی فضای ورودی ....................................................................... 181
-4-1 مدلسازی دامنهی ورودی ............................................................................... 181
-4-2 معیارهای مختلف با استراتژی ترکیبی ................................................................. 137
-4-3 محدودیتهای میان پارتیشنها ......................................................................... 203
فصل 1 : آزمون مبتنی بر نحو ................................................................................. 202
-2-1 معیارهای پوشش مبتنی بر نحو ......................................................................... 203
-2-2 گرامرهای مبتنی بر برنامه ............................................................................... 211
-2-3 آزمون یکپارچه و شئگرایی ............................................................................. 231
-2-4 گرامرهای مبتنی بر ویژگیها )مشخصات فنی( ....................................................... 241
-2-2 گرامرهای فضای ورودی .................................................................................. 221
فصل 6 : استفاده عملی از معیارهای آزمون ............................................................... 267
-7-1 آزمون رگرسیون ........................................................................................... 271
-7-2 یکپارچهسازی )ادغام( و آزمودن......................................................................... 210
-7-3 فرایند آزمون ............................................................................................... 213
-7-4 طرحهای آزمون ........................................................................................... 281
-7-2 شناسایی خروجیهای صحیح ........................................................................... 288
فصل 7 : معیارهای مهندسی برای تکنولوژیهای مختلف ............................................. 227
-1-1 آزمون نرمافزار شئگرا .................................................................................... 238
-1-2 آزمون برنامهها و سرویسهای تحت وب ............................................................... 322
331 ..............................................................)GUI( -1-3 آزمون رابطهای کاربری گرافیکی
333 .................................... )Embeded( و توکارشده )Real-Time( -1-4 نرمافزارهای بلادرنگ
فصل 8 : ساخت ابزارهای آزمون ............................................................................. 741
-8-1 ابزاری برای معیارهای عبارت منطقی و گراف ......................................................... 342
-8-2 ایجاد ابزارهای آزمون جهشی ............................................................................ 321
فصل 2 : چالشهای آزمون نرمافزار ......................................................................... 712
-3-1 آزمون ویژگیهای نوپا : ایمنی و امنیت ................................................................ 323
-3-2 آزمونپذیری نرمافزار ..................................................................................... 374
-3-3 معیارهای آزمون و آیندهی آزمون نرمافزار ............................................................. 378
مقدمه
با توجه به رشد روز افزون دنیای دیجیتال، استفاده از نرمافزارهای مختلف در سیستمهای کامپیوتری امری اجتناب ناپذیر است. در سالهای اخیر برای پاسخگویی به این نیاز، نرمافزارهای بسیاری تولید شده است. اما آنچه که از سوی مهندسین نرمافزار همچنان به عنوان یک چالش محسوب میشود تولید یک محصول مطمئن و بدون خطا است. برای اینکه بتوان به محصولی با چنین ویژگی دست یافت، نیاز به دانشِ آزمون نرمافزار میباشد. آزمون نرمافزار یکی از بنیادیترین فازهای چرخه تولید نرمافزار است. هدف اصلی آزمون نرمافزار کشف خطاهای یک نرمافزار و افزایش ضریب اطمینان آن است.
متاسفانه با بررسی روند تولید نرمافزار توسط شرکتهای نرمافزاری در کشورمان به این نتیجه خواهیم رسید که آنها از دانش کافی در زمینه آزمون نرمافزار برخوردار نبوده و یا بعضاً از اطلاعات پراکندهای در این حوزه برخوردارند. نکته بسیار جالب آن است که در سیستم دانشگاهی کشور در رشته مهندسی نرمافزار، آزمون نرمافزار اصلاً تدریس نشده و یا در برخی دانشگاههای انگشت شمار این واحد درسی به صورت اختیاری ارائه میشود. این در حالی است که بسیاری از دانشگاههای بزرگ جهان به آزمون نرمافزار توجه زیادی داشتهاند به طوریکه این واحد درسی را جزء دروس اصلی این رشته در نظر گرفتهاند.
با توجه به نکات فوق، اینجانبان تصمیم گرفتیم یکی از منابع مطرح در آزمون نرمافزار را ترجمه نموده و دانش این حوزه را در کشور خود بومی نماییم. یکی از مزیتهای اصلی این کتاب عملی و تکنیکال بودن روشهای آن است. هدف اصلی ما آن است که این کتاب به عنوان یک منبع اصلی در دانشگاههای کشور تدریس شود. از آنجاکه هیچ اثری خالی از اشکال نیست، لذا از تمامی خوانندگان صمیمانه تقاضا داریم تا انتقادات و پیشنهادات خود را در مورد این کتاب به پست الکترونیکی ارسال نمایند تا در نسخههای بعدی لحاظ گردد. intro.software.testing@gmail.com
حسن فرزانه - سینا بخشایشی
