Abstrakt
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.
Autor (1)
Cytuj jako
Pełna treść
pełna treść publikacji nie jest dostępna w portalu
Słowa kluczowe
Informacje szczegółowe
- Kategoria:
- Aktywność konferencyjna
- Typ:
- publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)
- Tytuł wydania:
- Proceedings. Eleveth Euromicro Conference on Parallel, Distributed and Network-Based Processing. strony 308 - 315
- Język:
- angielski
- Rok wydania:
- 2003
- Opis bibliograficzny:
- Garstecki Ł.: Generation of conformance test suites for parallel and distributed languages and APIS.// Proceedings. Eleveth Euromicro Conference on Parallel, Distributed and Network-Based Processing./ ed. A. Clematis. New York: EEE , 2003, s.308-315
- Weryfikacja:
- Politechnika Gdańska
wyświetlono 85 razy