عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شماره کتابشناسی ملی
شماره
TL48341
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
عنوان و نام پديدآور
عنوان اصلي
Automatic test case generation with dynamic symbolic execution for programs that are coded against interfaces and annotations or use native code
نام عام مواد
[Thesis]
نام نخستين پديدآور
Mainul Islam
نام ساير پديدآوران
Csallner, Christoph
وضعیت نشر و پخش و غیره
نام ناشر، پخش کننده و غيره
The University of Texas at Arlington
تاریخ نشرو بخش و غیره
2015
مشخصات ظاهری
نام خاص و کميت اثر
90
يادداشت کلی
متن يادداشت
Committee members: Kung, David; Lei, Jeff; Liu, Donggang
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
Place of publication: United States, Ann Arbor; ISBN=978-1-321-89308-3
یادداشتهای مربوط به پایان نامه ها
جزئيات پايان نامه و نوع درجه آن
Ph.D.
نظم درجات
Computer Science & Engineering
کسي که مدرک را اعطا کرده
The University of Texas at Arlington
امتياز متن
2015
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
It is important to generate useful test cases to ensure the quality of software programs. Modern software programs are built upon code written in different programming languages. Automatic test case generation for such programs is very powerful but suffers from a key limitation. That is, most current test case generation techniques fail to cover testee code when covering that code requires additional pieces of code that are not yet part of the program under test. To address some of these cases, the Pex state-of-the-art test case generator can generate basic mock code. However, current test case generators cannot handle cases in which the code under test uses multiple interfaces, annotations, or reflection.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer science
اصطلاحهای موضوعی کنترل نشده
اصطلاح موضوعی
Applied sciences;Automatic test case generation;Software engineering;Software testing;Software/program reliability;Testing tool
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Kim, Youngjun
نام شخص - ( مسئولیت معنوی درجه دوم )
مستند نام اشخاص تاييد نشده
Csallner, Christoph
شناسه افزوده (تنالگان)
تقسيم فرعي
Computer Science & Engineering
مستند نام تنالگان تاييد نشده
The University of Texas at Arlington
شماره دستیابی
شماره بازیابی
1708647029; 3712459
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب وضعیت انتشار
فرمت انتشار
p
اطلاعات رکورد کتابشناسی
نوع ماده
[Thesis]
کد کاربرگه
276903
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
