Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
generated test cases
Vertaling van "generated test cases" in Frans
cas de test générés
Graphical mapping between model state charts, model text, and generated test cases
Correspondance graphique entre les state charts modélés, le modèle textuel et les cas de test générés
Each of the generated test cases can include a key that can be used with the actual game code to determine if the results generated by the key in the actual game match the results that were determined during testing.
Chaque cas d'essai généré peut comporter une clé que l'on peut utiliser avec le code de jeu effectif pour déterminer si les résultats générés par la clé dans le jeu effectif correspondent aux résultats qui ont été déterminés lors des essais.
This problem is solved here thanks to an approximate determinization using a game approach, which preserves tioco and guarantees the soundness of generated test cases.
Ce problème est résolu grâce à une déterminisation approchée fondée sur la théorie des jeux, préservant tioco et garantissant la correction des cas de tests générés.
The execution of the generated test cases on the implementation allows detecting conformance violations between implementation and specification, but also violation/satisfaction of the properties by the implementation or the specification.
Nous obtenons ainsi, lors de l'exécution du cas de test sur l'implémentation, des verdicts pouvant indiquer la non-conformité de l'implémentation, mais également la satisfaction/violation de la propriété par l'implémentation et/ou la spécification.
Capability to browse and analyse generated test cases in the user interface including graphical I/O and execution trace (no need to export HTML test plan)
Capacité à parcourir et analyser les cas de test générés à partir de l'interface utilisateur en incluant I/O graphique et la trace d'exécution (pas besoin d'exporter de plan de test HTML).
The suite provides back-to-back testing with automatically generated test cases, based on TargetLink code, that guarantee complete test coverage.
Cette suite permet d'effectuer des tests dos-à-dos à partir de cas de test générés automatiquement, basés sur le code TargetLink, et qui garantissent une couverture des tests intégrale.
Synoniemen voor generated test cases in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 6. Exact: 6. Verstreken tijd: 418 ms.
