Kein Algorithmus

[warlord_7]

Frage:Gibt es einen Algorithmus der die Programme nach Korrektheit testen kann?
Antwort:Nein,es gibt keinen und es wird ihn höchstwarhscheinlich nie geben.

Meine Frage an euch:
Warum?Begründet es bitte.

[]=-antr4xx-=[]

sehr konfuse Frage:
Willst du die binary auf Korrektheit prüfen?
Oder den Source Code auf syntaktische Korrektheit(was z.b. der Compiler macht).
Oder willst du wissen, ob das "Programm" auf jedem PC richtig läuft?

[Steiger_mp]

der md5 hash des programms, dann kannste überprüfen ob es das original programm ist :) oder es z.B. mit einem Virus befallen ist

[warlord_7]

Gar nix von all den Sachen^^.
Kann mir nun jemand eine Begründung geben?
@]=-antr4xx-=[: n1.. Linux user^^ endlich mal
edit//:Leute das meine ich überhaupt nicht.
Ich frage mich nur warum es KEINEN Algorithmus geben kann der die Programme auf Korekktheit überprüfen kann.
thx MfG warlord_7

[Steiger_mp]

/e:

inwiefern Korrektheit?Das es läuft oder was?

[warlord_7]

aw :S ^^ sry aber so schwer ist die Frage nun wirklich nicht..
ich weiß DASS ES KEINEN gibt .. nur ich will wissen WARUM gibt es keinen?
(Ich meine schon im VL also ein Programm)

[Steiger_mp]

mensch junge wir können dir keine Begründung geben, weil wir nicht wissen was du willst..
Schau die doch antraxx posts an..wenns das nicht ist, was willst du dann?

[noctem]

Definiere mal die von dir erwähnte "Korekktheit" eines Programms. Ohne das kann niemand deine Frage ansatzweise beantworten.
Ansonsten landet der Thread im Mülleimer.

[nexos]

/edit by f0Gx: Bitte zu sowas nicht mehr hinreißen lassen ;).

was soll das?
Korrektheit?! wtf
Meinst du die SourceCode-Korrektheit (ich meine das was der Compiler überprüft), die Korrektheit einer fertigen Binary oder was?

Und wie bezeichnest du korrekt? dass es sich kompilieren laässt? dass es keinen bufferoverflow gibt oder was meinst du?

Außerdem ist es völlig unfreundlich hier gleich rumzuheulen, nur weil du zu (siehe oben) bist ne Frage richtig zu stellen, bzw auf unsere fragen zu antworten...

[warlord_7]

Obwohl ich schon gesagt hab dass der Thread gerne geschlossen werden kann musst du ja nicht so "durchdrehen" und zum Gebrauch von vulgärer Sprache greifen.
Das macht die Sache auch nicht besser.
Ich weiß ja nicht wie du "rumheulen" definierst aber ich glaube es ist eher unfreundlich von dir zu flamen (wie man es zu pflegen sagt).
aber trotzdem weiterhin MfG

[l0dsb]

warlord_7

Sage uns doch, was du unter Korrektheit eines Programmes verstehst - der Begriff kann mehrere Bedeutungen haben, was hier wohl für Verwirrung sorgt.

Es wäre hilfreich, wenn du deine Vorstellung von "Korrektheit" spezifizieren könntest, z. B. durch ein Beispiel von einem korrekten und einem nicht korrekten Programm.

nexos

Bitte den Beitrag das nächste Mal etwas sachlicher gestalten.

[-[RiDER]-]

Frage:Gibt es einen Algorithmus der die Programme nach Korrektheit testen kann?
Ja, jeder Compiler kennt ihn. Ohne ihn wäre das Kompilieren von Quellcodes nicht möglich!
(Ich glaube dass es um die logische Korrektheit eines Programms geht, aber das ist nur eine wage Vermutung, die ich nicht belegen kann.)

GreetZ RiDER :D :D :D

[zao]

Das wäre auch meine Antwort gewesen, nur ich glaub er weiß selbst nicht was er wissen will.