Un algorithme de synthèse automatique de testeurs répartis de protocoles / Viho, CésarCorenthin, Alex%Philippe, Bernard-

Public ISBD Titre : Un algorithme de synthèse automatique de testeurs répartis de protocoles Type de document : texte imprimé Auteurs : Viho, CésarCorenthin, Alex%Philippe, Bernard-, Editeur : Institut National de Recherche en Informatique et en Automatique Année de publication : 2000 Importance : p. 401-408 Format : 24 cm Note générale : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : PROCEDURE DE COORDINATION%TESTEURS REPARTIS%TESTE DE CONFORMITE Résumé : Ce papier présente un algorithme qui, à partir d'un test centralisé, génère automatiquement un test réparti sous la forme d'un ensemble de testeurs parallèles. Il s'agit de s'assurer qu'une implémentation donnée d'un système se comporte correctement conformément à sa spécification- - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE Un algorithme de synthèse automatique de testeurs répartis de protocoles [texte imprimé] / Viho, CésarCorenthin, Alex%Philippe, Bernard-,  . - Institut National de Recherche en Informatique et en Automatique, 2000 . - p. 401-408 ; 24 cm. METHODES DE PROGRAMMATION ET ALGORITHMIQUE Catégories : SCIENCES TECHNOLOGIQUES Mots-clés : PROCEDURE DE COORDINATION%TESTEURS REPARTIS%TESTE DE CONFORMITE Résumé : Ce papier présente un algorithme qui, à partir d'un test centralisé, génère automatiquement un test réparti sous la forme d'un ensemble de testeurs parallèles. Il s'agit de s'assurer qu'une implémentation donnée d'un système se comporte correctement conformément à sa spécification- - - Numéro du document : 04B Niveau Bibliographique : 5 Indicateur Bibliographique : K Bull1 (Theme principale) : METHODES DE PROGRAMMATION ET ALGORITHMIQUE

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Origine
37561	A 8544%A 8545%INF 207%INF 208	Livre	CIDST	Bibliotheque DDI	Exclu du prêt

---

1 (1 - 1 / 1)