11445

بررسي تحليل دامنه و تأثير آن بر بهبود تشخيص و مكان يابي خطاي نرم افزار

1400

دكتر سعيد پارسا

توليد داده آزمون نقش كليدي در موفقيت فرآيند آزمون نرم¬افزار دارد. هدف از توليد داده آزمون تهيه مجموعه¬اي از داده¬ها براي ورودي¬هاي برنامه تحت آزمون است كه قادر به ارضاء معيارهاي آزمون باشد. اكثر روش¬هاي موجود به دنبال توليد صرفاً يك داده آزمون هستند كه يك الزام آزمون خاص را پوشش دهد. درحالي¬كه بسياري از خطاها در صورتي آشكار مي¬شوند كه برنامه تحت آزمون با مقدار خاصي و يا دامنه خاصي از ورودي اجرا شود. به¬بيان¬ديگر عليرغم اجرا شدن دستورالعمل خطادار، ممكن است نتيجه آن تصادفاً موفق باشد. ازاين¬رو توليد داده¬هايي كه منجر به خطا شوند امري ضروري است. تاكنون روش¬هاي متنوعي (ايستا، پويا و تركيبي) براي توليد داده¬هاي آزمون، توسعه داده¬شده¬اند. با اين حال هيچ يك از اين روش¬ها، دامنه فضاي ورودي را پوشش نمي¬دهند؛ زيرا ممكن است مجموعه داده ¬آزمون توليدشده تنها از يك زيردامنه از دامنه اصلي انتخاب شده باشد و تمام زيردامنه¬هاي قابل قبول برنامه تحت آزمون را پوشش ندهد. عدم استفاده از پوشش دامنه به معناي آن است كه بسياري از خطاهاي پنهان برنامه كشف نشده باقي مي¬ماند. هدف اصلي اين سمينار آن است كه به¬جاي صرف هزينه جهت به¬دست آوردن داده آزمون، آن هزينه، صرف به¬دست آوردن زيردامنه نرم¬افزار تحت آزمون شود. با به¬دست آوردن زيردامنه¬اي، از دامنه ورودي، كه حاوي مقادير لازم جهت پوشش معيار موردنظر باشد، مي¬توان به¬كرّات برنامه را اجرا نموده و اطمينان داشت كه همگي آن¬ها معيار موردنظر را پو شش خواهند داد. استفاده از روش¬هاي توليد داده آزمون مبتني¬بر دامنه، علاوه بر بهبود فرآيند توليد داده آزمون باعث اثربخشي در گام بعدي فرآيند آزمون، يعني مكان¬يابي خطا نيز خواهد شد؛ زيرا خطاهاي پنهان، عيب خود را نشان نمي¬دهند مگر آن¬كه تركيب خاصي از مقادير ورودي براي اجراي برنامه استفاده شود. از اين نظر، شناسايي زيردامنه‌هاي قابل قبول برنامه به جهت توليد داده‌هاي آزمون داراي كفايت، براي اطمينان از صحت برنامه تحت آزمون، اهميت دارد.

11/23/2022 12:00:00 AM

76979

1401/09/14

Investigating domain analysis and its effect on improving software fault detection and localization

آزمون نرم افزار , مكان يابي خطا , پوشش دامنه , زيردامنه هاي قابل قبول

Software testing , Fault localization , Domain coverage , Feasible subdomain