مقدمه ای بر تجزیه و تحلیل خودکار

این دوره به معرفی تکنیک های پیشرفته برای تجزیه و تحلیل خودکار می پردازد. تجزیه و تحلیل خودکار شامل هر دو رویکرد برای تولید خودکار تعداد بسیار زیادی آزمایش برای بررسی اینکه آیا برنامه‌ها نیازها را برآورده می‌کنند، و همچنین ابزارهایی را در بر می‌گیرد که با آن می‌توان *ثابت کرد که نرم‌افزار مطابق با الزامات است و عاری از نقص‌های معمولی است، مانند به‌عنوان تقسیم بر صفر، سرریز/زیر جریان، بن‌بست، آزادی شرایط مسابقه، سرریز بافر/آرایه، استثناهای کشف نشده و چندین باگ رایج دیگر که می تواند منجر به خرابی برنامه یا مشکلات امنیتی شود. یادگیرنده با تئوری اساسی و کاربردهای چنین رویکردهایی آشنا می شود و انواع تکنیک های تجزیه و تحلیل خودکار را بر روی برنامه های نمونه اعمال می کند. پس از اتمام این دوره، زبان آموز قادر خواهد بود: - پایه های تأیید خودکار را درک کنید: تصادفی سازی و نمایش های نمادین - تشخیص نقاط قوت و ضعف تست تصادفی، تحلیل نمادین، تحلیل استاتیک و بررسی مدل - استفاده از انواع پیشرفته ترین تجزیه و تحلیل استاتیک و ابزارهای تست خودکار برای تأیید خودکار - ایجاد الزامات اجرایی به عنوان یک اوراکل مناسب برای آزمایش خودکار و تجزیه و تحلیل نمادین - درک کنید که چگونه انتخاب اوراکل بر عیب یابی برای استراتژی های تجزیه و تحلیل خودکار تأثیر می گذارد. - از تست خودکار برای دستیابی به پوشش کامل جهش استفاده کنید - یک طرح آزمایشی ایجاد کنید که هم از تست های دستی و هم از تست های خودکار برای به حداکثر رساندن دقت، به حداقل رساندن تلاش و زمان و به حداقل رساندن هزینه های تست استفاده می کند. این دوره برای فراگیران علاقه مند به درک اصول اتوماسیون و کاربرد ابزارها در نظر گرفته شده است برای تجزیه و تحلیل و آزمایش نرم افزار این دانش به چندین نقش معمولی سود می برد: مهندس نرم افزار، مهندس نرم افزار در تست، مهندس اتوماسیون تست، مهندس DevOps، توسعه دهنده نرم افزار، برنامه نویس، علاقه مندان به کامپیوتر. ما انتظار داریم که شما با چرخه حیات توسعه نرم افزار آشنایی داشته باشید، درکی از اصول تست نرم افزار، مشابه آنچه در مقدمه تست نرم افزار و دوره های تست جعبه سیاه و سفید پوشش داده شده است. آشنایی با یک زبان شی گرا مانند جاوا یا توانایی برداشتن سریع نحو جاوا برای نوشتن و اصلاح کد و تمایل به استفاده از ابزارها و IDE ها فرض می شود.