Test Generation with Inputs, Outputs, and Quiescence
نویسنده
چکیده
This paper studies testing based on labelled transition systems , using the assumption that implementations communicate with their environment via inputs and outputs. Such implementations are formalized by restricting the class of transition systems to those systems that can always accept input actions, as in input/output automata. Implementation relations, formalizing the notion of conformance of these implementations with respect to labelled transition system speciications, are deened analogous to the theory of testing equivalence and preorder. A test generation algorithm is given, which is proved to produce a sound and exhaustive test suite from a speciication, i.e., a test suite that fully characterizes the set of correct implementations.
منابع مشابه
Test Generation with Inputs, Outputs and Repetitive Quiescence
This paper studies testing based on labelled transition systems, using the assumption that implementations communicate with their environment via inputs and outputs. Such implementations are formalized by restricting the class of transition systems to those systems that can always accept input actions, as in Input/Output Automata. Implementation relations, formalizing the notion of correctness ...
متن کاملRepetitive Quiescence in Implementation and Testing
This paper studies implementation relations and testing based on labelled transition systems, using the assumption that implementations communicate with their environment via inputs and outputs. Such implementations are formalized by restricting the class of transition systems to those systems that can always accept input actions. Implementation relations, which formalize the notion of correctn...
متن کاملTesting Transition Systems with Input and Output Testers
The paper studies testing based on input/output transition systems, also known as input/output automata. It is assumed that a tester can never prevent an implementation under test (IUT) from producing outputs, while the IUT does not block inputs from the tester, either. Thus, input from the tester and output from the IUT may occur simultaneously and should be queued in finite buffers between th...
متن کاملCadre Formel pour le Test de Robustesse des Protocoles de Communication. (A Framework for Robustness Testing of Communicating Protocols)
In the telecommunication field, protocols have to be seriously validated before their startup. Thus, it is necessary to test the conformance of a protocol, but it is also important to test its robustness in presence of unexpected events. Although a precise definition of robustness is somewhat elusive, functionally the meaning is clear : the ability of a system, conform to its nominal specificat...
متن کاملDEA Models with Interval Scale Inputs and Outputs
This paper proposes an alternative approach for efficiency analysis when a set of DMUs uses interval scale variables in the productive process. To test the influence of these variables, we present a general approach of deriving DEA models to deal with the variables. We investigate a number of performance measures with unrestricted-in-sign interval and/or interval scale variables.
متن کامل