Test de conformité : une approche algébrique
نویسندگان
چکیده
In this article, we propose a formalization of conformance testing with respect to algebraic specifications. We interpret functional behavior of programs with the help of algebraic models. We materialize abstract tests extracted from the specification with concrete tests written in a given programming language. This double bridge allows us to link the semantic correctness of a program with the successfull submission of its reference tests set. Thus our testing formalization includes both tests definition and tests submission. Finally we show that our approach mirrors industrial practices and the existing tools of automatic conformance tests generation. MOTS-CLÉS : Test de conformité, Spécifications algébriques, Jeu complet de tests, Concrétisation des tests.
منابع مشابه
Une approche ontologique pour formaliser la connaissance experte dans le modèle du contrôle de conformité en construction
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...
متن کاملApproche formelle de fusion d'ontologies à l'aide des grammaires de graphes typés
Résumé. L’article propose une approche formelle de fusion d’ontologies se reposant sur les grammaires de graphes typés. Elle se décompose en trois étapes : 1) la recherche de similarités entre concepts ; 2) la fusion des ontologies par l’approche algébrique SPO (Simple Push Out) ; 3) l’adaptation d’une ontologie globale par le biais de règles de réécriture de graphes. Contrairement aux solution...
متن کاملFondations axiomatiques d’une classe d’utilité espérée généralisée : l’utilité espérée algébrique
Dans ce papier, nous proposons deux axiomatisations de l’utilité espérée algébrique, qui est une utilité espérée généralisée, dans un cadre à la von Neumann-Morgenstern, i.e.la représentation de l’incertain est supposée connue et est ici décrite par une mesure de plausibilité valuée sur un semi-anneau (éventuellement partiellement) ordonné. Nous montrons que des axiomes identiques à ceux utilis...
متن کاملUne approche algébrique pour la réutilisation et l'orchestration de services dans les sysèmes d'information
RÉSUMÉ. Dans les systèmes d’information, il est aujourd’hui essentiel de mettre en œuvre rapidement et sans développements lourds de nouvelles fonctionnalités en réponse aux évolutions métiers, en réutilisant au mieux les services déjà présents. Dans le contexte de l’accès à des informations dispersées au sein d’une fédération de systèmes indépendants, nous adressons ici le problème de découver...
متن کاملDu quatrième de proportion comme principe inductif : une proposition et son application à l'apprentissage de la morphologie
RÉSUMÉ. Nous présentons un modèle d’apprentissage par analogie qui exploite la notion de proportions analogiques formelles ; cette approche présuppose de savoir donner un sens à ces proportions et de pouvoir implanter efficacement leur calcul. Nous proposons une définition algébrique de cette notion, valable pour les structures utilisées couramment pour les représentations linguistiques : mots ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Technique et Science Informatiques
دوره 21 شماره
صفحات -
تاریخ انتشار 2002