🚀 go-pugleaf

Dnia Sun, 11 Jun 2006 21:53:54 -0500, A.L. skrobie:
> On Mon, 12 Jun 2006 01:01:02 +0000 (UTC), Sektor van Skijlen
> <ethouris@guess.if.gmail.com.is.valid.or.invalid> wrote:
>  
> >
> >Oczywiście nie twierdzę, że każda aplikacja jest testowana na absolutnie każdą
> >ewentualność. Recovery do błędów (głównie systemowych) testuje się tylko w
> >najważniejszych punktach, albo w przypadku bardzo krytycznej aplikacji (tzn.
> >dokładnie to w przypadku, gdy aplikacja "musi sobie poradzić nawet gdyby
> >system zaczął wariować" - to oczywiście skrajna rzadkość).
> >
> >Natomiast jest oczywiście tak, że aplikacja, zakładając że część systemowa nie
> >robi błędów, ma przechodzić dokładnie i wyłącznie te ścieżki przejścia do
> >jakich jest przewidziana i każda taka ścieżka jest sprawdzana (warianty
> >dobiera się względem pokrywania się stopni swobody i ich zależności). 

> Stowmi swobocy CZEGO?...

Stanów aplikacji.

> Panie Sektor, nawet jezeli Panska aplikacja to baza danych szlauchow
> i kaloszy dla Miejskiego Przedsiebiorstwa Kanalizacyjnego, to i tak
> nie da sie sprawdzic KAZDEJ sciezki.

Da się, tylko trzeba umieć. :)

> Za duzo tych sciezek, wie
> Pan... No i niech bedzie z 10 userow, i kazdy ma inny scenariusz
> poslugiwania sie aplikacja, i robie to rownolegle, to jak Pan bedzie
> testowal KAZDA sciezke?...

Tak, z tym tylko że nie każdą ścieżkę od "początku użytkowania" do "końca
użytkowania", tylko pomiędzy dwoma wyszczególnionymi punktami.

To, co jest tutaj istotne przed przeskoczeniem w danym punkcie z jednej
ścieżki do drugiej, to sprawdzenie stanów niestabilnych. W przypadku gdy w
danym punkcie mamy stan niestabilny, to trzeba zadbać o zablokowanie
możliwości wejścia w takie ścieżki, którym niestabilność tego stanu szkodzi.
Jeśli dany stan jest stabilny, to niezależnie od jego stopni swobody, z
założenia pójście programu dalej dowolną ścieżką daje deterministyczne
zachowanie.

W zasadzie zamiast "stan" powinienem użyć określenia "zmienna stanu"; to
konkretnie miałem na myśli.

-- 
//  _    ___         Michal "Sektor" Malecki <sektor(whirl)kis.p.lodz.pl>
\\ L_ |/ `|  /^\ ,()                         <ethouris(O)gmail.com>
// \_ |\  \/ \_/ /\ C++ bez cholesterolu: http://www.intercon.pl/~sektor/cbx
"I am allergic to Java because programming in Java reminds me casting spells"