"flyer" <f...@g...pl> wrote in message
news:b28bbm$h3h$1@atlantis.news.tpi.pl...

> Wybacz, ale skoro nie powstala linijka kodu, to jak mozna sprawdzic
> poprawnosc kodu?

Matematycznie. Począwszy od dowodu poprawności specyfikacji języka
programowania. Kto miał okazję dowodzić poprawność choćby while'a, ten wie,
o czym mowa.

> Do do algorytmow - robilem przy oprogramowaniu powiedzmy z dziedziny
> ksiegowosci i podstawowym bledem nie byly niepoprawne algorytmy kodow,

Zgaduję, że algorytmy te korzystały z if'a i for'a. Zapewne nie
przeprowadzałeś formalnego dowodu zgodności założeń tych instrukcji z ich
rzeczywistym działaniem, aczkolwiek w krytycznych zastosowaniach właśnie od
tego się wychodzi a dalej podąża równie starannie.

Tomek Z.