描述

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.阅读更多.

此资源由附属合作伙伴提供。 如果您支付培训费用，我们可能会赚取佣金来支持该网站。

按照数据工作岗位排列职业相关性

Introduction to Automated Analysis 中涵盖的技术和工具与 商业分析师 招聘广告中的要求最为相似。