Mineral Observer 2014

•

0 gefällt mir•125 views

Jiaowei Tang

Weitere ähnliche Inhalte

Andere mochten auch

Diese Präsentation zeigt die Vorteile einer Kunde-hilft-Kunde-Lösung mit mobilen Komponenten. Der Bereich Customer Involvement Platform wird heute zu häufig noch durch klassische Foren gelöst, die für Unternehmen unkontrollierbare Risiken bergen und nicht für die mobile Nutzung optimiert sind. Die Whitelabel-Lösung von hiogi ändert dies und hilft wesentliche Kosten im Support einzusparen und FAQ-Bereiche zu verbessern.

Customer Involvement Platform mit mobilem Q&A-System

Björn Behrendt

Elementos de computación

Mobile Effects 2010

Doc2 trabajo 125

DERECHO A LA VIDA

Historiographie bei den Benediktinern in Raigern – Unterschiede in der histor...

MoravskaZemskaKnihovna

PRESENTACION CONGRESO NACIONAL DE DEMOCRACIA UNR 2014

Marcelo Montes

LA ÚLTIMA OPORTUNIDAD

yuridorta

Proyecto de slideshare

andresfelipesantoshurtado

Formas de caras y sus gafas. Violeta Ferrer.

Diana Manzanares Muñoz

Analisis y desarrollo de sistemas de informacion (1)

Sebastián Santana A

Train the Trainer Ausbildung

Alexander Schaaf

Wen erreicht der Internetwahlkampf?

Marko Bachl

Elementos de computación

Nati Palacios

Maltrato infantil

Camila becerra

Grundlagen suchmaschinenoptimierung

visual4 | medien.kommunikation.design

Frauenelferrat St. Joseph Hamborn

Hilfe-Team der Social Value GmbH

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?

Marc Philipp

25112010 ssc psychologie

Florian Semle

Frank O. Gehry

airrthum

Andere mochten auch (20)

Customer Involvement Platform mit mobilem Q&A-System

Elementos de computación

Mobile Effects 2010

Doc2 trabajo 125

DERECHO A LA VIDA

Historiographie bei den Benediktinern in Raigern – Unterschiede in der histor...

PRESENTACION CONGRESO NACIONAL DE DEMOCRACIA UNR 2014

LA ÚLTIMA OPORTUNIDAD

Proyecto de slideshare

Formas de caras y sus gafas. Violeta Ferrer.

Analisis y desarrollo de sistemas de informacion (1)

Train the Trainer Ausbildung

Wen erreicht der Internetwahlkampf?

Elementos de computación

Maltrato infantil

Grundlagen suchmaschinenoptimierung

Frauenelferrat St. Joseph Hamborn

Unit Tests als Spezifikation?

25112010 ssc psychologie

Frank O. Gehry

Mineral Observer 2014

Empfohlen

Empfohlen

Weitere ähnliche Inhalte

Andere mochten auch

Andere mochten auch (20)