2 Why We Need Model-Based Testing
2 Why We Need Model-Based Testing
2 Why We Need Model-Based Testing
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
316 Glossary<br />
action. The smallest unit of behavior at the chosen level of abstraction. A discrete,<br />
discontinuous, atomic execution step. Executing an action causes a state transition.<br />
In a reactive system, we distinguish controllable actions from observable actions.<br />
In a model program, the actions are invocations of action methods. In the N<strong>Model</strong><br />
framework, actions are represented by terms.<br />
action method. A method in a model program that is associated with an action.<br />
Contrast to helper method.<br />
action symbol. The name of an action. The action symbol is often the same as the<br />
name of the corresponding action method, but not always.<br />
action vocabulary. The collection of action symbols used by a model program.<br />
active state. Astate in which all enabled actions are controllable.<br />
adaptive. Astrategy that remembers the history of previous action selections. An<br />
adaptive strategy is said to learn. Contrast to memoryless.<br />
analysis. Seemodel-based analysis, preliminary analysis, safety analysis, liveness<br />
analysis, static analysis.<br />
animation. Simulation.<br />
API. Application Programming Interface.<br />
application. Software that a user can start to perform some activity. In .NET, an<br />
application is an assembly with a main method, and usually has the file type exe.<br />
An application can use libraries.<br />
application programming interface (API). The facilities provided by a library.In<br />
C#, its public types and methods.<br />
approximation.AnFSM that contains some, but not all, of the states and transitions<br />
of another, larger FSM. Exploration that is not exhaustive, but uses sampling or<br />
pruning, generates an approximation of the true FSM.<br />
arc. Link.<br />
arity. The number of parameters of an action.<br />
assembly. In .NET, the output from compiling a source program. Assemblies are<br />
the components of the .NET framework. An assembly can be an application or a<br />
library.<br />
assertion. Apredicate that is supposed to be true when execution reaches it. In the<br />
xUnit testing framework, assertions are used as oracles to determine whether tests<br />
pass or fail. Assertions can be used for run-time checks.<br />
assignment. To replace the previous value of a variable with a new one. Also called<br />
update. Assigning a state variable causes a transition.<br />
more free ebooks download links at:<br />
http://www.ebook-x.com
Change language