Software Testing and Automation 專項課程
Develop Skills in Software Testing. Practice and master theory, techniques, and tools to effectively test software.
提供方
您將學到的內容有
Distinguish between verification and validation describing the key differences between them.
Write automated functional tests for both front-end and back-end code
Measure the fault-finding effectiveness of a functional test suite using mutation testing.
Defend program correctness through the use of formal methods, specifically proof obligations and model checking.
您將獲得的技能
關於此 專項課程
應用的學習項目
Learners will build test plans, test suites, and test analysis reports. Learners will develop properties and assertions in code to facilitate automated test generation. Learners will also create pre-conditions for methods to facilitate formal proofs of correctness.
Experience with an object-oriented programming language (preferably Java). Ability to install and run an IDE (Eclipse recommended).
Experience with an object-oriented programming language (preferably Java). Ability to install and run an IDE (Eclipse recommended).
此專項課程包含 4 門課程
Introduction to Software Testing
After completing this course, you will have an understanding of the fundamental principles and processes of software testing. You will have actively created test cases and run them using an automated testing tool. You will being writing and recognizing good test cases, including input data and expected outcomes.
Black-box and White-box Testing
After completing this course, learners will have an understanding of a variety of black-box and white-box testing techniques. The learner will have put this understanding into practice, creating effective sets of test cases (called a test suite) to properly exercise software for defect finding. The learner will have examined requirements for testability, created an oracle for automated testing, assessed fault-finding effectiveness of test suites, and generated inputs using a variety of techniques.
Introduction to Automated Analysis
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.
Web and Mobile Testing with Selenium
Modern applications that we build invariably have touch-points with its users through web-based and mobile platforms. Users interact with the software through these interfaces and the experiences those interfaces provide have a strong influence on the perceived quality of the software.
提供方

明尼苏达大学
The University of Minnesota is among the largest public research universities in the country, offering undergraduate, graduate, and professional students a multitude of opportunities for study and research. Located at the heart of one of the nation’s most vibrant, diverse metropolitan communities, students on the campuses in Minneapolis and St. Paul benefit from extensive partnerships with world-renowned health centers, international corporations, government agencies, and arts, nonprofit, and public service organizations.
常見問題
What is the refund policy?
我可以只注册一门课程吗?
Is financial aid available?
我可以免费学习课程吗?
此课程是 100% 在线学习吗?是否需要现场参加课程?
完成专项课程后我会获得大学学分吗?
還有其他問題嗎?請訪問 學生幫助中心。