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.
Langue standardUne langue standard résulte de l'élaboration planifiée pour une langue d'une variété de référence unitaire, à partir d'un de ses dialectes ou d'un diasystème. Cette variété est utilisée pour l'enseignement, l'usage officiel et l'écrit soutenu. Ces éléments visent à donner une cohérence culturelle, politique et sociale à un territoire où la langue standardisée est officielle ou nationale.
Object Process MethodologyObject process methodology (OPM) is a conceptual modeling language and methodology for capturing knowledge and designing systems, specified as ISO/PAS 19450. Based on a minimal universal ontology of stateful objects and processes that transform them, OPM can be used to formally specify the function, structure, and behavior of artificial and natural systems in a large variety of domains. OPM was conceived and developed by Dov Dori. The ideas underlying OPM were published for the first time in 1995.
Système instrumenté de sécuritéUn système instrumenté de sécurité est un système visant à mettre un procédé en position de repli de sécurité (c'est-à-dire un état stable ne présentant pas de risque pour l'environnement et les personnes), lorsque le procédé s'engage dans une voie comportant un risque réel pour le personnel et l'environnement (explosion, feu...). Un SIS se compose de trois parties : une partie capteur chargée de mesurer la dérive d'un paramètre (pression, température ...
Complex torusIn mathematics, a complex torus is a particular kind of complex manifold M whose underlying smooth manifold is a torus in the usual sense (i.e. the cartesian product of some number N circles). Here N must be the even number 2n, where n is the complex dimension of M. All such complex structures can be obtained as follows: take a lattice Λ in a vector space V isomorphic to Cn considered as real vector space; then the quotient group is a compact complex manifold. All complex tori, up to isomorphism, are obtained in this way.
Computation tree logicComputation tree logic (CTL) is a branching-time logic, meaning that its model of time is a tree-like structure in which the future is not determined; there are different paths in the future, any one of which might be an actual path that is realized. It is used in formal verification of software or hardware artifacts, typically by software applications known as model checkers, which determine if a given artifact possesses safety or liveness properties. For example, CTL can specify that when some initial condition is satisfied (e.
