Merci aussi à Eric Goncalvès d'avoir assisté à ma soutenance en tant qu'examinateur et à Pascal F... more Merci aussi à Eric Goncalvès d'avoir assisté à ma soutenance en tant qu'examinateur et à Pascal Ferrand d'avoir bien voulu présider le jury. iii Autour du projet HARVEST gravitent de nombreux personnes qui contribuent à la bonne ambiance générale de travail. Ils ne sont plus seulement des collègues mais bien des amis. Plus généralement, j'ai eu le plaisir de rencontrer de nombreux doctorants avec qui j'ai souvent partagé plus qu'un repas au RU. Merci donc à Thomas pour ses passes décisives, Jéronimo pour avoir assisté à mes répétitions de soutenance, Jonathan avec qui mon pari tient toujours, Guilherme pour son assurage dynamique, Alexandre pour son assistance technique mac, Boris pour ses sites webs insolites, Sylvain T pour les paires dans les voies dures, Nicolas pour toutes les aventures sportives. J'ai eu la chance pendant ma thèse, de partir pour 6 mois à Seattle, à l'Université de Washington (USA) où j'ai travaillé sur la problématique du sillage des hydroliennes. Ce séjour à été extrèmement enrichissant pour moi grâce notamment à Alberto Aliseda, Oscar Florès et Jim Riley avec qui j'ai travaillé sur place. Je remercie la société EDF d'avoir cru dans ce projet en m'accompagnant financièrement pendant ces 3 ans. C'est une maison blanche adossée à la colline. On y vient à pied (ou en poussant fort sur les pédales.. .) et j'y ai certainement vécu la meilleure expérience de vie collective possible. Merci à tous les (nombreux) colocs du 8 chemin du Coteau qui sont passés dans cette ruche toujours en pleine activité. Je remercie mes parents de s'être déplacés pour ma soutenance et pour les bons produits régionaux dont ils nous ont fait profiter pendant le buffet. Mon dernier remerciement s'adresse à Mélanie qui m'a patiemment soutenu pendant ces 3 ans. Merci d'avoir compris l'importance que cette thèse représentait pour moi et pour l'organisation du pot de soutenance qui restera un moment fort de cette journée. iv Contents Contents v List of Figures ix vii Contents Conclusion and Perspectives Bibliography IV Appendices A Compressible system matrices A.
L'objectif principal de cette these est d'apporter des solutions a certaines problematiqu... more L'objectif principal de cette these est d'apporter des solutions a certaines problematiques du test combinatoire. Le test combinatoire consiste a generer des tests qui couvrent toutes les combinaisons de valeurs d'entree definies. La premiere problematique de cette these, c'est que le test combinatoire peut generer un grand nombre de tests qui sont invalides par rapport a la specification du systeme a tester (SUT). Ces tests invalides sont typiquement ceux qui echouent la pre-condition d'une operation du systeme. Ces tests invalides doivent etre elimines de l'ensemble des tests utilises pour evaluer le SUT, car ils conduisent a des verdicts non concluant. Comme solution, nous proposons de coupler la technique de test combinatoire a une technique d'animation qui repose sur une specification pour filtrer les tests invalides. Dans notre travail, les tests combinatoires sont generes a partir d'un patron de test. Il est essentiellement defini comme une seq...
The main objective of this thesis is to provide solutions to some combinatorial testing issues. T... more The main objective of this thesis is to provide solutions to some combinatorial testing issues. The combinatorial testing consists in generating tests that cover all combinations of defined input values. The first issue of this thesis is that combinatorial testing can generate a large number of tests that are invalid according to the specification of the System Under Test (SUT). These invalid tests are typically those which fail the verification of the precondition of system operation. These invalid tests must be discarded from the set of tests used to evaluate the SUT, because they lead to inconclusive verdicts. As a solution, we propose to couple the combinatorial testing technique to an animation technique that relies on a specification to filter out invalid tests. In our work, combinatorial tests are generated from a test pattern. This pattern is mainly defined as a sequence of operation calls, using a set of values for their parameters. The unfolding of a complex test pattern, ...
Tobias is a combinatorial test generation tool which can efficiently generate a large number of t... more Tobias is a combinatorial test generation tool which can efficiently generate a large number of test cases by unfolding a test pattern and computing all combinations of parameters. In this paper, we first propose a model-based testing approach where Tobias test cases are first run on an executable UML/OCL specification. This animation of test cases on a model allows to filter out invalid test sequences produced by blind enumeration, typically the ones which violate the preconditions of operations, and to provide an oracle for the valid ones. We then introduce recent extensions of the Tobias tool which support an incremental unfolding and filtering process, and its associated toolset. This allows to address explosive test patterns featuring a large number of invalid test cases, and only a small number of valid ones. For instance, these new constructs could mandate test cases to satisfy a given predicate at some point or to follow a given behavior. The early detection of invalid test cases improves the calculation time of the whole generation and execution process, and helps fighting combinatorial explosion.
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering - ASE 2012, 2012
ABSTRACT This paper describes the Tobias tool. Tobias is a combinatorial test generator which unf... more ABSTRACT This paper describes the Tobias tool. Tobias is a combinatorial test generator which unfolds a test pattern provided by the test engineer, and performs various combinations and repetitions of test parameters and methods. Tobias is available on-line at tobias.liglab.fr . This website features recent improvements of the tool including a new input language, a traceability mechanism, and the definition of various ``selectors'' which achieve test suite reduction.
2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, 2013
In this paper, we present a model-based testing tool resulting from a research project, named TAS... more In this paper, we present a model-based testing tool resulting from a research project, named TASCCC. This tool is a complete tool chain dedicated to property-based testing in UML/OCL, that integrates various technologies inside a dedicated Eclipse plug-in. The test properties are expressed in a dedicated language based on property patterns. These properties are then used for two purposes. First, they can be employed to evaluate the relevance of a test suite according to specific coverage criteria. Second, it is possible to generate test scenarios that will illustrate or exercise the property. These test scenarios are then unfolded and animated on the Smartesting's CertifyIt model animator, that is used to filter out infeasible sequences. This tool has been used in industrial partnership, aiming at providing an assistance for Common Criteria evaluations, especially by providing test generation reports used to show the link between the test cases and the Common Criteria artefacts.
Merci aussi à Eric Goncalvès d'avoir assisté à ma soutenance en tant qu'examinateur et à Pascal F... more Merci aussi à Eric Goncalvès d'avoir assisté à ma soutenance en tant qu'examinateur et à Pascal Ferrand d'avoir bien voulu présider le jury. iii Autour du projet HARVEST gravitent de nombreux personnes qui contribuent à la bonne ambiance générale de travail. Ils ne sont plus seulement des collègues mais bien des amis. Plus généralement, j'ai eu le plaisir de rencontrer de nombreux doctorants avec qui j'ai souvent partagé plus qu'un repas au RU. Merci donc à Thomas pour ses passes décisives, Jéronimo pour avoir assisté à mes répétitions de soutenance, Jonathan avec qui mon pari tient toujours, Guilherme pour son assurage dynamique, Alexandre pour son assistance technique mac, Boris pour ses sites webs insolites, Sylvain T pour les paires dans les voies dures, Nicolas pour toutes les aventures sportives. J'ai eu la chance pendant ma thèse, de partir pour 6 mois à Seattle, à l'Université de Washington (USA) où j'ai travaillé sur la problématique du sillage des hydroliennes. Ce séjour à été extrèmement enrichissant pour moi grâce notamment à Alberto Aliseda, Oscar Florès et Jim Riley avec qui j'ai travaillé sur place. Je remercie la société EDF d'avoir cru dans ce projet en m'accompagnant financièrement pendant ces 3 ans. C'est une maison blanche adossée à la colline. On y vient à pied (ou en poussant fort sur les pédales.. .) et j'y ai certainement vécu la meilleure expérience de vie collective possible. Merci à tous les (nombreux) colocs du 8 chemin du Coteau qui sont passés dans cette ruche toujours en pleine activité. Je remercie mes parents de s'être déplacés pour ma soutenance et pour les bons produits régionaux dont ils nous ont fait profiter pendant le buffet. Mon dernier remerciement s'adresse à Mélanie qui m'a patiemment soutenu pendant ces 3 ans. Merci d'avoir compris l'importance que cette thèse représentait pour moi et pour l'organisation du pot de soutenance qui restera un moment fort de cette journée. iv Contents Contents v List of Figures ix vii Contents Conclusion and Perspectives Bibliography IV Appendices A Compressible system matrices A.
L'objectif principal de cette these est d'apporter des solutions a certaines problematiqu... more L'objectif principal de cette these est d'apporter des solutions a certaines problematiques du test combinatoire. Le test combinatoire consiste a generer des tests qui couvrent toutes les combinaisons de valeurs d'entree definies. La premiere problematique de cette these, c'est que le test combinatoire peut generer un grand nombre de tests qui sont invalides par rapport a la specification du systeme a tester (SUT). Ces tests invalides sont typiquement ceux qui echouent la pre-condition d'une operation du systeme. Ces tests invalides doivent etre elimines de l'ensemble des tests utilises pour evaluer le SUT, car ils conduisent a des verdicts non concluant. Comme solution, nous proposons de coupler la technique de test combinatoire a une technique d'animation qui repose sur une specification pour filtrer les tests invalides. Dans notre travail, les tests combinatoires sont generes a partir d'un patron de test. Il est essentiellement defini comme une seq...
The main objective of this thesis is to provide solutions to some combinatorial testing issues. T... more The main objective of this thesis is to provide solutions to some combinatorial testing issues. The combinatorial testing consists in generating tests that cover all combinations of defined input values. The first issue of this thesis is that combinatorial testing can generate a large number of tests that are invalid according to the specification of the System Under Test (SUT). These invalid tests are typically those which fail the verification of the precondition of system operation. These invalid tests must be discarded from the set of tests used to evaluate the SUT, because they lead to inconclusive verdicts. As a solution, we propose to couple the combinatorial testing technique to an animation technique that relies on a specification to filter out invalid tests. In our work, combinatorial tests are generated from a test pattern. This pattern is mainly defined as a sequence of operation calls, using a set of values for their parameters. The unfolding of a complex test pattern, ...
Tobias is a combinatorial test generation tool which can efficiently generate a large number of t... more Tobias is a combinatorial test generation tool which can efficiently generate a large number of test cases by unfolding a test pattern and computing all combinations of parameters. In this paper, we first propose a model-based testing approach where Tobias test cases are first run on an executable UML/OCL specification. This animation of test cases on a model allows to filter out invalid test sequences produced by blind enumeration, typically the ones which violate the preconditions of operations, and to provide an oracle for the valid ones. We then introduce recent extensions of the Tobias tool which support an incremental unfolding and filtering process, and its associated toolset. This allows to address explosive test patterns featuring a large number of invalid test cases, and only a small number of valid ones. For instance, these new constructs could mandate test cases to satisfy a given predicate at some point or to follow a given behavior. The early detection of invalid test cases improves the calculation time of the whole generation and execution process, and helps fighting combinatorial explosion.
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering - ASE 2012, 2012
ABSTRACT This paper describes the Tobias tool. Tobias is a combinatorial test generator which unf... more ABSTRACT This paper describes the Tobias tool. Tobias is a combinatorial test generator which unfolds a test pattern provided by the test engineer, and performs various combinations and repetitions of test parameters and methods. Tobias is available on-line at tobias.liglab.fr . This website features recent improvements of the tool including a new input language, a traceability mechanism, and the definition of various ``selectors'' which achieve test suite reduction.
2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, 2013
In this paper, we present a model-based testing tool resulting from a research project, named TAS... more In this paper, we present a model-based testing tool resulting from a research project, named TASCCC. This tool is a complete tool chain dedicated to property-based testing in UML/OCL, that integrates various technologies inside a dedicated Eclipse plug-in. The test properties are expressed in a dedicated language based on property patterns. These properties are then used for two purposes. First, they can be employed to evaluate the relevance of a test suite according to specific coverage criteria. Second, it is possible to generate test scenarios that will illustrate or exercise the property. These test scenarios are then unfolded and animated on the Smartesting's CertifyIt model animator, that is used to filter out infeasible sequences. This tool has been used in industrial partnership, aiming at providing an assistance for Common Criteria evaluations, especially by providing test generation reports used to show the link between the test cases and the Common Criteria artefacts.
Uploads
Papers by taha triki