This course introduces state-of-the-art techniques for automated analysis. Automated analysis encompasses both approaches to automatically generate a very large number of tests to check whether programs meet requirements, and also means by which it is possible to *prove* that software meets requirements and that it is free from certain commonly-occurring defects, such as divide-by-zero, overflow/underflow, deadlock, race-condition freedom, buffer/array overflow, uncaught exceptions, and several other commonly-occurring bugs that can lead to program failures or security problems. The learner will become familiar with the fundamental theory and applications of such approaches, and apply a variety of automated analysis techniques on example programs.
Этот курс входит в специализацию ''Специализация Software Testing and Automation'
от партнера
Об этом курсе
IDE installed (e.g., Eclipse). Familiar with testing terminology and practice (see previous courses in specialization).
Будет ли вашей компании выгодно обучить сотрудников востребованным навыкам?
Попробуйте Coursera для бизнесаПриобретаемые навыки
- Software Testing
- Formal Verification
- Test Automation
IDE installed (e.g., Eclipse). Familiar with testing terminology and practice (see previous courses in specialization).
Будет ли вашей компании выгодно обучить сотрудников востребованным навыкам?
Попробуйте Coursera для бизнесаот партнера
Программа курса: что вы изучите
Introduction to Automated Analysis
Automated Test Generation
Static Analysis
Effective Automated Verification
Рецензии
- 5 stars52,83 %
- 4 stars26,41 %
- 3 stars13,20 %
- 2 stars3,77 %
- 1 star3,77 %
Лучшие отзывы о курсе INTRODUCTION TO AUTOMATED ANALYSIS
Really this is course was too much challenging and resourceful.
Muy bueno!, seria interesante ver mas demostraciones con herramientas.
Специализация Software Testing and Automation: общие сведения

Часто задаваемые вопросы
Когда я получу доступ к лекциям и заданиям?
Что я получу, оформив подписку на специализацию?
Можно ли получить финансовую помощь?
Остались вопросы? Посетите Центр поддержки учащихся.