Treffer: Testing for conformance of parallel programming pattern languages
Title:
Testing for conformance of parallel programming pattern languages
Authors:
Source:
PPAM 2001 : parallel processing and applied mathematics (Naleczow, 9-12 September 2001, revised papers)Lecture notes in computer science. :323-330
Publisher Information:
Berlin: Springer, 2002.
Publication Year:
2002
Physical Description:
print, 4 ref
Original Material:
INIST-CNRS
Subject Terms:
Computer science, Informatique, Sciences exactes et technologie, Exact sciences and technology, Sciences appliquees, Applied sciences, Informatique; automatique theorique; systemes, Computer science; control theory; systems, Informatique théorique, Theoretical computing, Théorie des langages et analyse syntaxique, Language theory and syntactical analysis, Logiciel, Software, Génie logiciel, Software engineering, Compilateur, Compiler, Compilador, Développement logiciel, Software development, Desarrollo logicial, Langage parallèle, Parallel languages, Langage programmation, Programming language, Lenguaje programación, Progiciel, Software package, Programmation parallèle, Parallel programming, Programación paralela, Test conformité, Compliance test, Prueba conformidad, Vérification programme, Program verification, Verificación programa
Document Type:
Konferenz
Conference Paper
File Description:
text
Language:
English
Author Affiliations:
Faculty of Electronics, Telecommunications and Informatics, Technical University of Gdansk, ul. Narutowicza 11/12, 80-952 Gdansk, Poland
Laboratoire Informatique et Distribution, ENSIMAG, avenue Jean Kuntzmann, 38330 Montbonnot Saint Martin, France
Laboratoire Informatique et Distribution, ENSIMAG, avenue Jean Kuntzmann, 38330 Montbonnot Saint Martin, France
ISSN:
0302-9743
Rights:
Copyright 2003 INIST-CNRS
CC BY 4.0
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
CC BY 4.0
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
Notes:
Computer science; theoretical automation; systems
Accession Number:
edscal.14511363
Database:
PASCAL Archive
Weitere Informationen
This paper reports on the project being run by TUG and IMAG, aimed at reducing the volume of tests required to exercise parallel programming language compilers and libraries. The idea is to use the ISO STEP standard scheme for conformance testing of software products. A detailed example illustrating the ongoing work is presented.