糖心vlog官网观看

Dieser Kurs f眉hrt Sie in die modernsten Techniken der automatisierten Analyse ein. Die automatisierte Analyse umfasst sowohl Ans盲tze zur automatischen Generierung einer sehr gro脽en Anzahl von Tests, um zu pr眉fen, ob Programme die Anforderungen erf眉llen, als auch Mittel, mit denen man *beweisen* kann, dass Software die Anforderungen erf眉llt und frei von bestimmten, h盲ufig auftretenden Fehlern ist, wie z.B. Divide-by-Zero, Overflow/Underflow, Deadlock, Race-Condition-Freiheit, Buffer/Array Overflow, nicht abgefangene Exceptions und verschiedene andere h盲ufig auftretende Fehler, die zu Programmfehlern oder Sicherheitsproblemen f眉hren k枚nnen. Der Lernende wird mit der grundlegenden Theorie und den Anwendungen solcher Ans盲tze vertraut gemacht und wendet eine Reihe von automatisierten Analysetechniken auf Beispielprogramme an.

Nach Abschluss dieses Kurses ist der Teilnehmer in der Lage: - die Grundlagen der automatisierten Verifikation zu verstehen: Randomisierung und symbolische Darstellungen - die St盲rken und Schw盲chen von Zufallstests, symbolischer Analyse, statischer Analyse und Model Checking zu unterscheiden - eine Vielzahl moderner statischer Analyse- und automatisierter Testwerkzeuge 蹿眉谤 die automatisierte Verifikation zu verwenden - ausf眉hrbare Anforderungen als Orakel zu erstellen, das 蹿眉谤 automatisierte Tests und symbolische Analysen geeignet ist - zu verstehen, wie die Wahl des Orakels die Fehlersuche 蹿眉谤 automatisierte Analysestrategien beeinflusst. - Verwenden Sie automatisierte Tests, um eine vollst盲ndige Mutationsabdeckung zu erreichen - Erstellen Sie einen Testplan, der sowohl manuell geschriebene Tests als auch automatisierte Tests verwendet, um die Strenge zu maximieren, den Aufwand und die Zeit zu minimieren und die Testkosten zu minimieren. Dieser Kurs richtet sich an Teilnehmer, die die Prinzipien der Automatisierung und die Anwendung von Werkzeugen 蹿眉谤 die Analyse und das Testen von Software verstehen m枚chten. Dieses Wissen ist 蹿眉谤 verschiedene typische Rollen von Vorteil: Software-Ingenieur, Software-Ingenieur im Test, Testautomatisierungs-Ingenieur, DevOps-Ingenieur, Software-Entwickler, Programmierer, Computer-Enthusiast. Wir erwarten, dass Sie mit dem Lebenszyklus der Softwareentwicklung vertraut sind und ein Verst盲ndnis 蹿眉谤 die Grundlagen des Softwaretestens haben, 盲hnlich dem, was in den Kursen Einf眉hrung in das Softwaretesten und Black-Box- und White-Box-Testen vermittelt wird. Vertrautheit mit einer objektorientierten Sprache wie Java oder die F盲higkeit, die Java-Syntax schnell zu erfassen, um Code zu schreiben und zu 盲ndern, sowie die Bereitschaft, Tools und IDEs zu verwenden, werden vorausgesetzt.