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

  • Łukasz Garstecki
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3038)


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.


Software testing parallel data-driven languages 


  1. 1.
    ISO/IEC: ISO/IEC 13210:1999(E), IEEE Std 2003, Information Technology — Requirements and Guidelines for Test Methods Specifications and Test Method Implementations for Measuring Conformance to POSIX Standards (1999) Google Scholar
  2. 2.
    The Open Group Test Environment Tool – TETware User Guide. Revision 1.4 edn (2003),
  3. 3.
    Savoye, R.: Deja Gnu – The GNU Testing Framework. Free Software Foundation 1.4.3 edn. (2002),
  4. 4.
    Roch, J.L., Galilée, F., Doreille, M., Cavalheiro, G., Maillard, N., Revire, R., Defrenne, A.: Athapascan: API for Asynchronous Parallel Programming (2002),
  5. 5.
    Laprie, J.C.: Dependability: Basic Concepts and Terminology. Springer, Heidelberg (1991)Google Scholar
  6. 6.
    Garstecki, L., Kaczmarek, P., Krawczyk, H., Wiszniewski, B.: Conformace testing of parallel languages. In: Kacsuk, P., Kranzlmüller, D., Németh, Z., Volkert, J. (eds.) Distributed and Parallel Systems Cluster and Grid Computing. The Kluwer International Series in Engineering and Computer Science, vol. 706, pp. 173–181. Kluwer Academic Publishers, Dordrecht (2002)Google Scholar
  7. 7.
    Garstecki, L., Kaczmarek, P., de Kergommeaux, J.C., Krawczyk, H., Wiszniewski, B.: Testing for conformance of parallel programming pattern languages. LNCS, pp. 323–330. Springer, Heidelberg (2001)Google Scholar
  8. 8.
    Garstecki, L.: Generation of conformance test suites for parallel and distributed languages and apis. In: Eleventh Euromicro Conference on Parallel, Distributed and Network-Based Processing, pp. 308–315. IEEE, Los Alamitos (2003)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Łukasz Garstecki
    • 1
    • 2
  1. 1.Faculty of Electronics, Telecommunications and InformaticsGdańsk University of TechnologyGdańskPoland
  2. 2.Laboratoire Informatique et Distribution, ENSIMAG – antenne de Montbonnot, ZIRSTMontbonnot Saint MartinFrance

Personalised recommendations