Model-based testing

vignette|Diagramme du model-based testing Le model-based testing (MBT) est une activité qui permet de concevoir et de dériver (de manière automatique ou non) des cas de tests à partir d'un modèle abstrait et haut niveau du système sous test (SUT). Le modèle est dit abstrait car il offre bien souvent une vue partielle et discrète des comportements attendus d'un logiciel ou d'un système. Sur la base de modèles abstraits, des cas de test peuvent être dérivées sous la forme de suites de tests. Ces suites de tests ne sont pas directement exécutables, car elles n'ont pas le même niveau d'abstraction que le code exécutable. Cela demande souvent une intervention manuelle de la part d'un ingénieur de test qui doit concevoir une couche d'adaptation permettant de passer d'une suite de tests abstraites en suite de tests exécutables. Cette étape est généralement appelée étape de concrétisation. Une fois les cas de tests exécutés, une comparaison est possible entre le comportement réel du logicie

À 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 (6)

Publications associées

Chargement

Personnes associées

Chargement

Unités associées

Chargement

Concepts associés (4)

Concepts associés

Chargement

Cours associés (5)

Cours associés

Chargement

Séances de cours associées (6)

Séances de cours associées

Chargement

Model Testing for the Stability of Operation of Francis Turbines

1994

Chargement

Surging of 140 MW Francis turbines at high load, analysis and solution

High load surging is a specially delicate side of Francis turbines' dynamic behavior. There is yet no sure method to predict the occurrence of pulsations on a full-size machine, either from model test results or theoretical analysis. Upon commissioning of the Saucelle-Huebra power plant, high load surging made it impossible to operate in the maximum power output range. The turbine designer brought the oscillations to an acceptable level by a modification of the runner cone, without air admission. Thorough lab testing on a scale model allowed a better understanding of the problem. Influences of the runner cone, test head and tailrace tunnels are highlighted. A modal analysis using the cavitation compliance evaluated from model tests provides an explanation for the surge in the plant.

International Association For Hydraulic Research1992

Chargement

Evaluation from Model Tests for a Prediction of the Stability of Operation of Francis Turbines

This paper presents similitude laws for steady-oscillatory phenomena associated with the off-design operation of Francis turbines. An appropriate procedure is proposed for stability of operation tests to be performed along with standard model tests. The elaboration and presentation of oscillatory data is discussed.

International Association For Hydraulic Research1994

Chargement

Automatisation de test

L'automatisation de test permet de jouer à volonté des tests de régression à la suite de la livraison d'une nouvelle version d'une application. L'automatisation d'un test n'a de sens que si le test

Test (informatique)

vignette|Une programmeuse écrivant du code Java avec JUnit. En informatique, un test désigne une procédure de vérification partielle d'un système. Son objectif principal est d'identifier un nombre max

UML (informatique)

Le Langage de Modélisation Unifié, de l'anglais Unified Modeling Language (UML), est un langage de modélisation graphique à base de pictogrammes conçu comme une méthode normalisée de visualisation d

EE-456: Hydropower plants: generating and pumping units

Master Lecture on the general layout of a hydropower plant. Detailing the specification of Pelton, Francis, Kaplan and Bulb turbines, Storage pumps and Reversible pump-turbines.

MGT-301: Foundations in financial economics

The aim of this course is to expose EPFL bachelor students to some of the main areas in financial economics. The course will be organized around six themes. Students will obtain both practical insights through real-world examples and understand how one can model the main economic trade-offs.

CS-550: Formal verification

We introduce formal verification as an approach for developing highly reliable systems. Formal verification finds proofs that computer systems work under all relevant scenarios. We will learn how to use formal verification tools and explain the theory and the practice behind them.