Microsoft .NET 4.0 Update

Code Contracts

Eine Faustregel im Bereich der Softwareentwicklung lautet »Je später ein Fehler entdeckt wird, desto aufwändiger gestaltet sich dessen Behebung«. Ein Programmierfehler, der erst nach der Auflieferung an den Kunden gefunden wird, geht natürlich mit einem höheren Aufwand einher, als ein Fehler, der vor dem Ausliefern im Zuge von Tests oder gar während der Implementierung aufgedeckt wird. Abgesehen davon ist der zuerst genannte Fall für die Reputation eines Entwicklungsunternehmens nicht gerade dienlich. Somit ist es wünschenswert, Programmierfehler bereits während der Entwicklung zu entdecken oder noch besser, entdecken zu lassen. Syntaxfehler stellen hierbei keine Herausforderung dar, da sie vom Compiler entdeckt werden. Anders gestaltet ...