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