La Rete Università

Verifica formale del software

Descrizione

Vuoi acquisire competenze sulla qualità del software utilizzate nei sistemi mission critical? Modellazione di controllo, esecuzione simbolica e metodi formali sono tecniche utilizzate per sistemi mission critical in cui la vita umana dipende dal corretto funzionamento del sistema. In questo corso, parte del programma MicroMasters di test e verifica del software, imparerai come eseguire queste tecniche. I concetti di questo corso possono essere applicati a qualsiasi linguaggio di programmazione e software di test.Questo corso fa parte del programma Software Testing and Verification MicroMaster di UMGC. Al completamento del programma e al ricevimento del certificato del MicroMaster verificato, gli studenti possono quindi passare al programma completo di Master UMGC in Information Technology con una specializzazione in Ingegneria del software senza alcun processo di applicazione o test. Vedere la pagina del programma MicroMasters per ulteriori informazioni.

Prezzo: $ 249 - GRATUITO per l'audit!

Verifica formale del software tramite edX, una piattaforma per l'educazione fondata da Harvard e dal MIT.

Verifica formale del software - USMx