Two Logical Characterizations for Input-Output Conformance
نویسندگان
چکیده
منابع مشابه
Unifying Input Output Conformance
Model-based conformance testing aims to assess the correctness of an implementation with respect to a specification. This raises the question of a proper conformance relation that should be established between implementation and specification. One commonly used conformance relation is the so-called input output conformance (ioco), which is defined over labeled transition systems. In this paper ...
متن کاملHybrid Input-Output Conformance and Test Generation
Input-output conformance test theory for discrete systems has established itself in research and industry already. A couple of years ago also input-output conformance test theories for timed systems were defined. The next step is to develop conformance test theory for hybrid systems as well. In this report we present a conformance relation for model-based testing of hybrid systems and we formal...
متن کاملDecomposability in Input Output Conformance Testing
We study the problem of deriving a specification for a third-party component, based on the specification of the system and the environment in which the component is supposed to reside. Particularly, we are interested in using component specifications for conformance testing of black-box components, using the theory of input-output conformance (ioco) testing. We propose and prove sufficient crit...
متن کاملLyapunov Characterizations of Input to Output Stability
This paper presents necessary and sufficient characterizations of several notions of input to output stability. Similar Lyapunov characterizations have been found to play a key role in the analysis of the input to state stability property, and the results given here extend their validity to the case when the output, but not necessarily the entire internal state, is being regulated.
متن کاملSymbolic Input-Output Conformance Checking for Model-Based Mutation Testing
This paper presents an approach to use symbolic input output conformance checking for mutation-based test case generation. In this approach, a possibly non-deterministic action system model is used as basis for generating a number of mutants. Subsequently after the generation of mutants, the original model and the mutants are simultaneously symbolically executed and tested for conformance. Dist...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2014
ISSN: 2075-2180
DOI: 10.4204/eptcs.160.5