Glossary

Abstraction: Abstraction is a powerful concept of hiding details and concentrating on essential information only. It refers also to a domain in the three-dimensional model of development in the KobrA method in the abstraction/concretization dimension.
Acceptance Testing: Acceptance testing refers to the test activities on the final application according to the user's or customer's requirements.
Application Engineering: Application engineering refers to all activities that deal with assembling and integrating existing components into a single application. It refers also to the instantiation of a final product out of a product family in product line engineering.
Assertion: An assertion is a boolean expression that defines the necessary conditions for the correct execution of an object or a component.
Average Case Execution Time: Average runtime of a program or a component's interaction over all feasible runs according to varying input parameters.

Basic Contract: A basic contract includes the signatures that a component provides or requires in terms of invocable operations, signals that a component sends or receives, and exceptions that a component throws or catches. It is also termed a syntactic contract.
Behavioral Contract: This is the same as the basic contract, plus it defines the overall functionality and behavior of a component in terms of pre- and postconditions of operations and externally visible, provided and required state transitions.
Behavioral Model: This is one part of a KobrA component specification which describes in terms of statechart diagrams or statechart tables how a component behaves in response to external stimuli.
Best...

< Previous Excerpt

Component-Based Software Testing with UML