{"id":11694,"date":"2010-02-14T10:23:40","date_gmt":"2010-02-14T09:23:40","guid":{"rendered":"http:\/\/www.hier-luebeck.de\/?p=11694"},"modified":"2010-02-13T10:24:22","modified_gmt":"2010-02-13T09:24:22","slug":"satire-hauptsatz-der-programmierung","status":"publish","type":"post","link":"https:\/\/hier-luebeck.de\/index.php\/satire-hauptsatz-der-programmierung\/","title":{"rendered":"Satire: Hauptsatz der Programmierung"},"content":{"rendered":"<h4>von H. Weber und J. Grami<\/h4>\n<h2>Es ist absolut unn\u00f6tig, Programme zu testen oder zu dokumentieren<\/h2>\n<h3>Beweis:<\/h3>\n<ol>\n<li>Konstruktives Verfahren von      Blankenburg:<br \/>\nMan mache die Algorithmen gleich richtig; dann wei\u00df man, da\u00df sie laufen,      und damit er\u00fcbrigt sich jeglicher Test.<br \/>\nDer Vorteil dieses Verfahrens liegt darin, da\u00df es keinerlei Dokumentation      vorsieht, denn bei einem korrekten Programm wird \u00fcberhaupt nichts      ge\u00e4ndert.<!--more--><\/li>\n<li>Redundanzausschlu\u00df nach      Mooser:<br \/>\nBei Programmen, von denen man wei\u00df oder vermutet, da\u00df man sie nicht      braucht, entfallen Test und Dokumentation.<\/li>\n<li>Ward&#8217;sches Dual-Prinzip zu      Mooser:<br \/>\nBei Programmen, von denen man wei\u00df, da\u00df die Aufgabenstellung falsch ist,      die man jedoch entwickeln <strong>mu\u00df<\/strong>, entfallen sowohl Test als auch      Dokumentation.<br \/>\nBemerkungen zu ii) und iii):<\/p>\n<ol>\n<li>Diese beiden       Kategorien von Programmen definieren den sogenannten WRITE-ONLY-Typ.<\/li>\n<li>Bei Programmen vom       WRITE-ONLY-Typ kann man u. U. sogar auf das &#8222;WRITE&#8220; verzichten.<\/li>\n<\/ol>\n<\/li>\n<li>Richter&#8217;sches Prinzip:<br \/>\nEs ist vollkommen gleichg\u00fcltig, ob man Programme dokumentiert oder nicht.      Ein anderer versteht das Programm sowieso nicht und entwickelt es deshalb      selbst neu.<br \/>\nAufgabe: Der Leser m\u00f6ge den Beweis dazu selbst f\u00fchren, da\u00df in dieser      Kategorie kein Test notwendig ist.<\/li>\n<li>Prinzip der      Autoren-Abh\u00e4ngigkeit (Verfahren von Christian):<br \/>\nBei Programmen, bei denen man eine hohe Autoren-Abh\u00e4ngigkeit erzielen      m\u00f6chte, entf\u00e4llt die Dokumentation.<br \/>\n<em>Bemerkung 1<\/em>: In der Original-Version dieses Verfahrens ist auch auf      die Bedeutung der Assembler-Sprachen hingewiesen worden. In einer sp\u00e4teren      Ver\u00f6ffentlichung weist der Autor auf die Verwendbarkeit von Fortran 77 in      seinem Verfahren hin.<br \/>\n<em>Bemerkung 2<\/em>: Bemerkenswert ist, da\u00df bei diesem Verfahren kein Test      ben\u00f6tigt wird; denn es ist immer m\u00f6glich, jeden Benutzer auf seine eigenen      Fehler aufmerksam zu machen.<\/li>\n<li>Klau-Schutz-Prinzip (KSP      genannt):<br \/>\nBei Programmen, von denen man wei\u00df, da\u00df sie \u00fcber kurz oder lang geklaut      werden, entfallen Test <strong>und<\/strong> Dokumentation.<\/li>\n<li>Prinzip der Faulheit des      Universums: Wozu Test und Dokumentation ?<\/li>\n<\/ol>\n","protected":false},"excerpt":{"rendered":"<p>von H. Weber und J. Grami Es ist absolut unn\u00f6tig, Programme zu testen oder zu dokumentieren Beweis: Konstruktives Verfahren von<\/p>\n","protected":false},"author":3,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"colormag_page_container_layout":"default_layout","colormag_page_sidebar_layout":"default_layout","footnotes":""},"categories":[11],"tags":[],"class_list":["post-11694","post","type-post","status-publish","format-standard","hentry","category-menschlich-gesehen"],"_links":{"self":[{"href":"https:\/\/hier-luebeck.de\/index.php\/wp-json\/wp\/v2\/posts\/11694","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/hier-luebeck.de\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/hier-luebeck.de\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/hier-luebeck.de\/index.php\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/hier-luebeck.de\/index.php\/wp-json\/wp\/v2\/comments?post=11694"}],"version-history":[{"count":0,"href":"https:\/\/hier-luebeck.de\/index.php\/wp-json\/wp\/v2\/posts\/11694\/revisions"}],"wp:attachment":[{"href":"https:\/\/hier-luebeck.de\/index.php\/wp-json\/wp\/v2\/media?parent=11694"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/hier-luebeck.de\/index.php\/wp-json\/wp\/v2\/categories?post=11694"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/hier-luebeck.de\/index.php\/wp-json\/wp\/v2\/tags?post=11694"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}