Rok 2004

• Effective methods for functional confermance testing of parallel and distributed programming libraries.

  Publikacja

  • Ł. Garstecki

  - Rok 2004

  Rozprawa przedstawia kompletna metodykę tworzenia Zestawów Testów Zgodności dla języków programowania, bibliotek i API, ze szczególnym uwzględnieniem języków i bibliotek programowania równoleglego i rozproszonego. Autor rozpoczął badania w dziedzinie testowania zgodności dla bibliotek programowania równoleglego i rozproszonego, ale Metodyka Kolejnych zawężeń (ang. Consecutive Confinenments Method -CoCoM, stworzona przez Autora,...

• Generating reliable conformance test suites for parallel and distributed languages, libraries, and APIs.

  Publikacja

  • Ł. Garstecki

  - Rok 2004

  Artykuł nakreśla nową metodykę dla tworzenia Zestawów Testów Zgodności (ZTG) dla języków, bibliotek i API programowania równoległego i rozproszonego. Autor rozpoczął swoje badania w zakresie testowania zgodności dla języka równoległego sterowanego danymi Athapascan, opracował metodykę dla projektowania i analizowania ZTG nazwaną Metodą Kolejnych Zawężeń (ang. Consecutive Confinements Methods - CoCoM), stworzył narzędzie CTS Designer,...

Rok 2003

• Generation of conformance test suites for parallel and distributed languages and APIS.

  Publikacja

  • Ł. Garstecki

  - Rok 2003

  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,...

Rok 2002

• Conformance testing of parallel languages

  Publikacja

  • Ł. Garstecki
  • P. Kaczmarek
  • H. Krawczyk
  • B. Wiszniewski

  - Rok 2002

  Przedstawiono propozycję formalizacji opisu procesu generacji, wykonania ioceny testów zgodności dla języków i bibliotek programowania równoległego, wzakresie zgodności funkcjonalnej i wydajnościowej. Przykłady ilustrujące proponowany formalizm wykorzystują platformę programowania Athapascan.

• Testing for conformance of parallel programming pattern languages

  Publikacja

  • Ł. Garstecki
  • P. Kaczmarek
  • J. C. D. Kergommeaux
  • H. Krawczyk
  • B. Wiszniewski

  - LECTURE NOTES IN COMPUTER SCIENCE - Rok 2002

  This paper reports on the project being run by TUG and IMAG, aimed at reducing the volume of tests required to exercise parallel programming language compilers and libraries. The idea is to use the ISO STEP standard scheme for conformance testing of software products. A detailed example illustrating the ongoing work is presented.