18 résultats avec le mot-clé: 'abstract test generation behavioural testing software product lines'
This generates an executable ab- stract test suites satisfying the all-states coverage criteria, meaning that when executing all the tests of this test suite, all the states of the
N/A
In this thesis, we will focus on the usage of a formal behavioural model (based on Transition Systems) of product lines used to generate test-cases according to given test
N/A
A p-minimal executable abstract test suite for a given coverage criteria over an FTS repre- sents the minimal set of executable abstract test cases (with the best coverage) such as
N/A
Dans la section gauche de votre écran, vous devez accéder à l’onglet « Traiter les demandes » de la section « DEMANDES » :.. FILTRER LES DEMANDES
N/A
Keywords: Software Product Lines, Test Configuration Generation, Search- Based Software Engineering, Mutation, Feature Models..
N/A
It presents, for each comparison, the distribution of the 8 p-values (one per FM). Each p-value is the result of the comparison between the 30 values obtained for each objective
N/A
En 2011, pour les conducteurs de poids lourds exerçant dans le transport routier de fret élargi, la durée hebdomadaire moyenne de service des conducteurs
N/A
Enabling testing of large scale highly configurable systems with search-based software engineering: the case of model-based software product lines Abstract.. Complex situations
N/A
Flattening SPL Design Model Refined/Additional models (FTS', FTA, ...) Coverage criteria fLTL/ fCTL Design QA Model Unit Test Cases Product QA Manager Input/output
N/A
- Nombre maximal d'entrées disponibles du routeur TCAM qui peuvent être utilisées pour le routage basé sur la politique d'ipv4.
N/A
Regarding test configuration validity, one of the function- alities of our proposed framework is generating test con- figurations from a constrained FM such that all constraints
N/A
In the inversion process, the stratospheric BrO VCDs are simultaneously (and inde- pendently) retrieved at five values of the SZA (45 ◦ , 80 ◦ , 85 ◦ , 87.5 ◦ and 92.5 ◦ )
N/A
Statistical testing [8] proposes to generate test cases based on a usage model represented by a Discrete Time Markov Chain (DTMC).. This usage model represents the usage sce- narios
N/A
Product Prioritization Model Checking Test Cases Generation Valid Finite
N/A
SPL Test suite size: The size of a test suite is defined by the number of SPL test cases that a given generation strategy computes. In the best case, we want a strategy to generate
N/A
the number of SPL test cases that a given generation strategy computes. In the best case, we want a strategy to generate the minimal number of test cases to satisfy the SPL
N/A
Des protocoles ont été mis au point avrc le LAAB (Dr R. Deroche) pour mesurer l'évolution des concentrations en principe actif avec et sans stabilisant (chaux) , l '
N/A
We will also asso- ciate statistical prioritization to more classical test selection criteria like transition coverage and state coverage in order to improve the quality of
N/A