YoVDO

Software Testing and Verification

Offered By: University System of Maryland via edX

Tags

Software Development Courses Software Testing Courses Quality Assurance Courses Unit Testing Courses Formal Verification Courses Defect Management Courses

Course Description

Overview

Software touches just about everything in our world today. Today’s consumers expect intuitive and reliable technology, and in an increasingly crowded marketplace small missteps can trigger dissatisfaction and abandonment. Software testing addresses weaknesses in software development while building scalable development processes to ensure a best-in-class user experience. Learn the skills needed to excel as a Software Tester or Quality Assurance Engineer.

In this Software Testing and Verification MicroMasters program you will gain essential knowledge about software testing concepts and techniques and learn by delving into various software test cases and how they are documented. You will also learn how to plan, execute and manage software testing as well as software quality techniques for formal verification, which is used in mission critical projects.

This program will be of benefit to Software Testers, Developers and Quality Assurance Engineers. It will provide career-changers with the skills to get an entry-level job in Software Testing and help advance Software Developers skills in unit testing.


Syllabus

Courses under this program:
Course 1: Software Testing Fundamentals

Learn how to locate software bugs and defects using the latest testing techniques.



Course 2: Software Testing Management

Learn how to effectively manage software tests using estimations, defect management, metrics and software quality initiatives.



Course 3: Formal Software Verification

Learn software quality techniques beyond just running test cases.




Courses

  • 2 reviews

    8 weeks, 8-10 hours a week, 8-10 hours a week

    View details

    There is much more to software testing than just finding defects. Successful software and quality assurance engineers need to also manage the testing of software.

    In this course, part of the Software Testing and Verification MicroMasters program, you will learn about the management aspects of software testing. You will learn how to successfully plan, schedule, estimate and document a software testing plan.

    You will learn how to analyze metrics to improve software quality and software tests.

    We will also discuss software quality initiatives developed by industry experts.

    No previous programming knowledge needed.

    This course is part of the Software Testing and Verification MicroMaster’s program from UMGC. Upon completion of the program and receipt of the verified MicroMaster’s certificate, learners may then transition into the full UMGC Master’s Program in Information Technology with a specialization in Software Engineering. See the MicroMasters program page for more information.

  • 0 reviews

    8 weeks, 8-10 hours a week, 8-10 hours a week

    View details

    Want to gain software testing skills to start a career or are you a software developer looking to improve your unit testing skills? This course, part of the Software Testing and Verification MicroMasters program, will provide the essential skills you need for success.

    Software needs to be tested for bugs and to insure the product meets the requirements and produces the desired results. Software testing is essential to providing a quality product.

    Learn the techniques Software Testers and Quality Assurance Engineers use every day, which can be applied to any programming language and testing software.

    No previous programming knowledge needed. This course will use Java and JUnit, however, for examples and assignments.

    This course is part of the Software Testing and Verification MicroMaster’s program from UMGC. Upon completion of the program and receipt of the verified MicroMaster’s certificate, learners may then transition into the full UMGC Master’s Program in Information Technology with a specialization in Software Engineering. See the MicroMasters program page for more information.

  • 1 review

    8 weeks, 8-10 hours a week, 8-10 hours a week

    View details

    Want to gain software quality skills used in mission critical systems?

    Modeling checking, symbolic execution and formal methods are techniques that are used for mission critical systems where human life depends upon the system working correctly.

    In this course, part of the Software Testing and Verification MicroMasters program, you will learn how to perform these techniques.

    The concepts from this course can be applied to any programming language and testing software.

    This course is part of the Software Testing and Verification MicroMaster’s program from UMGC. Upon completion of the program and receipt of the verified MicroMaster’s certificate, learners may then transition into the full UMGC Master’s Program in Information Technology with a specialization in Software Engineering without any application process or testing. See the MicroMasters program page for more.


Taught by

Mir Mohammed Assadullah, Renata Rand McFadden and Michael Scott Brown

Tags

Related Courses

Automated Reasoning: Symbolic Model Checking
EIT Digital via Coursera
Verification and Synthesis of Autonomous Systems
University of Colorado Boulder via Coursera
SPARK 2014
AdaCore via Independent
ARMOR: A Formally Verified Implementation of X.509 Certificate Chain Validation - 2024
IEEE via YouTube
A Secure and Formally Verified Linux KVM Hypervisor
IEEE via YouTube