Chevron Left
返回到 Introduction to Automated Analysis

學生對 明尼苏达大学 提供的 Introduction to Automated Analysis 的評價和反饋

4.2
50 個評分

課程概述

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. After completing this course, a learner will be able to: - Understand the foundations of automated verification: randomization and symbolic representations - Distinguish the strengths and weaknesses of random testing, symbolic analysis, static analysis, and model checking - Use a variety of state-of-the-art static analysis and automated testing tools for automated verification - Create executable requirements as an oracle suitable for automated testing and symbolic analysis - Understand how the choice of oracle affects fault-finding for automated analysis strategies. - Use automated testing to achieve full mutation coverage - Create a test plan that utilizes both manually-written tests and automated tests towards maximizing rigor, minimizing effort and time, and minimizing test costs. This course is intended for learners interested in understanding the principles of automation and the application of tools for analysis and testing of software This knowledge would benefit several typical roles: Software Engineer, Software Engineer in Test, Test Automation Engineer, DevOps Engineer, Software Developer, Programmer, Computer Enthusiast. We expect that you have some familiarity with the Software development Life-Cycle, an understanding of the fundamentals of software testing, similar to what is covered in the Introduction to Software Testing and Black-box and White-Box Testing Courses. Familiarity with an object-oriented language such as Java or ability to pick-up Java syntax quickly to write and modify code, and willingness to use tools and IDEs are assumed....

熱門審閱

NY

2021年12月29日

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.

MB

2021年12月24日

Really this is course was too much challenging and resourceful.

篩選依據:

1 - Introduction to Automated Analysis 的 12 個評論(共 12 個)

創建者 Rakhi S

2021年10月3日

創建者 Mathijs v L

2021年1月25日

創建者 Alcides M

2022年4月5日

創建者 Nikolay Y

2021年12月30日

創建者 MD F H B

2021年12月25日

創建者 Arwin H

2020年9月8日

創建者 Deep V

2020年9月21日

創建者 Sahdevbhai C

2020年9月21日

創建者 Abhishek

2020年9月29日

創建者 Budi S

2021年9月22日

創建者 Leonardo A M P

2020年11月12日

創建者 Iván A F M

2022年5月16日