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.
IDE installed (e.g., Eclipse). Familiar with testing terminology and practice (see previous courses in specialization).
- 5 stars52%
- 4 stars28%
- 3 stars12%
- 2 stars4%
- 1 star4%
來自INTRODUCTION TO AUTOMATED ANALYSIS的熱門評論
Muy bueno!, seria interesante ver mas demostraciones con herramientas.
Really this is course was too much challenging and resourceful.
Not 5, but 4+ stars. Content is good. But, Week 3. It's difficult to understand Indian English and lector make many pauses in the middle of the phrases.