آموزش مقدمه‌ای بر تحلیل خودکار

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

13 دانشجو
متوسط
Coursera
Coursera
Kevin Wendt
Michael W. Whalen

Kevin Wendt

+ 1 مدرس دیگر

محتوای دوره
پیش‌نیاز‌ها
درباره دوره
درباره استاد

آنچه در این دوره می‌آموزید

چگونگی تشخیص نقاط قوت و ضعف تست تصادفی، تحلیل نمادین، تحلیل استاتیک و بررسی مدل

نحوه ایجاد الزامات اجرایی به عنوان اوراکل برای تست خودکار و تحلیل نمادین مناسب

چگونگی درک تأثیر انتخاب اوراکل بر کشف خطا در استراتژی‌های تحلیل خودکار

نحوه استفاده از تست خودکار برای دستیابی به پوشش کامل جهش

محتوای دوره

4 فصل 27 جلسه 5 ساعت ویدیو
مقدمه‌ای بر تحلیل خودکار
تولید خودکار تست
تجزیه و تحلیل ایستا
تأیید خودکار موثر

پیش‌نیاز‌ها

برای درک و استفاده بهتر از این دوره آشنایی با یک زبان برنامه‌نویسی شی‌گرا مانند جاوا، و نصب IDE (برای مثال Eclipse) و اصطلاحات تخصصی Testing الزامیست.

درباره دوره

لازم به ذکر است زیرنویس این دوره توسط هوش مصنوعی انجام شده‌است.

دوره آموزش مقدمه‌ای بر تحلیل خودکار تکنیک‌های پیشرفته تحلیل خودکار را معرفی می‌کند. تحلیل خودکار شامل دو رویکرد است: اول، تولید خودکار تعداد زیادی از تست‌ها برای بررسی تطابق برنامه با الزامات.

دوم، روشی برای اثبات این موضوع که نرم‌افزار مطابق با الزامات کار می‌کند و از برخی نقص‌های رایج مانند تقسیم بر صفر، سرریز/کم‌ریز، بن‌بست، مسابقه شرایط، سرریز بافر/آرایه، استثنائات نگرفته و چندین باگ رایج دیگر که می‌توانند منجر به خرابی برنامه یا مشکلات امنیتی شوند، عاری است.

دانش‌پذیران با تئوری بنیادی و کاربردهای چنین رویکردهایی آشنا شده و تکنیک‌های مختلف تحلیل خودکار را روی برنامه‌های نمونه به کار خواهند بست.

اطلاعات بیشتر

دوره‌های پیشنهادی

درباره استاد

Kevin Wendt
Kevin Wendt
3 دوره
80 دانشجو

Kevin Wendt متخصص آموزش در بخش علوم کامپیوتر و مهندسی (CS&E) دانشگاه مینه سوتا هستند. او مدیر برنامه کارشناسی ارشد مهندسی نرم افزار (MSSE) و سرپرست دستیاران آموزشی تحصیلات تکمیلی در CS&E می باشد. وی طیف وسیعی از دوره ها را از مهندسی نرم افزار تحصیلات تکمیلی تا برنامه نویسی مقدماتی برای غیرمرتبطین تدریس می کند. او پیش از پیوستن به دانشگاه مینه سوتا، به مدت ۶ سال در کالج فنی دانوودی با قدمت ۱۰۰ سال تدریس کرده و همچنین ۵ سال به عنوان برنامه نویس کاربردی در شرکت ولز فارگو مشغول به کار بوده است.

اطلاعات بیشتر

دیگر دوره‌های Kevin Wendt

Michael W. Whalen
Michael W. Whalen
2 دوره
38 دانشجو

علایق پژوهشی او در تقاطع نیازمندی‌های نرم‌افزار، معماری نرم‌افزار و تایید صحت آن‌ها قرار دارد. این علاقه ناشی از تمایل قوی برای ایمن‌تر، مقاوم‌تر و امن‌تر کردن طیف وسیعی از سیستم‌های نرم‌افزاری است. به طور خاص، او به دنبال توسعه‌ی شیوه‌های تست خودکار و تایید صحت صوری در مقیاس وسیع است تا بتوان آن‌ها را به طور مکرر و با صرفه اقتصادی در عملِ صنعت به کار گرفت. با ارائه بازخورد غنی به توسعه‌دهندگان بر اساس شواهد تایید صحت، به آن‌ها در درک ارتباط بین مصنوعات نرم‌افزاری و کفایت تاییدی که با توجه به هدفِ درنظرگرفته‌شده‌ی نرم‌افزار انجام شده است، کمک می‌کند. و در نهایت، به دنبال تدوین نیازمندی‌ها و ارائه‌ی شواهد تایید صحت دقیق برای نرم‌افزارهای تطبیق‌پذیر و یادگیری ماشین است که در سیستم‌های سایبر-فیزیکی به کار گرفته خواهند شد.

اطلاعات بیشتر

سوالات پرتکرار

پس از سپری شدن زمان دوره، به محتوای دوره دسترسی خواهم داشت؟

بله؛ پس از سپری شدن مدت زمان دوره شما به محتوای دوره دسترسی خواهید داشت و می توانید از ویدئوها، تمارین، پروژه و دیگر محتوای دوره در صورت وجود استفاده کنید ولی امکان تصحیح تمارین توسط پشتیبان و دریافت گواهی نامه برای شما وجود نخواهد داشت.