Software Measurement compiled by Ulrike Reiner (ulhumm)

Software Measurement

(compiled by Ulrike Reiner)

There is an debate on Software Measurement (see also References):

==

Bleicke Eggers † (in memoriam) states 2003:

'Wie schwierig ganzheitliche Erfassungen von Programmstrukturen schon in ihrer explikativen, also prädefinitorischen Dimension sind, kann man an der lebhaften Diskussion über das Gebiet der Softwaremetrie verfolgen, das in seiner Substanz der philosophischen Teildisziplin der Messtheorie entstammt (Leinfellner 1980), und das zu einer andauernden Kontroverse unter Fachleuten geführt hat: SIGPLAN nennt es "the Battle of Berlin" (s. dazu (Zuse 1991, Konrad 1992)). Da es unter anderem dabei auch um ein Komplexitätsmaß für Flussdiagramme, allgemein also um eine ganzheitliche Erfassung von endlichen Graphen geht, sei an dieser Stelle an das Isomorphie- und Codierungsproblem für Graphen erinnert (Read & Corneil 1977), das nach meiner Meinung das hervorragendste, weil methodisch bestreduzierte Beispiel für komplexe Objekte der Informatik im Sinne oben gegebener Kennzeichnung darstellt: Welche der folgenden vier Graphen sind strukturell identisch, also isomorph? Kann man das "sehen" oder muss man rechnen?
...
Konrad, Erhard 1992: Review of Zuse, Horst: Software Complexity - Measures and Methods. Zentralblatt für Mathematik / Mathematics Abstracts, 731/68003
Leinfellner, Werner 1980: Einführung in die Erkenntnis- und Wissenschaftstheorie. Mannheim: Bibliographisches Institut
Read, R.C., D.G. Corneil 1977: The graph isomorphism disease. J. Graph Theory 1, 339 - 363
Zuse, Horst 1991: Software Complexity - Measures and Methods. Berlin: de Gruyter'

Eggers †, Bleicke 2003: Informatik im interdisziplinären Kontext. Gedanken zum Selbstverständnis. In: Informatik zwischen Konstruktion und Verwertung. Materialien der 3. Arbeitstagung "Theorie der Informatik", Bad Hersfeld 3. bis 5.4.2003 (hrsg. von Frieder Nake, Arno Rolf & Dirk Siefkes). Bericht Nr. 1/04, Universität Bremen, Fachbereich Mathematik & Informatik, Bremen 2003, S. 31-36. Online unter [ http://www.agis.informatik.uni-bremen.de/ARCHIV/Publikationen/hersfeldbericht03.pdf ] (accessed: December 11, 2011)

==

Erhard Konrad states 2007 in [ http://user.cs.tu-berlin.de/~erhard/contributions.html ]:

"In a second book (Zuse, Horst: A Framework of Software Measurement, Berlin 1998), Zuse tries to remove the gap. He offers a proof for the assertion that his axiom system of a "Modified Extensive Structure" is equivalent to a standard axiom system of an extensive measurement structure (cf. Krantz et al. [1971], Roberts [1979]). Yet the proof is incorrect. Hence Zuse's work is unfounded, and it is doubtful whether it can be justified." (last update: August 21, 2007; accessed: November 29, 2011)

Question by Ulrike Reiner to Erhard Konrad (11-11-29): Where can I find the justification of the above statement "Yet the proof is incorrect"?

Answers / additions / updates by Erhard Konrad 2012:

"... On page 675, Zuse claims that line 4 implies line 6. This step, however, is obviously a logical blunder. So he fails to show that the axiom system of the extensive structure implies the strong Archimedean axiom of the "modified extensive structure" ... (last update: January 23, 2012; accessed: January 23, 2012)

"... This step, however, is obviously a logical blunder (•≥ is equated with •>; definition of •>: a•>b if and only if a•≥b and not(b•≥a)). So he fails ..." (last update: January 25, 2012; accessed: January 25, 2012 )

Leinfellner 1980:

'Meßapparate, oder allgemeiner Meßsysteme MS haben gegenüber den Sinnesorganen vor allem zwei Vorteile: 1. erweitern sie den Bereiche dessen, was der Mensch mit den Sinnesorganen wahrnehmen kann direkt oder indirekt, d.h. man kann mit ihnen einerseits die Reizschwellen der Sinnesorgane überschreiten, andererseits in Bereichen operieren, für die der Mensch überhaupt keine Sinnesorgane besitzt. Man hat die Meßapparate deshalb auch "verlängerte Sinnesorgane" genannt. 2. gestatten sie es, wie erwähnt, Sinnestäuschungen, Lüge und Verstellung etc. bei der Deskription der Natur zu eliminieren.' (S. 112-113)
'Wir haben gesehen, daß man die Basissprachen wissenschaftlicher Theorien in Meßsprachen, L_o', und Sprachen der sinnlichen Wahrnehmung, L_o, einteilen kann, und daß es prinzipiell keine ontologische Frage ist, ob man messen kann oder nicht.' (S. 118)
'Nach Suppes und Zinnes behandelt eine Theorie des Messens (besser: Metatheorie, meist mit "Meßtheorie" bezeichnet) vor allem zwei wichtige Themen. Das erste ist die numerische Repräsentation, d. h. die Zuordnung von numerischen Relationen zu empirischen im Rahmen einer Zustandsbeschreibung, bzw. eines empirischen Strukturdatums. Das zweite Thema ist die Frage nach der Adäquatheit der Repräsentation, Zuordnung für bestimmte empirische Gebiete M_o < D.' (S. 130)

References (in alphabetical order; extra in memoriam Bleicke Eggers †):

- Baumann, Kathrin: Unterstützung der objektorientierten Systemanalyse durch Softwaremasse : Entwicklung eines messbasierten Modellierungsratgebers. Beiträge zur Wirtschaftsinformatik 23. Dissertation. Physica-Verlag Heidelberg, Juli 1997.
- Deininger, Marcus: Quantitative Erfassung der Software und ihres Entstehungsprozesses. Dissertation. Kovac, Hamburg, 1995.
- Dumke, Reiner R.: Softwaremetrie
- Ebert, Christof; Dumke, Reiner: Software measurement: establish - extract - evaluate - execute. Springer, Berlin, 2007. [DDC 005.14]
- Eggers †, Bleicke: Zur Theorie und Praxis selbstkorrigierender regulärer Sprachen. Band 1 von Informatik-Forschungsgruppe Programmiersprachen und Compiler 1: Arbeitsbericht PC I. Technische Universität Berlin, Fachbereich Kybernetik, Informatik-Forschungsgruppe Programmiersprachen und Compiler 1, 1972.
- Eggers †, Bleicke; Hausen, Hans-Ludwig: Überlegungen zu Inhalts-, Didaktik- und Methodikfragen einer in die Methoden der strukturierten algorithmischen Problemlösung einführenden Lehrveranstaltung für Informatik-Studenten an der TU Berlin. Univ.-Bibliothek der Techni. Univ., Abt. Publ., 1976
- Eggers †, Bleicke: Orderings on graphs and computations of CLIQUE. Forschungsberichte des Fachbereichs Informatik, Technische Universität Berlin, Fachbereich Informatik. Leiter der Fachbibliothek Informatik, Sekr., FR 5-4, 1991
- Fenton, Norman: Software Measurement: A Necessary Scientific Basis. IEEEE Transactions on Software Engineering, Vol. 20. No. 3, March 1994, pp. 199-206. Available at [ http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=268921 ]
- Fetcke, Thomas: "The Software Metrics Sites are a guide to Internet resources on software measurement, process improvement and related areas ... list research institutes and people who are active in the area of software measurement"
- Gemeinsamer Verbundkatalog (GVK) delivers for the phrase software measurement [ http://gso.gbv.de/DB=2.2/SET=3/TTL=1/CMD?ACT=SRCHA&IKT=1016&SRT=YOP&TRM=%22software+measurement%22 ] 219 objects (December 12, 2011); 239 objects (February 22, 2012)
- Gesellschaft für Informatik e.V. - Fachgruppe "Metriken" (2.1.10) Software-Messung und -Bewertung
- Google Scholar delivers for the phrase software measurement [ http://scholar.google.de/scholar?q=%22software+measurement%22&hl=de&as_sdt=0&as_vis=1&oi=scholart ] about 11.300 objects (December 12, 2011); about 11.600 objects (February 22, 2012)
- Kaner, Cem; Bond, Walter P.: Software Engineering Metrics: What Do They Measure and How Do We Know? 10th International Software Metrics Symposium, Metrics 2004, pp. 1-12. Available at [ http://www.kaner.com/pdfs/metrics2004.pdf
- Kitchenham, Barbara; Pfleeger, Shari Lawrence; Fenton, Norman: Towards a Framework for Software Measurement Validation. IEEE Transactions on Software Engineering, Vol. 21, No. 12, December 1995, pp. 929-944. Available at [ http://http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=489070 ]
- Krantz, David H.; Luce, R. Duncan; Suppes, Patrick; Tversky, Amos: Foundations of Measurement. Volume I: Additive and Polynomial Represntations. Dover Publications, Inc., Mineola, New York, 1971
-Lehner, Franz (Hrsg.): Software metrics : research and practice in software measurement. Reihe: Gabler Edition Wissenschaft: Information Engineering und IV-Controlling, Kongress "Software metrics; Regensburg, 1996", Wiesbaden : Dt. Univ.-Verl. [u.a.], 1997.
-Leinfellner, Werner: Einführung in die Erkenntnis- und Wissenschaftstheorie. B.I. Hochschultaschenbücher. Band 41. Bibiliographisches Institut AG, Mannheim, 1980
- McCabe, T. J.: A Complexity Measure. IEEE Transactions on Software Engineering. Vol. SE-2, Issue 4, pp. 208-320
- Pressman, Roger S.: Software Process Metrics
- Read, Ronald C.; Corneil, Derek G. 1977: The graph isomorphism disease. Journal of Graph Theory, Vol. 1, 1977, pp. 339-363. Online available at [ http://onlinelibrary.wiley.com/doi/10.1002/jgt.3190010410/pdf ]
-Roberts, Fred S.: Measurement Theory with Applications to Decisionmaking, Utility, and the Social Sciences. Encyclopedia of Mathematics and its Applications (Gian-Carlo Rota, editor). Volume 7. Cambridge University Press, Cambridge, New York et al, 1985
- WorldCat delivers for the phrase software measurement about 1395 objects [ http://www.worldcat.org/search?q=%22software+measurement%22&fq=&dblist=638&qt=sort&se=yr&sd=desc&qt=sort_yr_desc ] (December 12, 2011)
- Zuse, Horst: A framework of software measurement. de Gruyter, Berlin, 1998 [BK: 54.52]

==

tags: cognition, complexity, complexity measure, control graph, decision structure, graph-theoretic, meßtheorie, measure, measurement theory, measurement, methodology, metrics, program, program complexity, program structure, representational theory of measurement, software engineering metrics, software measurement, software metrics, softwarekomplexität, softwaremetrie

==