Die University Network

Formale Softwareüberprüfung

BESCHREIBUNG

Möchten Sie Softwarequalitätsfähigkeiten erwerben, die in unternehmenskritischen Systemen verwendet werden? Modellprüfung, symbolische Ausführung und formale Methoden sind Techniken, die für geschäftskritische Systeme verwendet werden, bei denen das menschliche Leben davon abhängt, dass das System ordnungsgemäß funktioniert. In diesem Kurs, der Teil des MicroMasters-Programms zum Testen und Verifizieren von Software ist, lernen Sie, wie Sie diese Techniken ausführen. Die Konzepte dieses Kurses können auf jede Programmiersprache und Testsoftware angewendet werden. Dieser Kurs ist Teil des MicroMaster-Programms zum Testen und Verifizieren von Software von UMGC. Nach Abschluss des Programms und Erhalt des verifizierten MicroMaster-Zertifikats können die Lernenden ohne Bewerbungsprozess oder Test in das vollständige UMGC-Masterprogramm für Informationstechnologie mit Spezialisierung auf Software-Engineering übergehen. Weitere Informationen finden Sie auf der MicroMasters-Programmseite.

Preis: $ 249 - KOSTENLOS zu prüfen!

Sprache: Englisch

Formale Softwareüberprüfung durch edX, eine von Harvard und MIT gegründete Bildungsplattform.

Formale Softwareüberprüfung - USMx