Abstrakt

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.

Autor (1)