Generating Reliable Conformance Test Suites for Parallel and Distributed Languages, Libraries, and APIs

摘要

This paper outlines a new methodology for generating Conformance Test Suites (CTS) for parallel and distributed programming languages, libraries and APIs. The author has started his research in the field of conformance testing for parallel data-driven language Athapascan, invented a methodology for designing and analyzing CTSs called Consecutive Confinements Method (CoCoM), developed a tool called CTS Designer, which implements standard ISO/IEC 13210 and the CoCoM methodology, and finally created a CTS for the crucial part of the Athapascan language. Although CoCoM was originally meant for parallel and distributed software, it is not limited only to it and can be also used for a variety of other languages, libraries and APIs.