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, okazała sie być wystarczająco uniwersalna, aby zastosować ją do szerszej klasy języków programowania, bibliotek i API,. Metodyka CoCoM jest oparta na pojeciach zdefiniowanych w międzynarodowym standarcie ISO/IEC i jest próbą jego rozszerzenia. Metodyka CoCoM może być postrzegana jako szkielet (ang. framework, w ktorym mozna korzystać z wielu rożnych metodyk i narzędzi. Na użytek rozprawy Autor stworzył prototypowe narzędzie zwane CTS Designer, które implementuje znaczące części standartu ISO?IEC 13210 oraz metodyki CoCoM.
Authors
Additional information
- Category
- Doktoraty, rozprawy habilitacyjne, nostryfikacje
- Type
- praca doktorska pracowników zatrudnionych w PG oraz studentów studium doktoranckiego
- Language
- polski
- Publication year
- 2004
