Suche senden
Hochladen
Der Weltbolschewismus3
•
0 gefällt mir
•
472 views
H
Hans Wolter
Folgen
Bildung
Melden
Teilen
Melden
Teilen
1 von 254
Jetzt herunterladen
Downloaden Sie, um offline zu lesen
Empfohlen
iugb
Executive Summary - Augmented Reality Studie
Executive Summary - Augmented Reality Studie
Kontrast Communication Services GmbH
Erwartungen an e-Gov
Erwartungen an e-Gov
ch.ch
Nachdenken über Digitalisierung aus der Sicht eines Designers
Ousia
Ousia
Tim Bruysten
Präsentation ÖW-Marketingkampagne Winter 2013
Präsentation ÖW-Marketingkampagne Winter 2013
Austrian National Tourist Office
Ohne automatisierte Tests wäre TDD, das Kernstück von XP, undenkbar. Häufig wird auch behauptet, dass Tests das Verhalten des Codes dokumentieren. Doch ist dies tatsächlich der Fall? Traditionelle Tests überprüfen das Verhalten beispielhaft anhand einiger (hoffentlich) gut gewählter Eingabewerte oder Szenarien. Doch was ist mit Werten, die man beim Schreiben des Tests vergessen hat? Hier fehlt dann nicht nur der Test, sondern auch die Dokumentation! Testing Tools für funktionale Sprachen, wie z. B. QuickCheck für Haskell, verwenden seit jeher eine komplett andere Herangehensweise. Statt explizit Eingabewerte anzugeben, spezifiziert man charakteristische Eigenschaften des Codes, die unter bestimmten Voraussetzungen gelten sollen. Bei der Testausführung werden diese Eigenschaften dann anhand automatisch generierter Eingabewerte verifiziert. JUnit bietet seit einiger Zeit die Möglichkeit, solche Eigenschaften als sog. Theories zu formulieren. Was im Vergleich mit QuickCheck und anderen aber fehlt, ist die automatische Erzeugung von Eingabewerten aus einer wie auch immer gearteten Spezifikation heraus. In dieser Session werden zuerst die theoretischen Hintergründe von Spezifikationstechniken angerissen und betrachtet, welche Eigenschaften ein Test braucht, um als gute Spezifikation dienen zu können. Anschließend werden die beiden oben genannten Techniken anhand praktischer Beispiele verglichen, kombiniert und diskutiert.
Unit Tests als Spezifikation?
Unit Tests als Spezifikation?
Marc Philipp
Bereits jetzt kann man die kostenlose Version von Nokia Music+ wunderbar verwenden. Es folgt nun aber eine Variante bei der man wie auch bei Deezer, Spotify und wie sie alle heißen sich für 4 Euro Premium Funktionen dazu holen kann.
Nokia Music+ wird you 4 Euro im Monat kosten
Nokia Music+ wird you 4 Euro im Monat kosten
Kristy AussieBatt
Twitter @br sprecher
Twitter @br sprecher
ch.ch
Eingangs - Rechnungsprüfung schneller und damit gewinnbingend fürs Unternehmen durchführen! Vom Fahrrad zur Rakete!
Eingangs - Rechnungsprüfung schneller und damit gewinnbingend fürs Unternehme...
Eingangs - Rechnungsprüfung schneller und damit gewinnbingend fürs Unternehme...
HENRICHSEN AG
Empfohlen
iugb
Executive Summary - Augmented Reality Studie
Executive Summary - Augmented Reality Studie
Kontrast Communication Services GmbH
Erwartungen an e-Gov
Erwartungen an e-Gov
ch.ch
Nachdenken über Digitalisierung aus der Sicht eines Designers
Ousia
Ousia
Tim Bruysten
Präsentation ÖW-Marketingkampagne Winter 2013
Präsentation ÖW-Marketingkampagne Winter 2013
Austrian National Tourist Office
Ohne automatisierte Tests wäre TDD, das Kernstück von XP, undenkbar. Häufig wird auch behauptet, dass Tests das Verhalten des Codes dokumentieren. Doch ist dies tatsächlich der Fall? Traditionelle Tests überprüfen das Verhalten beispielhaft anhand einiger (hoffentlich) gut gewählter Eingabewerte oder Szenarien. Doch was ist mit Werten, die man beim Schreiben des Tests vergessen hat? Hier fehlt dann nicht nur der Test, sondern auch die Dokumentation! Testing Tools für funktionale Sprachen, wie z. B. QuickCheck für Haskell, verwenden seit jeher eine komplett andere Herangehensweise. Statt explizit Eingabewerte anzugeben, spezifiziert man charakteristische Eigenschaften des Codes, die unter bestimmten Voraussetzungen gelten sollen. Bei der Testausführung werden diese Eigenschaften dann anhand automatisch generierter Eingabewerte verifiziert. JUnit bietet seit einiger Zeit die Möglichkeit, solche Eigenschaften als sog. Theories zu formulieren. Was im Vergleich mit QuickCheck und anderen aber fehlt, ist die automatische Erzeugung von Eingabewerten aus einer wie auch immer gearteten Spezifikation heraus. In dieser Session werden zuerst die theoretischen Hintergründe von Spezifikationstechniken angerissen und betrachtet, welche Eigenschaften ein Test braucht, um als gute Spezifikation dienen zu können. Anschließend werden die beiden oben genannten Techniken anhand praktischer Beispiele verglichen, kombiniert und diskutiert.
Unit Tests als Spezifikation?
Unit Tests als Spezifikation?
Marc Philipp
Bereits jetzt kann man die kostenlose Version von Nokia Music+ wunderbar verwenden. Es folgt nun aber eine Variante bei der man wie auch bei Deezer, Spotify und wie sie alle heißen sich für 4 Euro Premium Funktionen dazu holen kann.
Nokia Music+ wird you 4 Euro im Monat kosten
Nokia Music+ wird you 4 Euro im Monat kosten
Kristy AussieBatt
Twitter @br sprecher
Twitter @br sprecher
ch.ch
Eingangs - Rechnungsprüfung schneller und damit gewinnbingend fürs Unternehmen durchführen! Vom Fahrrad zur Rakete!
Eingangs - Rechnungsprüfung schneller und damit gewinnbingend fürs Unternehme...
Eingangs - Rechnungsprüfung schneller und damit gewinnbingend fürs Unternehme...
HENRICHSEN AG
10 Emailprojektfinal
10 Emailprojektfinal
guest93c630
Schreibtest
Schreibtest
guest93c630
Mobile Effects 2010
Mobile Effects 2010
TOMORROW FOCUS AG
iPad Effects 2010
iPad Effects 2010
TOMORROW FOCUS AG
Über viele Programme,die uns das Leben erleichtern.
E-Helfer2011
E-Helfer2011
Aimi Jõesalu
Diapo allemand
Diapo allemand
vchambon
Мюнхен
мюнхен
мюнхен
kruzhochekkk
Weihnachtskarte
Weihnachtskarte
Hans-Jürgen van Langen
Präsentation von conosco beim innovativ in Business Club am 30.10.2008 in Düsseldorf
Präsentation "Das Web hat sich verändert"
Präsentation "Das Web hat sich verändert"
conosco PR-Agentur
Sinfonia en verde
Arboles
Arboles
Douce Nieto
YouTube Ripperr ist eine der Wandler bei der Umwandlung mit Leichtigkeit verwendet.
Youtube Ripper
Youtube Ripper
derek991
PLANTAS ARQUITECTONICAS
PLANTAS ARQUITECTONICAS
PLANTAS ARQUITECTONICAS
rogelio01
Kopf Hoc
Kopf Hoc
Aster46
2 - THE RECRUITING BEGINS
2 - THE RECRUITING BEGINS
passionplay
DEBERES
Deber 10
Deber 10
Rubi Parra
LAKO Kreativpreis_2024_Startnummer_02_(LFS_LA).pdf
LAKO Kreativpreis_2024_Startnummer_02_(LFS_LA).pdf
LAKO Kreativpreis_2024_Startnummer_02_(LFS_LA).pdf
befroschauer
Präsentation am Smartfeld Open Day St. Gallen, Künstliche Intelligenz vom 4. Mai 2024
Welche KI-Kompetenzen brauchen Lehrpersonen?!
Welche KI-Kompetenzen brauchen Lehrpersonen?!
Pädagogische Hochschule St.Gallen
BWL Betriebswirtschaftslehre (B.Sc.) an der Universität Duisburg Essen
Betriebswirtschaftslehre (B.Sc.) an der Universität Duisburg Essen
Betriebswirtschaftslehre (B.Sc.) an der Universität Duisburg Essen
Team Studienorientierung (Universität Duisburg-Essen)
Wirtschaftsingenieurwesen an der Universität Duisburg-Essen
Wirtschaftsingenieurwesen an der Universität Duisburg-Essen
Wirtschaftsingenieurwesen an der Universität Duisburg-Essen
Team Studienorientierung (Universität Duisburg-Essen)
sgk
1029-Danh muc Sach Giao Khoa khoi 11.pdf
1029-Danh muc Sach Giao Khoa khoi 11.pdf
QucHHunhnh
Angewandte Philosophie an der Universität Duisburg-Essen
Angewandte Philosophie an der Universität Duisburg-Essen.
Angewandte Philosophie an der Universität Duisburg-Essen.
Team Studienorientierung (Universität Duisburg-Essen)
sgk
1029-Danh muc Sach Giao Khoa khoi 12.pdf
1029-Danh muc Sach Giao Khoa khoi 12.pdf
QucHHunhnh
Weitere ähnliche Inhalte
Andere mochten auch
10 Emailprojektfinal
10 Emailprojektfinal
guest93c630
Schreibtest
Schreibtest
guest93c630
Mobile Effects 2010
Mobile Effects 2010
TOMORROW FOCUS AG
iPad Effects 2010
iPad Effects 2010
TOMORROW FOCUS AG
Über viele Programme,die uns das Leben erleichtern.
E-Helfer2011
E-Helfer2011
Aimi Jõesalu
Diapo allemand
Diapo allemand
vchambon
Мюнхен
мюнхен
мюнхен
kruzhochekkk
Weihnachtskarte
Weihnachtskarte
Hans-Jürgen van Langen
Präsentation von conosco beim innovativ in Business Club am 30.10.2008 in Düsseldorf
Präsentation "Das Web hat sich verändert"
Präsentation "Das Web hat sich verändert"
conosco PR-Agentur
Sinfonia en verde
Arboles
Arboles
Douce Nieto
YouTube Ripperr ist eine der Wandler bei der Umwandlung mit Leichtigkeit verwendet.
Youtube Ripper
Youtube Ripper
derek991
PLANTAS ARQUITECTONICAS
PLANTAS ARQUITECTONICAS
PLANTAS ARQUITECTONICAS
rogelio01
Kopf Hoc
Kopf Hoc
Aster46
2 - THE RECRUITING BEGINS
2 - THE RECRUITING BEGINS
passionplay
DEBERES
Deber 10
Deber 10
Rubi Parra
Andere mochten auch
(15)
10 Emailprojektfinal
10 Emailprojektfinal
Schreibtest
Schreibtest
Mobile Effects 2010
Mobile Effects 2010
iPad Effects 2010
iPad Effects 2010
E-Helfer2011
E-Helfer2011
Diapo allemand
Diapo allemand
мюнхен
мюнхен
Weihnachtskarte
Weihnachtskarte
Präsentation "Das Web hat sich verändert"
Präsentation "Das Web hat sich verändert"
Arboles
Arboles
Youtube Ripper
Youtube Ripper
PLANTAS ARQUITECTONICAS
PLANTAS ARQUITECTONICAS
Kopf Hoc
Kopf Hoc
2 - THE RECRUITING BEGINS
2 - THE RECRUITING BEGINS
Deber 10
Deber 10
Kürzlich hochgeladen
LAKO Kreativpreis_2024_Startnummer_02_(LFS_LA).pdf
LAKO Kreativpreis_2024_Startnummer_02_(LFS_LA).pdf
LAKO Kreativpreis_2024_Startnummer_02_(LFS_LA).pdf
befroschauer
Präsentation am Smartfeld Open Day St. Gallen, Künstliche Intelligenz vom 4. Mai 2024
Welche KI-Kompetenzen brauchen Lehrpersonen?!
Welche KI-Kompetenzen brauchen Lehrpersonen?!
Pädagogische Hochschule St.Gallen
BWL Betriebswirtschaftslehre (B.Sc.) an der Universität Duisburg Essen
Betriebswirtschaftslehre (B.Sc.) an der Universität Duisburg Essen
Betriebswirtschaftslehre (B.Sc.) an der Universität Duisburg Essen
Team Studienorientierung (Universität Duisburg-Essen)
Wirtschaftsingenieurwesen an der Universität Duisburg-Essen
Wirtschaftsingenieurwesen an der Universität Duisburg-Essen
Wirtschaftsingenieurwesen an der Universität Duisburg-Essen
Team Studienorientierung (Universität Duisburg-Essen)
sgk
1029-Danh muc Sach Giao Khoa khoi 11.pdf
1029-Danh muc Sach Giao Khoa khoi 11.pdf
QucHHunhnh
Angewandte Philosophie an der Universität Duisburg-Essen
Angewandte Philosophie an der Universität Duisburg-Essen.
Angewandte Philosophie an der Universität Duisburg-Essen.
Team Studienorientierung (Universität Duisburg-Essen)
sgk
1029-Danh muc Sach Giao Khoa khoi 12.pdf
1029-Danh muc Sach Giao Khoa khoi 12.pdf
QucHHunhnh
Angewandte Kognitions- und Medienwissenschaft an der Universität Duisburg_Essen
Angewandte Kognitions- und Medienwissenschaft an der Universität Duisburg_Essen
Angewandte Kognitions- und Medienwissenschaft an der Universität Duisburg_Essen
Team Studienorientierung (Universität Duisburg-Essen)
Kürzlich hochgeladen
(8)
LAKO Kreativpreis_2024_Startnummer_02_(LFS_LA).pdf
LAKO Kreativpreis_2024_Startnummer_02_(LFS_LA).pdf
Welche KI-Kompetenzen brauchen Lehrpersonen?!
Welche KI-Kompetenzen brauchen Lehrpersonen?!
Betriebswirtschaftslehre (B.Sc.) an der Universität Duisburg Essen
Betriebswirtschaftslehre (B.Sc.) an der Universität Duisburg Essen
Wirtschaftsingenieurwesen an der Universität Duisburg-Essen
Wirtschaftsingenieurwesen an der Universität Duisburg-Essen
1029-Danh muc Sach Giao Khoa khoi 11.pdf
1029-Danh muc Sach Giao Khoa khoi 11.pdf
Angewandte Philosophie an der Universität Duisburg-Essen.
Angewandte Philosophie an der Universität Duisburg-Essen.
1029-Danh muc Sach Giao Khoa khoi 12.pdf
1029-Danh muc Sach Giao Khoa khoi 12.pdf
Angewandte Kognitions- und Medienwissenschaft an der Universität Duisburg_Essen
Angewandte Kognitions- und Medienwissenschaft an der Universität Duisburg_Essen
Jetzt herunterladen