Software-Bewertung

Die vorliegende Arbeit stellt einen Ansatz zur quantitativen

Erfassung semantischer Informationsinhalte vor. Da Programme

Transformationen von Information beschreiben, werden gr|~ere

Kenntnisse der Charakteristika von Information auch zu einem

besseren Verst{ndnis der Software-Produktion f}hren.

Eine Analyse traditioneller Software-Ma~e zeigt deren

grunds{tzliche Schw{chen auf. Ein m|glicher Ausweg k|nnte

darin bestehen, vermehrt Erkenntnisse aus semantischen

Theorien der Programmiersprachen mit in die Betrachtungen

einzuschlie~en.

Der hier vorgestellte Ansatz baut auf der denotationellen

Semantik f}r Programmiersprachen auf. ]berlegungen zum

Begriff der Information motivierendie Definition von

speziellen semantischen Bereichen, den

Informationsbereichen. Die Grundidee ist, da~ die Werte in

Informationsbereichen auf Niveaus liegen. Die Niveauh|he

stellt intuitiv ein Ma~ f}r den Informationsinhalt eines

Wertes dar. Dies liefert erste Grundlagen f}r die Definition

neuer Informationsma~e.

Dank Informationsbereichen ist es m|glich, eine neue

abstrakte Interpretation vonProgrammen,

Informationsinformation genannt, zu formulieren. Erste

Beobachtungen legen die Frage nahe, ob die Menge an

Eingabeinformation und die Menge an Information, die im

Programmtext in Form von gebundenen Variablen und Konstanten

enthalten ist, die Menge derjeweils maximal m|glichen

semantischen Ausgabeinformation einer Programmausf}hrung

beschr{nkt.