Model-based testingvignette|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.
Bulle (physique)Une bulle est une petite sphère d'une substance dans une autre, généralement d'un gaz dans un liquide. Les bulles font partie de la vie courante, on peut citer : la nucléation du dioxyde de carbone sursaturé dans les boissons gazeuses (eau pétillante, soda, bière) ; la vapeur d'eau lors de l'ébullition de l'eau ; l'air mélangé à l'eau par agitation dans une cascade ; l'air relâché par un plongeur dans l'eau douce ou ; les réactions chimiques, par exemple du vinaigre sur de la craie ; les bulles d'air piégées dans un verre lors de sa fabrication.
MaquetteUne maquette est une représentation partielle ou complète d'un système ou d'un objet (existant ou en projet) afin d'en tester et valider certains aspects et/ou le comportement (maquette fonctionnelle), ou simplement à des fins ludiques (maquette de jeu) ou informatives (présentation pédagogique ou commerciale d'une réalisation ou d'un projet). La maquette peut être réalisée en deux ou trois dimensions, à une échelle donnée, le plus souvent réduite ou agrandie pour en faciliter la visualisation ou la manipulation.
Conception de turbine éolienneLa conception de turbines éoliennes est le processus de définition de la forme et des spécifications d'une éolienne afin d'extraire efficacement l'énergie du vent. Une installation d'éolienne intègre les équipements nécessaires pour capturer l'énergie du vent, orienter la turbine dans le vent, transformer la rotation mécanique en énergie électrique et d'autres systèmes pour démarrer, arrêter et contrôler la turbine. Cet article couvre la conception des turbines éoliennes à axe horizontal (HAWT) puisque la majorité des turbines commerciales utilisent cette conception.
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
Turbine à vapeurvignette|Le rotor d'une turbine à vapeur moderne utilisée dans une centrale électrique. Une turbine à vapeur est une machine qui extrait l'énergie thermique de la vapeur sous pression et l'utilise pour produire un travail mécanique de rotation de l'arbre de sortie. La version moderne fut inventée par Sir Charles Parsons en 1884. Parce que la turbine génère un mouvement de rotation, elle est particulièrement bien adaptée pour entraîner un générateur électrique ;– environ 90 % de la production d'électricité aux États-Unis (1996) était faite en utilisant des turbines à vapeur.
Turbine à gazvignette|Une turbine à combustion de General Electric (en ). Un turbomoteur est une machine tournante thermodynamique comportant une turbine, appartenant à la famille des moteurs à combustion interne. Une turbine à gaz, ou plus exactement turbine à combustion (TAC) est une machine tournante thermodynamique appartenant à la famille des moteurs à combustion interne.
Pompe centrifugethumb|Figure 1: Pompe centrifuge utilisée en vinification. vignette|Figure 2: Pompe centrifuge de type Râteau à arbre horizontal Une pompe centrifuge est une machine rotative qui pompe un liquide en le forçant au travers d’une roue à aubes ou d'une hélice appelée impulseur (souvent nommée improprement turbine). C’est le type de pompe industrielle le plus commun. Par l’effet de la rotation de l’impulseur, le fluide pompé est aspiré axialement dans la pompe, puis accéléré radialement, et enfin refoulé tangentiellement.
Efficiencethumb|John Houbolt expliquant le scénario du rendez-vous en orbite lunaire. L'efficience est la consommation des ressources utilisées (intrants, matière ou énergie) dans la production d'un résultat (extrant). C'est un composant important de la mesure de la performance. On parle parfois d'efficience matérielle. Elle se mesure à partir de rapports entre les résultats obtenus et les ressources utilisées.
Automatisation de testL'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 répond à un certain nombre de critères : le test est systématique : il doit être exécuté à chaque nouvelle version de l'application. le test est répétitif : il est présent dans de nombreux scénarios de test. le test est automatisable : il est possible techniquement de faire jouer le test par un robot.
