Model-based testingModel-based testing is an application of model-based design for designing and optionally also executing artifacts to perform software testing or system testing. Models can be used to represent the desired behavior of a system under test (SUT), or to represent testing strategies and a test environment. The picture on the right depicts the former approach. A model describing a SUT is usually an abstract, partial presentation of the SUT's desired behavior. Test cases derived from such a model are functional tests on the same level of abstraction as the model.
Standard languageA standard language (also standard variety, standard dialect, and standard) is a language variety that has undergone substantial codification of grammar and usage, although occasionally the term refers to the entirety of a language that includes a standardized form as one of its varieties. Typically, the language varieties that undergo substantive standardization are the dialects associated with centers of commerce and government.
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.
Safety instrumented systemIn functional safety a safety instrumented system (SIS) is an engineered set of hardware and software controls which provides a protection layer that shuts down a chemical, nuclear, electrical, or mechanical system, or part of it, if a hazardous condition is detected. An SIS performs a safety instrumented function (SIF). The SIS is credited with a certain measure of reliability depending on its safety integrity level (SIL). The required SIL is determined from a quantitative process hazard analysis (PHA), such as a Layers of Protection Analysis (LOPA).
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.
