ویراساینس.
سند علمی

Association of Under-Approximation Techniques for Generating Tests from Models

Pierre-Christophe Bué, Jacques Julliand, Pierre-Alain Masson

چکیده

In this paper we present a Model-Based Testing approach with which we generate tests from an abstraction of a source behavioural model. We show a new algorithm that computes the abstraction as an under-approximation of the source model. Our first contribution is to combine two previous approaches proposed by Ball and Pasareanu et al. to compute May, Must+ and Mustabstract transition relations. Proof techniques are used to compute these transition relations. The tests obtained by covering the abstract transitions have to be instantiated from the source model. So, following Pasareanu et al., our algorithm additionally computes a concrete transition relation: the tests obtained as sequences of concrete transitions need not be instantiated from the source model. Another contribution is to propose a choice of relevant parameters and heuristics to pilot the tests computation. We experiment our approach and compare it with a previous approach of ours to compute tests from an abstraction that over-approximates the source model.

اسناد مشابه

  • Application of stochastic approximation techniques in neural modelling and control

    سند علمی۲۰۰۳Int. J. Systems ScienceAlain Vande Wouwer, Christine Renotte, Marcel Remy

    Learning, i.e. estimation of weights and biases in neural networks, involves the minimization of an output error criterion, a problem which is usually solved using back-propagation algorithms. This paper aims to assess the potential of simultaneous perturbation stochastic approxi

  • A closure approximation technique for epidemic models

    مقاله‌ی دسترسی آزاد۲۰۱۰Mathematical and Computer Modelling of Dynamical SystemsKjellHausken, John F.Moxnes

  • An Improved Model-Based Technique for Generating Test Scenarios from UML Class Diagrams

    سند علمی۲۰۱۶Hishammuddin Asmuni

    The foundation of any software testing process is test scenario generation. This is because it forecasts the expected output of a system under development by extracting the artifacts expressed in any of the Unified Modeling Language (UML) diagrams, which are eventually used as th

  • State Transition Based Test Model and Test Case Generation Technique for Embedded System: An Empirical Approach

    سند علمی۲۰۱۶So-Young Jeong, Cheol-Jung Yoo, Hye-Min Noh

    Studies on the testing techniques required during process of black box testing in embedded system have been increasing tremendously. This paper suggests test model and test case generation method for model based testing of embedded system. Considering the complicated internal arc

  • Generate, Test and Debug: Combining Associational Rules and Causal Models

    سند علمی۱۹۸۷IJCAIReid G. Simmons, Randall Davis

    We present a problem solving paradigm called generate, test and debug (GTD) that combines associational rules and causal models, producing a system with both the efficiency of rules and the breadth of problem solving power of causal models. The generator uses associational rules

  • Tri-modal under-approximation for test generation

    سند علمی۲۰۱۶Sci. Comput. Program.Hadrien Bride, Jacques Julliand, Pierre-Alain Masson

    This paper presents a method for under-approximating behavioural models with the guarantee that the abstract paths can be instantiated as executions of the models. This allows a model-based testing approach to operate on an abstraction of an infinite or very large behavioural mod