Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?

Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.

Découvrez-en plus sur les applications Graph.

Graph
Search

fr|en

Se Connecter

Concept

Test de validation

Résumé

Un test de validation est un type de test informatique qui permet de vérifier si toutes les exigences client, décrites dans le document de spécification du logiciel, sont respectées. Les tests de validation se décomposent généralement en plusieurs phases :

Validation fonctionnelle : les tests fonctionnels assurent que les différents modules ou composants implémentent correctement les exigences client. Ces tests peuvent être de type valide, invalide, inopportuns, etc. ;
Validation solution : les tests solution assurent que les exigences client sont respectées d'un point de vue cas d'utilisation (use cases). Généralement, ce sont des tests en volume. Chaque grand cas d'utilisation est validé isolément, puis tous les cas d'utilisation sont validés ensemble. L'intérêt de ces tests est de valider la stabilité d'une solution par rapport aux différents modules qui la composent, en soumettant cette solution à un ensemble d'actions représentatif de ce qui sera fait en production ;
Vali

Source officielle

https://fr.wikipedia.org/wiki/Test_de_validation

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Publications associées (38)

Publications associées

Chargement

Personnes associées (1)

Personnes associées

Chargement

Unités associées (1)

Unités associées

Chargement

Concepts associés (20)

Concepts associés

Chargement

Cours associés (6)

This course focuses on dynamic models of random phenomena, and in particular, the most popular classes of such models: Markov chains and Markov decision processes. We will also study applications in queuing theory, finance, project management, etc.

This course will cover all the aspects of product design and system engineering from learning relevant methods to the actual implementation in a hands-on practice of product development.

This course teaches the basics of modern software development: designing software, working in a team, writing good code, shipping software, and evolving software. It emphasizes building software that meets high standards of quality, reliability, security, and manageability.

Afficher plus

Cours associés

Chargement

Séances de cours associées (12)

Séances de cours associées

Chargement

Minimizing Generalized Buchi Automata

Sudeep Juvekar

We consider the problem of minimization of generalized Buchi automata. We show how to extend fair simulation and delayed simulation to the case where the Buchi automaton has multiple acceptance conditions. For fair simulation, we show how to efficiently compute the fair-simulation relation while maintaining the structure of the automaton. We then use the fair-simulation relation to merge states and remove transitions. Our fair-simulation algorithm works in time

O(mn^2k^2)

where

m

is the number of transitions,

n

is the number of states, and

k

is the number of acceptance sets. For delayed simulation, we extend the existing definition to the case of multiple acceptance condition. We show that our definition can indeed be used for minimization and give an algorithm that computes the delayed-simulation relation. Our delayed-simulation algorithm works in time

O(mn^2k)

. We implemented the two algorithms and report on experimental results.

2005

Test de validation

Formal Testing of Object-Oriented Software: from the Method to the Tool

Minimizing Generalized Buchi Automata

Formal Testing of Object-Oriented Software: from the Method to the Tool

Minimizing Generalized Buchi Automata