Génération automatique de scénarios de tests à partir de propriétés temporelles et de modèles comportementaux

In the work presented in this thesis, supported by the ANR TASCCC project, we propose a test generation technique using behavioral models in UML/OCL and temporal properties. To this end, we describe a temporal property langage based from the property patterns introduced by Dwyer et al. in [DAC99]. A property is a combination of a scope, representing the considered execution pathes in the system, and a pattern, a property that has to be satisfied inside the scope. We then give to each scope and pattern a specific automata-based semantics, called substitution automata. By combining a scope automaton with a pattern automaton, we obtain an automaton representing the semantics of the property. Next, we described nominal coverage criteria, based from classical coverage criteria over automata, specific to our property automata. These criteria focus on informations from the originating property, such as the property events, its scope and its pattern. We complemented this approach with another criterion that, by mutations over events held by certains transitions, aims at activating potentially faulty executions of the system by provoking forbidden events in the automata. We then described for each criterion an algorithm that aims at extracting pathes in the automata with respect to the considered criterion. These pathes are then translated to scenarios in an ad hoc langage that we defined. Finally, an unfolding process over these scenarios, with the help of driving commands embedded in the scenarios, allows the generation of abstract test cases. Finally, our approach has been validated on the study case presented in this document and on GlobalPlatform, an industrial-sized study case in the TASCCC project.Les travaux proposés dans cette thèse, effectuée dans le cadre du projet ANR TASCCC, présentent une technique de génération de tests à partir de modèles comportementaux en UML/OCL et de proprié- tés temporelles. Pour cela, nous décrivons un langage de propriétés temporelles inspiré des patrons de propriétés introduits par M. Dwyer et al.. Une propriété est définie comme la combinaison d'une portée, qui représente les exécutions du système dans laquelle un motif doit être satisfait. Nous associons à chaque portée et motif une sémantique à base d'automates particuliers, les automates de substitution. Par un mécanisme de substitution d'un automate de motif dans un automate de portée, nous obtenons un automate représentant la sémantique de la propriété. Nous avons ensuite défini des critères de couverture nominaux, inspirés des critères de couverture classiques sur les automates, spécifiques à nos automates de propriété. Ces critères se concentrent sur les informations supplémentaires apportées par la propriété originale, telles que ses évènements, sa portée et son motif. En complément, nous avons défini un critère de couverture qui, par le biais de mutation d'évènements de certaines transitions, permet de cibler des exécutions potentiellement dangereuses du système en tentant de provoquer les évènements interdits de la propriété. Ensuite, nous avons défini pour chaque critère un algorithme qui permet d'extraire des chemins dans l'automate, ciblant les éléments du critère considéré. Ces chemins sont traduits en scénarios dans un langage que nous avons défini. Enfin, un dépliage combinatoire de ces scénarios, éventuellement guidé par des directives de pilotage intégrées à celui-ci, permet la génération de cas de tests abstraits. Finalement, cette approche a été validée par une expérimentation sur une étude de cas dans ce document et sur GlobalPlatform, l'étude de cas de taille industrielle dans le cadre du projet TASCCC