> >
>
> >
>
> Wydaje mi sie ze pewna czesc bledow mozna by
>
> wychwytywac w ten sposob ze zaklada sie bardzo
>
> scisle asserty na input (przy czym ten input
>
> to moze byc bardzo wiele bardzo roznych
>
> czynnikow im wiecej tym lepiej) po czym
>
> sledzi 'naocznie' czy kod bedzie dzialac poprawnie w pelnym zakresie
przepuszczonych
>
> wartosci - taka procedura gwarantuje pewne
>
> zezpieczenstwo, tj to ze dany program bedzie
>
> sie zachowywal ok w danym szerokim zakresie
>
> stanów (moze tez go w tym sensie umacniac
>
> czyli podciagac szerokosc przestrzeni tego
>
> stanu) - a jak juz cos z zewnatrz spowoduje
>
> ze cos wyskoczy poza ten zakres to i tak ciezko
>
> cos poradzic


Niektore rzeczy na pewno mozna kontrolowac w
jezyku np deklarowanie typow o scislych jawnych
zakresach np int od 0 do 100 gdzie jezyk
pilnowalby czy nie ma przekroczenia, albo
tez wymuszanie wszelkich mozliwych assertow
na rozne rzeczy - to by raczej moglo pomoc,
acz nie jestem pewien na ile ada to robi