• Duración:
    8 semanas
  • Dedicación:
    8–10 horas por semana
  • Precio:

    GRATIS
    Agregar un Certificado Verificado por $249 USD

  • Instituciones
    UMGCUSMx
  • Tema:
    Informática
  • Nivel:
    Introductory
  • Idioma:
    English
  • Transcripción de video:
    English
  • Tipo de curso:
    Al ritmo del instructor

Prerrequisitos

Basic programming skills.

Sobre este curso

Omitir Sobre este curso

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.

Lo que aprenderás

Omitir Lo que aprenderás
  • Use Model Checking to evaluate software quality through model generation
  • Use Symbolic Execution to evaluate software for defects
  • Use Formal Methods to create proofs of software implementations

Conoce a tus instructores

University of Maryland Global Campus
University System of Maryland
Renata Rand McFadden
Adjunct Professor
University of Maryland Global Campus
Michael Scott Brown
Program Chair of the Software Engineering Master’s
University of Maryland Global Campus

Obtén un Certificado Verificado para destacar los conocimientos y las habilidades que adquieras
$249 USD

Ver un modelo de certificado de edX en PDF

  • Oficial y verificado

    Obtén un certificado con la firma del instructor y el logotipo de la institución para demostrar tus logros y aumentar las posibilidades de conseguir trabajo

  • Fácil de compartir

    Agrega el certificado a tu currículum o publícalo directamente en LinkedIn

  • Incentivo comprobado

    El certificado te da un motivo más para completar el curso

  • Apoya nuestra labor

    edX, una organización sin fines de lucro, se sustenta con los certificados verificados para financiar la educación gratuita para todo el mundo

Preguntas frecuentes

Important Information

Thank you for your interest in the MicroMasters Program in Software Testing and Verification. Please note that this program is being discontinued. No courses will be offered after December 2020. The schedule for the final offering of each course in this program is provided below. In order to transfer these courses to UMGC, you will need to purchase the Verified Certificate, complete, and pass all 3 courses. We apologize for any inconvenience this may cause.

  1. Software Testing Fundamentals - 7/14/20 - 9/8/20
  2. Software Testing Management - 9/22/20 - 11/17/20
  3. Formal Software Verification - 12/1/20 - 1/26/21

How long does a student have to apply to and complete the full UMGC degree?

To ensure that your program remains relevant and up-to-date, UMGC sets time limits for completing a program. Students have five (5) consecutive years from the start of the graduate degree to complete their degree. For students who start with a MicroMasters program, their “time clock” begins on the date that they complete their last course in the MicroMasters program and receive their Verified Certificate. This means that students should apply to UMGC promptly to begin the degree and have as much time as possible to complete it.

¿Quién puede hacer este curso?

Lamentablemente, las personas de uno o más de los siguientes países o regiones no podrán registrarse para este curso: Irán, Cuba y la región de Crimea en Ucrania. Si bien edX consiguió licencias de la Oficina de Control de Activos Extranjeros de los EE. UU. (U.S. Office of Foreign Assets Control, OFAC) para ofrecer nuestros cursos a personas en estos países y regiones, las licencias que hemos recibido no son lo suficientemente amplias como para permitirnos dictar este curso en todas las ubicaciones. edX lamenta profundamente que las sanciones estadounidenses impidan que ofrezcamos todos nuestros cursos a cualquier persona, sin importar dónde viva.