ISBN-13: 9783941482791 / Niemiecki / Twarda / 2010 / 140 str.
ISBN-13: 9783941482791 / Niemiecki / Twarda / 2010 / 140 str.
Die Korrektheit eines Programms kann nur sehr selten absolut gewhrleistet werden. Man muss sich also auf Tests beschrnken, die auch so angelegt sind, dass mit groer Wahrscheinlichkeit die Korrektheit des Programms garantiert werden kann. Darber hinaus kann nur in Spezialfllen genau gesagt werden, welche Werte die Korrekten sind. So kommt man also einerseits nicht umhin Tests durchzufhren und andererseits ein Bewertungsverfahren zu entwickeln, welches uns die Resultate als korrekt, weniger korrekt oder inkorrekt bewertet.Der Autor beschftigt sich in diesem Buch mit der Bewertung von Programmen, die die Energieeffizienz von Gebuden analysieren sollen. Hierfr hat er ein Testszenario entwickelt, welches mit den zuvor genannten Unschrfen umgehen kann. Hintergrund sind dabei die rechtlichen Vorgaben hinsichtlich des Energieverhaltens von Gebuden.