Like the TDD principle “Write the tests first” we should write our spec first and use the “Red-Green-Refactor” method.

"Red" – Create a spec scenario that fails

At first I created a F# class library project called “Spec.CarSelling” and added project references to NaturalSpec.dll and nunit.framework.dll (see “Getting started” for further explanations).

Now I can write my first scenario:

// 1. define the module
module CarSpec

// 2. open the NaturalSpec namespace
open NaturalSpec

// 3. open project namespace
open CarSellingLib

// 4. define a test context
let Bert = new Dealer("Bert")

// 5. create a method in BDD-style
let selling_a_car_for amount (dealer:Dealer) =
  printMethod amount
  dealer.SellCar amount

// 6. create a scenario
[<Scenario>]
let When_selling_a_car_for_30000_it_should_equal_my_DreamCar() =
  As Bert
    |> When selling_a_car_for 30000
    |> It should equal (new Car(CarType.BMW, 200))
    |> Verify

At this stage the scenario is ready but doesn’t compile. This means we are ready with the "Red"-stage.

"Green" – Make the test the pass

In order to get the test green we have to create a C# class library called CarSellingLib and define the enum CarType and the classes Dealer and Car. Sticking to the YAGNI-principle we implement only the minimum to get the spec green (and ToString()-members for the output functionality).

namespace CarSellingLib
{
    public enum CarType
    {
        BMW
    }
}

namespace CarSellingLib
{
    public class Car
    {
        public Car(CarType type, int horsePower)
        {
            Type = type;
            HorsePower = horsePower;
        }

        public CarType Type { get; set; }
        public int HorsePower { get; set; }

        public override string ToString()
        {
            return string.Format("{0} ({1} HP)", Type, HorsePower);
        }

        public override bool Equals(object obj)
        {
            var y = obj as Car;
            if(y == null) return false;
            return Type == y.Type && HorsePower == y.HorsePower;
        }
    }
}

using System;

namespace CarSellingLib
{
    public class Dealer
    {
        public Dealer(string name)
        {
            Name = name;
        }

        public string Name { get; set; }

        public Car SellCar(int amount)
        {
            return new Car(CarType.BMW, 200);
        }

        public override string ToString()
        {
            return Name;
        }
    }
}

When we add a project reference to our spec-project the UnitTests should pass and we have completed the "Green" step. (See "Getting started" if you don’t know how to run the spec.) Now we can add some more scenarios to our spec:

// 1. define the module 
module CarSpec

// 2. open NaturalSpec-Namespace
open NaturalSpec

// 3. open project namespace
open CarSellingLib

// 4. define a test context
let Bert = new Dealer("Bert")

// define reusable values
let DreamCar = new Car(CarType.BMW, 200)
let LameCar = new Car(CarType.Fiat, 45)

// 5. create a method in BDD-style
let selling_a_car_for amount (dealer:Dealer) =
  printMethod amount
  dealer.SellCar amount

// 6. create a scenario
[<Scenario>]
let When_selling_a_car_for_30000_it_should_equal_the_DreamCar() =
  As Bert
    |> When selling_a_car_for 30000
    |> It should equal DreamCar
    |> It shouldn't equal LameCar
    |> Verify      

[<Scenario>]
let When_selling_a_car_for_19000_it_should_equal_the_LameCar() =
  As Bert
    |> When selling_a_car_for 19000
    |> It should equal LameCar
    |> It shouldn't equal DreamCar
    |> Verify

// create a scenario that expects an error
[<Scenario>]
[<Fails_with "Need more money">]
let When_selling_a_car_for_1000_it_should_fail_with_Need_More_Money() =
  As Bert
    |> When selling_a_car_for 1000
    |> Verify

Now we are in the “Red”-Phase again.

"Refactor" – rearrange your code to eliminate duplication and follow patterns

After making the spec "Green" and doing some refactoring the project code could look like this:

namespace CarSellingLib
{
    public enum CarType
    {
        Fiat,
        BMW
    }
}

namespace CarSellingLib
{
    public class Car
    {
        public Car(CarType type, int horsePower)
        {
            Type = type;
            HorsePower = horsePower;
        }

        public CarType Type { get; set; }
        public int HorsePower { get; set; }

        # region ToString, Equals 

        public override string ToString()
        {
            return string.Format("{0} ({1} HP)", Type, HorsePower);
        }

        public override bool Equals(object obj)
        {
            var y = obj as Car;
            if(y == null) return false;
            return Type == y.Type && HorsePower == y.HorsePower;
        }

        #endregion
    }
}

using System;

namespace CarSellingLib
{
    public class Dealer
    {
        public Dealer(string name)
        {
            Name = name;
        }

        public string Name { get; set; }

        public Car SellCar(int amount)
        {
            if (amount > 20000)
                return new Car(CarType.BMW, 200);

            if (amount > 3000)
                return new Car(CarType.Fiat, 45);

            throw new Exception("Need more money");
        }

        public override string ToString()
        {
            return Name;
        }
    }
}

The spec output should look like the following:

Scenario: When selling a car for 1000 it should fail with Need More Money

- Should fail…
– As Bert
– When selling a car for 1000

Scenario: When selling a car for 19000 it should equal the LameCar

- As Bert
– When selling a car for 19000
=> It should equal Fiat (45 HP)
=> It should not equal BMW (200 HP)
==> OK

Scenario: When selling a car for 30000 it should equal my DreamCar

- As Bert
– When selling a car for 30000
=> It should equal BMW (200 HP)
==> OK

Scenario: When selling a car for 30000 it should equal the DreamCar

- As Bert
– When selling a car for 30000
=> It should equal BMW (200 HP)
=> It should not equal Fiat (45 HP)
>==> OK

4 passed, 0 failed, 0 skipped, took 1,81 seconds (NUnit 2.5).

Summary

I showed how we can use NaturalSpec for the Red-Green-Refactor process of C# projects and how easy it is to get a spec in natural language.

©2010 Rash thoughts about .NET, C#, F# and Dynamics NAV.. All Rights Reserved.

©2010 Rash thoughts about .NET, C#, F# and Dynamics NAV.. All Rights Reserved.

Download & Installation

ReSharper 3.0.2 gibt es bei JetBrains als 30-Tage Testversion zum Download. Die Installation gestaltet sich wirklich einfach – empfehlenswert ist jedoch Visual Studio vorher zu schließen. Nach vollendeter Installation und erneutem Starten von Visual Studio wird die Shortcutbelegung für ReSharper abgefragt. Es besteht die Wahl zwischen “Visual Studio” und “IntelliJ IDEA”. Beim “Visual Studio”-Schema werden die bekannten Standard-Refactoring-Features von Visual Studio einfach mit den analogen ReSharper-Features überschrieben, während die zweite Einstellung für Entwickler gedacht ist, die bereits mit IntelliJ IDEA oder ReSharper 2.5 gearbeitet haben.

Seit der Version 3.0 kann man die Keyboard-Belegung nun auch jederzeit über ReSharper/Options/Environment/General editieren. Im weiteren werde ich jedoch nur auf die “Visual Studio”-Belegung eingehen.

IntelliSense-Erweiterungen

Visual Studio 2005 bringt standardmäßig eine Reihe von “IntelliSense”-Features mit, die das Entwicklerleben einfacher gemacht haben. ReSharper erweitert diese Features noch um einige weitere Möglichkeiten. So ist es zum Beispiel möglich alle im Projekt verwendeten Typen im IntelliSense auszuwählen und nicht nur die Importierten. Das möglicherweise erforderliche Using-Statement wird von ReSharper automatisch ergänzt.

Code-Assistent

Immer wenn die Glühbirne am linken Bildschirmrand erscheint, hat der Code-Assistent eine Möglichkeit zum Refactoring gefunden. Durch Druck auf ALT+ENTER werden die gefundenen Möglichkeiten aufgelistet. Hier einige Beispiele:

• Member-Variablen, die nicht beschrieben werden, können “readonly” gesetzt werden:

• Stringverkettungen können in String.Fomat() umgewandelt werden:

• Falls festgestellt wird, dass eine benutzte Variable NULL sein könnte, wird ein “If(variable != null)” angeboten:

• Wenn erkannt wird, dass der benutzte Namespace in einer Datei nicht der Struktur innerhalb der Projektmappe entspricht, kann der Namespace verlagert werden:

Code-Navigation

ReSharper bildet intern den gesamten abstrakten Syntaxbau des Projektes ab und kann so genau erkennen, wann Refactoring eingesetzt werden kann. Das AddIn ist so u.a. in der Lage alle Aufrufe einer Funktion (ALT+F7) innerhalb der gesamten Projektmappe zu finden. Neben der Anzeige dieser Stellen ist auch eine einfache Navigation innerhalb der Aufrufhierarchie möglich.

Besonders nett ist dieses Feature, wenn man innerhalb von Klassenhierarchien an abgeleitete Stellen navigieren möchte.

Toter Code

Da alle Funktions-Aufrufe der Projektmappe analysiert werden, ist ReSharper auch in der Lage “toten Code” zu erkennen, also Code der nirgends aufgerufen wird. Dieser Code wird grau markiert und kann getreu dem YAGNI-Prinzip (You Ain’t Gonna Need It) per ALT+ENTER gelöscht werden.

Das Feature funktioniert so gut, dass ich mittlerweile bei grauem Code automatisch ALT+ENTER drücke und den Code lösche. Falls der sehr seltene Fall eintritt, dass man die Funktion irgendwann doch nochmal braucht, dann schreibt man sie eben neu – oder schaut in seine Versionsverwaltung.

Codeformatierung

Nachdem man ReSharper installiert hat, zeigt sich Visual Studio in einem etwas anderen Gesicht. Das Erste das auffällt, ist das verfeinerte Syntax-Highlighting. Aber auch beim Tippen von Code darf man sich an einige neue Features gewöhnen – u.a. werden geöffnete Klammern immer gleich wieder geschlossen und der Cursor zwischen die Klammern geschoben. Das größte Feature in diesem Bereich ist jedoch die automatische Codeformatierung mit STRG+ALT+F. Je nach eingestellter Stufe werden hier toter Code entfernt, die Klassen-Member alphabetisch geordnet, Usings optimiert und die Blockeinrückung nach voreingestellter Konvention korrigiert.

Leider hat das Feature in der getesteten Version 3.0.2 noch ein paar kleine Macken, so dass ReSharper beim Neuformatieren einiger längerer Dateien einen “Out of Memory Error” meldet. Laut JetBrains Bugdatenbank wurde das Problem bereits gelöst – der Patch ist aber noch nicht downloadbar.

Die Farbanzeige

Neben dem Quellcodefenster zeigt ReSharper eine Farbanzeige mit einem Überblick über den Status des aktuellen Dokuments an. Die Balken stellen dabei Links zu den entsprechenden Stellen im Dokument dar und die Position innerhalb des Dokuments wird auf die Größe der Scrollleiste skaliert.

Leider gibt es keine solche Anzeige für alle Dateien innerhalb eines Projektes, so dass man alle Dateien manuell öffnen und ansehen muss.

UnitTesting

ReSharper bietet wie viele andere Tools eine erweiterte Unterstützung für UnitTests. Dabei werden aktuell NUnit, csUnit und über ein zusätzliches Plugin auch mbUnit angeboten. Leider gibt es scheinbar keine Möglichkeit das UnitTest-Framework von Visual Studio Team System zu benutzen, so dass ich hier nicht weiter getestet habe.

Refactoring

Das Herz von ReSharper ist natürlich das Refactoring. Es werden hier so viele Funktionen angeboten, so dass ich hier nur auf die Wichtigsten eingehen möchte. Eine komplette Übersicht aller Refactoring-Features gibt es auf der ReSharper-Homepage.

Als wichtigsten ReSharper-Shortcut sollte man sich STRG+SHIFT+R für “Refactor This” merken. Diese Funktionalität bietet abhängig vom Kontext eine Auswahl der gerade möglichen Refactoring-Möglichkeiten.

Neben den bereits aus Visual Studio bekannten Features wie “Feld einkapseln” und “Umbenennen” gibt es zum Beispiel Möglichkeiten um Eigenschaften in Methoden zu konvertieren und umgekehrt, Methoden entlang von Vererbungshierarchien zu verschieben und Interfaces in Abstrakte Klassen zu konvertieren. Ein besonders nettes Feature ist, dass man ganze Quelltextblöcke als eigenständige Methoden auslagern kann. ReSharper erkennt dabei sogar automatisch welche Parameter der Methode übergeben werden müssen:

Fazit

ReSharper ist ein ausgezeichnetes Tool um die Produktivität in Visual Studio zu steigern. Es werden viele Refactoring-Features angeboten und durch die Farbanzeige am Bildschirmrand hat man immer einen Überblick über den aktuellen Stats der Datei (leider nicht über das gesamte Projekt). Ein kleiner Wermutstropfen ist die fehlende UnitTest-Unterstützung für Visual Studio Team System und der mit 249 $ (C#-Edition für Firmen) doch meiner Meinung nach recht saftige Preis.

©2010 Rash thoughts about .NET, C#, F# and Dynamics NAV.. All Rights Reserved.

Bei meinem Vortrag über die Programmierung in Dynamics Nav hat mir mein Navision bei der Demo leider einen Streich gespielt und ist vollkommen unmotiviert abgeraucht. Da probiert man das Ganze zu Hause unzählige Male aus und genau in der Präsentation passiert der Unfall.

Aber heute habe ich erfahren, dass ich mich da noch glücklich schätzen kann. Torsten Weber ist heute in seiner Session über “Mobile Anwendungen mit dem .NET Compact Framework 2.0” das gesamte Vista abgestürzt. Das ist natürlich äußerst ärgerlich. Dafür hatte Torsten jedoch die mit Abstand schönsten Folien auf der BASTA.

[Noch schlimmer ist es jedoch, wenn man, wie es Dirk Primbs leider passiert ist, seine eigene KeyNote verpasst. Dafür ist jedoch Dariusz Parys eingesprungen.]

Abendprogramm

Das Abendprogramm gestern bestand in einer Session, in der jeder BASTA-Teilnehmer die Möglichkeit hatte 5 Minuten auf der Bühne über ein Thema seiner Wahl referieren. Dabei konnten die Zuhörer den Redner auch abwählen und selbst das Mikrofon übernehmen.  Als Anreiz konnte man neben einem BASTA-Schlüßelbändchen (Trostpreis) auch attraktive Sachpreise gewinnen. Das Highlight war jedoch als ein Oracle-Mitarbeiter (O-Ton “Orahkäl”) 5 min. lang versuchte Leute zu finden, die im nächsten Jahr auch mal einen Oracle-Vortrag auf der BASTA hören wollen. Als Preis loste er sich dann ein SQL-Server Buch. Nicht zu fassen.

Aber es kam noch besser: Im Anschluss an den Oracle-Vertreter wurde Masoud Kamali auf die Bühne gebeten, seines Zeichens Gründer und Geschäftsführer des Software & Support Verlages. Er sollte in 5min. die Gründunggeschichte und die weitere Zukunft (O-Ton: “Wir schlagen Google!”) des Verlages zu erklären. Der Software & Support Verlag ist ja auch Veranstalter der BASTA und der Hauptpreis des Abends (Kostenlose Teilnahme an der BASTA 2008) wurde nun genau von deren Chef gezogen – welch eine Ironie in 10 Minuten.

Das Ticket wird nun übrigens bei Ebay versteigert und der Erlös geht an Ärzte ohne Grenzen.

Am zweiten Abend wurde dann übrigens Poker gespielt – leider ohne persönliche Einsätze, so dass eigentlich mit jeder Hand gespielt (und verloren) wurde.

Speaker-Shirts

Die Speaker laufen auf der BASTA alle mit so tollen schwarzen Polo-Shirts rum. Wie ich jedoch erfahren habe, sollte ich meins immer schön anlassen. Das Shirt von Michael Willers  ist offenbar so begehrt, dass es gestern geklaut wurde.

Interessant ist in dem Zusammenhang auch der Blog-Eintrag von Benjamin Gopp

Auf der Rückfahrt gab es dann noch folgendes Highlight:

©2010 Rash thoughts about .NET, C#, F# and Dynamics NAV.. All Rights Reserved.

Da die Keynote am Montag (21.5.2007) bereits um 10 gehalten werden sollte, hatten wir uns entschlossen einen Tag früher anzureisen und in der Jugendherberge Duisburg Meiderich zu übernachten. Wie sich heraus stellte war die Jugendherberge nur 300 Meter vom Tagungsgelände entfernt, so dass wir uns nach dem langen Playstation-Turnier ohne Probleme bei der STC anmelden konnten.

Im folgenden werde ich kurz die für mich interessantesten Themen der STC vorstellen:

Microsoft Popfly

In der Keynote wurde Microsoft Popfly (als frühe Alpha-Version) präsentiert. Das Projekt ist ähnlich zu Jahoo-Pipes und bietet dem Anwender eine graphische Möglichkeit Webservices mit einander zu verbinden und Mashups zu bauen. Es wurde gezeigt wie man in wenigen Sekunden den Flickr-Dienst abrufen und mit MapPoint verbinden kann. Als Ergebnis sah man eine Weltkarte die an den entsprechenden Orten Flickr-Bilder angezeigt hat – ohne eine einzige Zeile Code und mit wirklich beeindruckender Grafik. Leider ist die Alpha wohl noch sehr fehlerhaft, so dass viele Samples in der Keynote nicht funktionierten, aber man konnte schon erahnen wie die SocialNetworks der Zukunft aussehen werden.

SQL-Server und Business Analytics

Ruprecht Dröge stellte in zwei sehr unterhaltsamen Vorträgen Möglichkeiten zur SQL-Server-Optimierung sowie die Integration, Analysis und Reporting Services vor. Es war schon interessant zu sehen, wie Business Analytics im Jahre 2007 aussieht und mit welchen graphischen Hilfsmitteln man heute schon programmieren kann.

Mehr Information dazu:

• www.sqlserverfaq.de
• SQL Server Reihe auf MSDN-Solve

Rootkits

Michael Willers Rootkits-Vortrag auf der ICE 2006 in Lingen hat mich stark beeindruckt, so dass ich hören wollte wie sich die Szene im letzten halben Jahr entwickelt hat. Auch diesmal gab es ein gleichzeitig beeindruckend und erschreckendes Live-Hacking. Mit wenigen Zeilen Code wurde demonstriert wie man in den Kernel-Mode eines Betriebssystems kommt. Danach kann man alles tun. Live wurde z.B. gezeigt, dass es möglich ist Prozesse zu verstecken, Passwörter bei Windows-Login zu fischen, das EventLog zu fälschen und vieles mehr.

Mehr Informationen dazu:

• http://www.rootkits.org/

Vorgehensmodelle

Das Highlight auf der STC war für mich ein Vortrag von Christian Bertmann (Accenture) über verschiedene Vorgehensmodelle bzw. Methodiken in der Softwareentwicklung. Es wurde dabei sehr stark auf strukturelle Probleme klassischer Entwicklung und klassischem Projektmanagement hingewiesen und einige neuartige Lösungsansätze präsentiert. Insgesamt muss ich sagen, dass mir dieser Vortrag sehr stark die Augen geöffnet hat und ich mich nun seit letzter Woche intensiv mit Extreme Programming und agilen Methoden beschäftige.

XNA

In einem der vielen “Game Development”-Vorträgen zeigt Dirk Primbs einen kurzen Einblick in XNA („XNA’s Not Acronymed“ ), dem neuen Programmierframework für die XBOX. Wen man XNA mit klassicher DirectX-Programmierung vergleicht kann man sehen, dass man mit deutlich weniger Code auskommen kann.

Weitere Informationen:

• XNA Creators Club Online
• Microsoft XNA official homepage
• Übersichtsartikel zu XNA: “Managed Code für die XBox” auf entwickler.de

Abendunterhaltung

Gegen Abend wechselte die Konferenz ihr Bild übergangslos zur Grillparty mit allerlei Abendprogramm. So war es möglich an einer Nachtführung durch den unglaublich bunt beleuchteten Landschaftspark oder an einer GPS-Rallye teilzunehmen.

Wer davon noch nicht komplett ausgepowert war, konnte sich am Kicker-Tisch, beim AntMe-Programmierwettbewerb oder beim XBOX-Contest austoben.
Zur Übernachtung ging es anschließend in die Sportschule Wedau.

Insgesamt war die STC mal wieder ein voller Erfolg und nächstes Jahr bin ich bestimmt wieder dort.

Nachtrag: In der Fotogalerie gibt es weitere Bilder.

Nachtrag 2: Auf der STC wurde die Mongol-Rallye vorgestellt. Einfach mal draufschauen…

©2010 Rash thoughts about .NET, C#, F# and Dynamics NAV.. All Rights Reserved.

Vor dem zweitägigen Workshop erhalten die Teilnehmer ein Softwarepaket bestehend aus drei Visual Studio Professional und ein Windows Server 2003 Standard inklusive 5 CALs. Ziel der Aktion ist es innerhalb von sechs Monaten eine Webpräsenz im Microsoft Partner-Portal zu veröffentlichen. Die Teilnahme am Workshop kostet 149,-€ und ist in folgenden Städten möglich:

• Frankfurt 30./31.05.2007
• Köln 04./05.06.2007
• Berlin 14./15.06.2007
• Böblingen 18./19.06.2007
• München 20./21.06.2007

©2010 Rash thoughts about .NET, C#, F# and Dynamics NAV.. All Rights Reserved.

Laut der Akismet-Homepage sind übrigens 95% aller Kommentareinträge Spam – auf meinem Blog wurden bisher 16.138 Kommentare als Spam identifiziert.

Nachtrag: Es gibt das Projekt auch auf CodePlex.

©2010 Rash thoughts about .NET, C#, F# and Dynamics NAV.. All Rights Reserved.

Das bekannte Dokumentations-Plugin für Visual Studio geht in die zweite Runde. Hier die neuen GhostDoc-Features im Überblick:

Weitere Informationen gibt es im GhostDoc-Blog.

©2010 Rash thoughts about .NET, C#, F# and Dynamics NAV.. All Rights Reserved.

Bereits im letzten Jahr war ich mit meinem Kollegen Jens Hesse auf der ICE in Lingen. Dieses Jahr findet die kostenfreie Community-Tagung am 15. September statt. Die Anmeldung zur \\ice:2007 ist ab dem 01.05.07 möglich und die Teilnehmerzahl ist auf 250 begrenzt.

Weitere Informationen:

• http://www.ice-lingen.de/
• Mein Bericht zur ICE2006

View this on the map.

Nachtrag: Jetzt ist auch ein Trailer zur ICE 2007 erschienen.

©2010 Rash thoughts about .NET, C#, F# and Dynamics NAV.. All Rights Reserved.

©2010 Rash thoughts about .NET, C#, F# and Dynamics NAV.. All Rights Reserved.