در این مطلب، ویدئو PyCT: یک تستر Concolic پایتون با زیرنویس فارسی را برای دانلود قرار داده ام. شما میتوانید با پرداخت 15 هزار تومان ، این ویدیو به علاوه تمامی فیلم های سایت را دانلود کنید.اکثر فیلم های سایت به زبان انگلیسی می باشند. این ویدئو دارای زیرنویس فارسی ترجمه شده توسط هوش مصنوعی می باشد که میتوانید نمونه ای از آن را در قسمت پایانی این مطلب مشاهده کنید.
مدت زمان فیلم: 00:09:52
تصاویر این ویدئو:
قسمتی از زیرنویس این فیلم:
00:00:00,799 –> 00:00:03,600
سلام، من ویلیام از دانشگاه
2
00:00:03,600 –> 00:00:04,799
سینمای تایوان
3
00:00:04,799 –> 00:00:07,040
هستم، امروز میخواهم کار خود را ارائه کنم
4
00:00:07,040 –> 00:00:10,080
که یک بافت مخروطی پایتون پیشرفته است که
5
00:00:10,080 –> 00:00:12,719
عمدتاً از یک pyx3 معروف قبلی اقتباس شده
6
00:00:12,719 –> 00:00:16,519
7
00:00:16,720 –> 00:00:19,600
8
00:00:19,600 –> 00:00:22,240
9
00:00:22,240 –> 00:00:24,240
است. یک تکنیک تست نرم افزار
10
00:00:24,240 –> 00:00:25,680
11
00:00:25,680 –> 00:00:28,160
برای تولید ورودی های مختلف
12
00:00:28,160 –> 00:00:31,599
برنامه ها برای افزایش پوشش کد آن
13
00:00:31,599 –> 00:00:33,680
یکی از اهداف این
14
00:00:33,680 –> 00:00:36,160
تکنیک کمک به برنامه نویسان است که
15
00:00:36,160 –> 00:00:37,360
به عنوان مثال
16
00:00:37,360 –> 00:00:39,360
اگر یک برنامه نویس بازی بخواهد بداند
17
00:00:39,360 –> 00:00:41,840
که آیا ممکن است یک
18
00:00:41,840 –> 00:00:43,440
mpc
19
00:00:43,440 –> 00:00:45,760
به طور تصادفی وارد یک فایل محدود شود یا خیر. ناحیه،
20
00:00:45,760 –> 00:00:47,520
سپس می تواند
21
00:00:47,520 –> 00:00:49,680
مقادیر تابع زیر را نیز آزمایش کند،
22
00:00:49,680 –> 00:00:52,079
این تابع همیشه
23
00:00:52,079 –> 00:00:54,239
24
00:00:54,239 –> 00:00:56,559
هر زمان که npc وارد یک ناحیه خاص
25
00:00:56,559 –> 00:00:57,760
26
00:00:57,760 –> 00:00:59,840
مطابق این پیاده
27
00:00:59,840 –> 00:01:01,920
سازی شود،
28
00:01:01,920 –> 00:01:03,680
شرایطی را ایجاد می کند، اگر
29
00:01:03,680 –> 00:01:07,439
mpc در این ناحیه دریافت شده قرار گیرد، استثنا ایجاد می شود
30
00:01:07,439 –> 00:01:10,320
تا بتوانیم تستر محاسبه خود را بر روی آن اجرا کنیم.
31
00:01:10,320 –> 00:01:12,479
این تابع
32
00:01:12,479 –> 00:01:13,920
و
33
00:01:13,920 –> 00:01:15,759
البته تستر همزمان
34
00:01:15,759 –> 00:01:17,840
متوجه خواهد شد
35
00:01:17,840 –> 00:01:20,960
که امکان ورود این mpc به
36
00:01:20,960 –> 00:01:22,640
این re وجود دارد
37
00:01:22,640 –> 00:01:26,080
اگر مختصات x بین 10 و
38
00:01:26,080 –> 00:01:27,200
20 باشد
39
00:01:27,200 –> 00:01:29,759
و این مختصات y نیز بین
40
00:01:29,759 –> 00:01:31,840
10 و 20
41
00:01:31,840 –> 00:01:34,320
باشد. بنابراین برنامه نویس بازی
42
00:01:34,320 –> 00:01:37,119
می تواند طراحی خود را
43
00:01:37,119 –> 00:01:40,840
مطابق با این نتیجه تغییر دهد،
44
00:01:41,280 –> 00:01:43,920
برخی از زبان های برنامه نویسی مانند c java
45
00:01:43,920 –> 00:01:47,360
x86 و جاوا اسکریپت
46
00:01:47,360 –> 00:01:49,600
تست کننده های مختلف محاسبه در دسترس دارند.
47
00:01:49,600 –> 00:01:50,799
با این حال،
48
00:01:50,799 –> 00:01:55,119
آزمایشکنندههای پایتون نسبتاً کمتر هستند،
49
00:01:55,119 –> 00:01:57,280
زیرا پایتون یک زبان برنامهنویسی محبوب
50
00:01:57,280 –> 00:01:59,840
است، ما معتقدیم که
51
00:01:59,840 –> 00:02:03,600
نیاز شدیدی به توسعه یک زبان خوب وجود دارد،
52
00:02:04,000 –> 00:02:06,560
قبل از هر چیز میخواهم توضیح دهم که
53
00:02:06,560 –> 00:02:08,560
pi exe3 چه میکند
54
00:02:08,560 –> 00:02:11,120
، چندین نوع مؤلفه را پیادهسازی میکند
55
00:02:11,120 –> 00:02:12,959
که از انواع اولیه پایتون به ارث میبرند.
56
00:02:12,959 –> 00:02:14,319
57
00:02:14,319 –> 00:02:16,319
شیء نتیجه گیری شامل
58
00:02:16,319 –> 00:02:18,720
مقدار اصلی نوع اولیه والد خود
59
00:02:18,720 –> 00:02:19,680
60
00:02:19,680 –> 00:02:21,680
و مقدار نمادین است که
61
00:02:21,680 –> 00:02:24,560
عبارتی در تئوری smd است
62
00:02:24,560 –> 00:02:27,280
. هدف از ارزش نمادین
63
00:02:27,280 –> 00:02:29,200
جمع آوری تمام شاخه هایی است
64
00:02:29,200 –> 00:02:31,680
که تستر در طول اجرا با آنها مواجه شده است،
65
00:02:31,680 –> 00:02:33,120
66
00:02:33,120 –> 00:02:35,519
سپس آزمایشگر می تواند
67
00:02:35,519 –> 00:02:37,680
ورودی های تابع جدید را مطابق با آن تولید کند. به این
68
00:02:37,680 –> 00:02:40,080
مقدار نمادین
69
00:02:40,080 –> 00:02:41,440
برای مثال
70
00:02:41,440 –> 00:02:44,160
اگر یک عدد صحیح n
71
00:02:44,160 –> 00:02:45,360
در پایتون وجود داشته باشد
72
00:02:45,360 –> 00:02:47,680
که مقدار آن 5
73
00:02:47,680 –> 00:02:51,360
و است بیان آن x به اضافه y است،
74
00:02:51,360 –> 00:02:54,800
سپس un ضرب در 2
75
00:02:54,800 –> 00:02:57,120
برابر با 10 است
76
00:02:57,120 –> 00:02:59,280
و این
77
00:02:59,280 –> 00:03:04,680
عبارت 2 ضرب در x به علاوه y
78
00:03:08,959 –> 00:03:11,040
79
00:03:11,040 –> 00:03:12,640
80
00:03:12,640 –> 00:03:14,640
81
00:03:14,640 –> 00:03:15,760
82
00:03:15,760 –> 00:03:17,920
83
00:03:17,920 –> 00:03:21,440
است.
84
00:03:21,840 –> 00:03:25,040
اگرچه pi xd3 یک آزمایشکننده محاسبهشده معروف است
85
00:03:25,040 –> 00:03:26,879
86
00:03:26,879 –> 00:03:29,120
که افقهای
87
00:03:29,120 –> 00:03:31,519
ما را گستردهتر میکند، اما تاکنون برخی از مسائل آن را کشف کردهایم
88
00:03:31,519 –> 00:03:32,879
89
00:03:32,879 –> 00:03:34,159
، اولین موردی
90
00:03:34,159 –> 00:03:37,040
که تنها تعداد محدودی از توابع عضو انواع پایه را پیادهسازی میکند،
91
00:03:37,040 –> 00:03:39,120
92
00:03:39,120 –> 00:03:40,319
برای مثال
93
00:03:40,319 –> 00:03:41,920
تابع مطلق
94
00:03:41,920 –> 00:03:44,239
و تابع اشتباه
95
00:03:44,239 –> 00:03:47,440
توسط آن پیادهسازی نمیشوند. pi
96
00:03:47,440 –> 00:03:49,040
exc3 دومی که
97
00:03:49,040 –> 00:03:51,200
شمارندهها را تسکین میدهد انواع ساختمانها عملکردهای آینهای
98
00:03:51,200 –> 00:03:52,159
99
00:03:52,159 –> 00:03:54,319
را بهطور خودکار
100
00:03:54,319 –> 00:03:56,560
اشیای concolic را به اشیاء ابتدایی
101
00:03:56,560 –> 00:03:59,120
که فقط از مقادیر مشخص تشکیل شدهاند پایین میآورد
102
00:03:59,120 –> 00:04:01,680
و اطلاعات نمادین مرتبط را دور
103
00:04:01,680 –> 00:04:02,879
104
00:04:02,879 –> 00:04:06,080
میاندازد، به عنوان مثال اگر یک شیء concolic وجود داشته
105
00:04:06,080 –> 00:04:09,120
باشد x
106
00:04:09,200 –> 00:04:11,680
107
00:04:11,680 –> 00:04:13,680
108
00:04:13,680 –> 00:04:15,840
از پایان به این عبارت وارد میشود.
109
00:04:15,840 –> 00:04:18,880
تابع یک تابع عضو انواع ساختمان
110
00:04:18,880 –> 00:04:21,519
است، اگر در این مورد va باشد، اطلاعات نمادین کنار گذاشته می شود
111
00:04:21,519 –> 00:04:24,000
112
00:04:24,000 –> 00:04:27,199
lue x برابر با 10 است،
113
00:04:27,199 –> 00:04:31,360
سپس فقط شاخه if اجرا می شود
114
00:04:31,360 –> 00:04:34,400
و
115
00:04:34,400 –> 00:04:39,680
اگر آرگومان های ورودی جدیدی ایجاد نشود، بلوک else لمس نخواهد شد،
116
00:04:39,680 –> 00:04:42,479
بنابراین دو پدیده بالا منجر به
117
00:04:42,479 –> 00:04:45,199
نرخ پوشش نسبتاً پایین در مقایسه ب