آموزش آشنایی با تحلیل خودکار نرم‌افزار - آخرین آپدیت

آشنایی با تحلیل خودکار Introduction to Automated Analysis

• مقدمه‌ای بر تحلیل خودکار Introduction to Automated Analysis

• تکنیک‌های تحلیل خودکار Automated Analysis Techniques

• نمایش‌های نمادین Symbolic Representations

• مشخص کردن ویژگی‌ها (Property Specification) Property Specification

• مشخصات محیطی و مفروضات Environmental Specification and Assumptions

• تست واحد پارامتری با استفاده از junit quickcheck Parameterized Unit Testing using junit-quickcheck

• مشخصات محیطی در junit quickcheck Environmental Specifications in junit-quickcheck

• (اختیاری) نصب Eclipse و Gradle (Optional) Installation of Eclipse and Gradle

تولید خودکار تست Automated Test Generation

• مروری بر تولید خودکار تست Overview of Automated Test Generation

• تولید خودکار تست با استفاده از تست تصادفی Automated Test Generation using Random Testing

• تولید خودکار تست با استفاده از اجرای نمادین Automated Test Generation using Symbolic Execution

• تولید خودکار تست با استفاده از جستجوی متاهیوریستیک Automated Test Generation using Metaheuristic Search

• تست مبتنی بر ویژگی برای سیستم‌های بلادرنگ Property-Based Testing for Real-Time Systems

• سوگیری مقادیر ورودی در junit quickcheck Biasing Input Values in junit-quickcheck

• استفاده از Generatorها برای ایجاد ورودی‌های پیچیده در junit quickcheck Using Generators to Create Complex Inputs in junit-quickcheck

• توضیح Test Harness و تکلیف مربوط به مثال مایکروویو Explanation of Test Harness and Assignment for Microwave Example

تحلیل استاتیک Static Analysis

• تحلیل استاتیک چیست؟ What is Static Analysis

• تحلیل جریان داده (Dataflow Analysis) Dataflow Analysis

• ویژگی‌های ساختار صحیح برنامه Program Wellformedness Properties

• طراحی برنامه‌ها برای تحلیل‌پذیری Designing programs for analyzability

• تحلیل استاتیک با ابزار Infer Static Analysis with Infer

تایید خودکار موثر Effective Automated Verification

• اتوماسیون تست رگرسیون Automating Regression Testing

• اتوماسیون تست امنیتی با استفاده از Fuzz Testing Automating Security Testing Using Fuzz Testing

• مانیتورینگ در زمان اجرا (Runtime Monitoring) Runtime Monitoring

• مواردی که اتوماسیون شکست می‌خورد Where Automation Fails

• استفاده موثر از متدهای ترکیبی Using Multiple Methods Effectively

• تکامل تست نرم‌افزار The Evolution of Software Testing