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, które implementuje stsndard ISO/IEC 13210 oraz metodykę COCOM, i ostatecznie stworzył ZTG dla najistotniejszej części języka Athapascan. Chociaż CoCoM był pierwotnie przeznaczony tylko dla programowania równoległego i rozproszonego, nie jest ogrniczoney tylko do niego i może być także stosowany dla wielu różnych języków, bibliotek i API.
Authors
Additional information
- Category
- Publikacja w czasopiśmie
- Type
- artykuł w czasopiśmie z listy filadelfijskiej
- Language
- angielski
- Publication year
- 2004
