Effective methods for functional confermance testing of parallel and distributed programming libraries. - Publication - Bridge of Knowledge

Search

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

Abstract

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.

Cite as

Full text

full text is not available in portal

Keywords

Details

Category:
Thesis, nostrification
Type:
praca doktorska pracowników zatrudnionych w PG oraz studentów studium doktoranckiego
Language:
Polish
Publication year:
2004
Verified by:
Gdańsk University of Technology

seen 101 times

Recommended for you

Meta Tags