ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne

APPEL À
CONTRIBUTION

Le comité de rédaction du JESA lance un appel à proposition de numéros spéciaux.

En savoir plus >>
Autres revues >>

Journal Européen des Systèmes Automatisés

1269-6935
Revues des Systèmes
 

 ARTICLE VOL 39/1-3 - 2005  - pp.255-270  - doi:10.3166/jesa.39.255-270
TITRE
Test de systèmes réactifs non réceptifs

RÉSUMÉ
Une hypothèse récurrente dans le domaine du test de systèmes à entrées-sorties est que ces systèmes sont réceptifs, i.e. doivent pouvoir accepter toute entrée à tout instant. Dans cet article, nous nous intéressons aux systèmes non réceptifs. Nous définissons un nouveau modèle afin de pouvoir traiter de tels systèmes, ainsi qu'une nouvelle relation de conformité : ¢¡?£?¥§£ . Nous donnons également un ensemble de tests, le verdict associé et les hypothèses de test utilisées. Enfin, la validité et le non biais de ce contexte vis à vis de la relation ¢¡?£?¥§£ sont prouvés.


ABSTRACT
A prevalent hypothesis in the area of testing systems with inputs and outputs is that those systems are input enabled, that is, they must accept any input in any state. In this paper, we consider non input enabled systems. We define a new kind of model to deal with such systems as well as a new conformance relation: ¢¡?£¢¥©£ . A set of tests, its associated verdict and some test hypotheses are given. It is proven that they ensure validity and unbias with regard to ¢¡?£¢¥©£ .


AUTEUR(S)
Grégory LESTIENNES, Marie-Claude GAUDEL

MOTS-CLÉS
I/O automates, conformité, test.

KEYWORDS
I/O automata, conformity, test.

CITATIONS
jesa.revuesonline.com/revues/6/citation/6916.html

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 7.5 €
• Non abonné : 15.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (155 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier