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.
Autorzy
Informacje dodatkowe
- Kategoria
- Aktywność konferencyjna
- Typ
- publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)
- Język
- angielski
- Rok wydania
- 2003
