[صفحه اصلی ]    
بخش‌های اصلی
درباره دانشکده::
مدیریت دانشکده::
اعضای هیات علمی ::
معرفی افراد::
امور آموزش::
امور فرهنگی::
امور پژوهشی::
اخبار و رویدادها::
فضاهای آموزشی و تحقیقاتی ::
تسهیلات پایگاه::
تماس با ما::
::
ورود به سایت دروس
دانشجویان روزانه و پردیس
دانشجویان مرکز آموزش الکترونیکی
..
اطلاعیه ها
 اطلاعیه های آموزشی
..
فراخوان ها
فراخوان های همکاری با صنعت و سازمان ها
..
دفاعیه‌ها

دفاعیه های دکتری


دفاعیه های کارشناسی ارشد

..
جستجو در پایگاه

جستجوی پیشرفته
..
دریافت اطلاعات پایگاه
نشانی پست الکترونیک خود را برای دریافت اطلاعات و اخبار پایگاه، در کادر زیر وارد کنید.
..
:: اتتشار بین المللی کتاب آزمون نرم افزار تالیفی عضو هیات علمی دانشکده مهندسی کامپیوتر توسط Springer ::
 | تاریخ ارسال: 1402/4/27 | 

اتتشار بین المللی کتاب آزمون نرم افزار تالیفی عضو هیات علمی دانشکده مهندسی کامپیوتر  توسط Springer در سال ۲۰۲۳

 

کتاب تالیفی دکتر سعید پارسا (دانشیار )، با عنوان:
Software Testing Automation: Testability Evaluation, Refactoring, Test Data Generation, and Fault Localization
 توسط انتشارت بین‌المللی اشپرینگر در ۶۱۰ صفحه در سال ۲۰۲۳ چاپ شد.


این کتاب در مورد طراحی و توسعه ابزارهای آزمون نرم افزار است. تاکید بر یادگیری و نه حفظ کردن مطالب دارد. لذا، سعی شده تعاریف و مفاهیم آزمون نرم افزار تا حد ممکن برداشت خواننده از اجرای کد برنامه ها و بررسی الگوریتم­های مربوطه در کتاب باشد. برای این منظور توضیحات و کد پیاده سازی مباحث مطرح شده در کتاب در آدرس ذیل توسط نویسنده قرار داده شده است:
https://figshare.com/authors/saeed_parsa/۱۳۸۹۳۷۲۶                            
کتاب آزمون نرم افزار درسه بخش پوشش دهنده مباحث آزمون پذیری، محلی سازی خطا و تولید داده های آزمون است. 
        فرایندهای سریع یا در اصطلاح چابک برای تولید نرم افزار، فرایند طراحی و توسعه نرم افزار را در آزمون مکرر و گام به گام آن همگام با توسعه و تلاش برای رفع خطاهای مشاهده شده خلاصه کرده اند. آنچه که در این نوع فرایند نادیده گرفته شده عدم موفقیت آزمون در مشخص کردن خطا و هزینه بالای آن است لذا، بخش اول کتاب خوانند را آماده سازی برای ایجاد ابزار یادگیری ماشین جهت سنجش میزان آزمون پذیری و ایجاد ابزار برای باز سازی خودکار کد در جهت بهبود آزمون پذیری می نماید.
       علیرغم پوشش و اجرای مکرر جمله خطا دار ممکن است نتیجه اجرای برنامه کامپیوتری صحیح بوده و خطا مشخص نشود. اینگونه اجراها که به طور تصادفی موفق نامیده می شوند، موجب می­گردند که آمارحضور جملات برنامه در اجراهای خطا دار و بدون خطا به درستی مشخص نشده، نتوان بر اساس آمار حضور در اجراهای موفق و ناموفق جملات مظنون به خطا را مشخص کرد. لذا، بخش دوم با هدف تولید ابزار برای مکانیابی خطا با توجه به اجراهای به طور تصادفی موفق نوشته شده است.
      بخش سوم تاکید بر شناخت ناشناخته­ های علمی بر اساس تولید داده ­های آزمون برای شناسایی رفتارهای ناشناخته و غیر قابل انتظاری دارد که حاصل از خطاهای هر چند جزیی در مدل­های ریاضی و یادگیری ماشین مورد استفاده در سیستم­های سایبر فیزیکی یا به عبارتی سیستم های کنترل شونده توسط کامپیوتر مثل اتومبیل­های خودران و کننرل کننده هواپیما و ماهواره هستند. انواع روش‏ ها و کد لازم برای تولید خودکار داده ­های آزمون و تشخیص دامنه ­های رفتارهای خواسته و ناخواسته در بخش سوم کتاب توضیح داده شده است.

دفعات مشاهده: 1797 بار   |   دفعات چاپ: 291 بار   |   دفعات ارسال به دیگران: 0 بار   |   0 نظر
سایر مطالب این بخش سایر مطالب این بخش نسخه قابل چاپ نسخه قابل چاپ ارسال به دوستان ارسال به دوستان

data
Persian site map - English site map - Created in 0.13 seconds with 55 queries by YEKTAWEB 4665