Lykkesmeden > Verificering

	Indeks	Hjælp

Shopping	USA, UK, Canada, Deutschland, France
Dictionary	A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z

Den udstrakte symmetri i tekstens underliggende teori giver mulighed for at måle om symmetrien brydes i den faktiske implementering. Et sådant check kan gennemføres ved alle de transformationer som data gennemgår, fra frekvenstabeller til de færdige tekstfiler, idet symmetrien skal være bibeholdt hele tiden. Herved øges garantien for at teorien er korrekt implementeret, selvom man ikke opnår fuld sikkerhed, da checket selv kunne indeholde fejl. Verificeringsprocessen skal være uafhængig af alle andre processer, og bekræfte følgende lovmæssigheder:

Frekvenstabellerne viser relationen a og b, og her gælder det klassiske teorem: a og b er lig med b og a
Resultaterne for Chi 2 (Chi-i-anden)-testen bekræfter de teoremer som er fremlagt i afsnittet om systemets matematiske grundlag.
Alle teoremer skal gælde i de færdige hypertekstdokumenter.

Disse checks er gennemført stikprøvevis, a posteriori på de relevante databaser og/eller tekstfiler, især ved anvendelse af Unix-programmerne sdiff og awk, hvilket har givet mulighed for at opfange og rette en fejl i tidlige udgaver. Selvom der ikke længere er kendte fejl, kan der desværre ikke gives nogen garanti for at systemet nu er fejlfrit.