Operativsystem: .............................................................

}
if(i%11==0)metode11();
if(i%12==0)metode12();
Console.Read();
}
[Conditional("DEBUG")]
private static void debug_init(){
//i stedet for Console.Out kan saettes en file stream!:
TextWriterTraceListener listener=new TextWriterTraceListener(Console.Out);
Debug.Listeners.Add(listener);
}
Her har vi flyttet initialiseringen/opstarten af Debug klassen til en metode og sat en [Conditional]
attribut foran metoden. Dette bevirker, at kun hvis der er defineret en DEBUG vil metoden blive
udført – programmet skal altså kompileres med csc /d:DEBUG (og ikke /d:debug!!) program.cs
eller koden skal indledes med en #def DEBUG.
Løbende kontrol: Debug.Assert():
Et program eller en metode (en algoritme) kan verificeres ved at man på passende steder indlægger
et checkpoint hvor man kontrollerer at en bestemt variabel har den korrekte værdi. Dette har en helt
afgørende betydning i forbindelse med at bevise at algoritmer er korrekte. Til dette formål kan
bruges en Debug.Assert(), som tager to parametre: Et boolsk testudtryk som – helst - skal være
sandt og en besked som systemet viser i en messagebox, hvis testbetingelsen viser sig at være falsk!
Nedenstående eksempel bruger igen en simpel sorteringsmekanisme. Vi starter med 4 ord og
sorterer forfra. Når vi har fundet det ’mindste’ ord, flytter vi det over i en sorteret liste. Hver gang vi
flytter et ord over i den sorterede liste, skal summen af elementerne i den sorterede liste og i restlisten
(de usorterede ord) være konstant – nemlig 4 hele tiden. Hvis det ikke er tilfældet, er
algoritmen garanteret forkert.
// Debug.Assert() eksempel:
using System;
using System.Diagnostics;
using System.Collections;
class Assert {
public static void Main(){
string[] ord={"sommer","vinter","forår","efterår"};
ArrayList sorteret=new ArrayList();
for(int i=0;i