Artykuł zarysowuje nową metodologię systematycznego tworzenia Zestawów Testów Zgodności. Testowanie zgodności ma na celu sprawdzenie, czy implementacja jest zgodna ze swoją specyfikacją, co jest szczególnie ważne w środowiskach równoległych i rozproszonych, gdzie musi ze sobą współpracować wiele różnych pakietów. Autor rozpoczął swoje badania w dziedzinie testowania zgodności dla języka równoległego sterowanego danymi Athapascan, ale pierwsze wyniki są na tyle uniwersalne, że mogą zostać użyte do analizy istniejących Zestawów Testów Zgodności. Przykład podany w artykule, w którym zastosowano tą metodologię do zbadania części Zestawu Testów Zgodności dla POSIX´a, dostarczającego przez NIST, pokazuje zalety zaproponowanej metodologii oraz ujawnia poważny błąd w oficjalnym zestawie testowym używanym powszechnie przez około osiem lat.
Authors
Additional information
- Category
- Aktywność konferencyjna
- Type
- publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)
- Language
- angielski
- Publication year
- 2003
