Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
Abstract Model-based testing
Examples with "Abstract Model-based testing" and their translation in Frans
Abstract Model-based testing is a promising approach to cope with the complexity of nowadays systems.
Le Model-based testing est une approche prometteuse pour faire face à la complexité des systèmes d'aujourd'hui.
Andere resultaten
One step consists in generating system-level abstract test cases using model-based testing tools of the CADP toolbox.
La première étape consiste à générer des cas de tests abstraits au niveau système en utilisant des outils de test basé sur modèle de la boîte à outils CADP.
Abstract: Model-based testing of reactive systems is the process of checking if a System Under Test (SUT) conforms to its model.
Résumé : Le test à base de modèles des systèmes réactifs est le processus de vérifier si un système sous test (SUT) est conforme à sa spécification.
The thesis investigates applications of the formal specifications obtained, such as model-based testing, code generation and second part of the thesis defines a technique for inferring precise invariants of existing implementations of SDMA based abstract interpretation.
La thèse étudie diverses applications des spécifications formelles obtenues: le test basé sur des modèles, la génération de code et la deuxième partie de la thèse définit une technique de vérification basée sur l'interprétation abstraite.
Abstract: We are interested in this thesis in the model-based testing of composed Web services with the aim to study their limitations particularly under various load conditions.
Résumé : Nous nous intéressons dans cette thèse au test à base de modèles de services Web composés dans le but d'étudier leurs limitations en particulier sous des conditions de charge variées.
Abstract: This thesis tackles the problem of testing (legacy) production systems such as those of our industrial partner Michelin, one of the three largest tire manufacturers in the world, by means of Model-based Testing.
Résumé : Ce manuscrit de thèse porte sur le problème du test basé modèle de systèmes de production existants, tels ceux de notre partenaire industriel Michelin, l'un des trois plus grands fabricants de pneumatiques au monde.
Verifysoft organizes a free workshop on model based testing.
Verifysoft organise un séminaire portant sur le "Model Based Testing".
Ability to understand and elaborate abstract models based on particular aspects.
Capacité à comprendre et à élaborer des modèles abstraits basés sur des aspects particuliers.
This method is based on techniques of mutation and model-based testing.
Cette méthode s'inspire des techniques de mutation et de test à base de modèle.
This phase of manual work is simply removed by model-based testing.
Cette phase de travail manuel est tout simplement supprimée à l'aide de tests basés sur un modèle.
In this thesis report, we present an approach to test a software product line with model-based testing.
Dans cette thèse, nous présentons une approche pour tester une ligne de produits logiciels avec le model-based testing.
Model Based Testing allows to produce test cases from a model.
Le Model Based Testing permet de produire des cas de tests à partir d'un modèle.
Model-based testing and MDQA are gaining global momentum.
Le test basé sur un modèle et MDQA s'accélèrent globalement.
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 75. Exact: 1. Verstreken tijd: 91 ms.
