Conférence de Lionel Briand, professeur à l’Université du Luxembourg. Il y détient une chaire de recherche FNR PEARL en vérification et validation de logiciels au sein du SnT Centre for Security, Reliability, and Trust, dont il est également vice-directeur.
Cette conférence, présentée à l’occasion du 50e anniversaire du Département d’informatique et de recherche opérationnelle de l'Université de Montréal, sera prononcée en anglais par le professeur Lionel Briand de l’Université du Luxembourg.
Résumé
Les problèmes de test et de vérification dans l'industrie du logiciel prennent différentes formes, en raison de différences significatives entre les domaines d’application et les contextes. Mais un défi commun est le passage à l’échelle, soit la capacité de tester et de vérifier des systèmes de plus en plus grands et complexes. Une autre préoccupation relève de l'aspect pratique. Est-ce que les entrées requises par une technique donnée peuvent être produites de façon réaliste?
Cette présentation résume 10 ans de recherche sur la vérification et le test comme problèmes de recherche heuristique et d'optimisation, reposant souvent, mais pas toujours, sur des abstractions et des modèles du système sous test. Nous observons que la plupart des problèmes auxquels nous avons été confrontés pourraient être réexprimés de manière à utiliser des techniques de recherche et d'optimisation appropriées pour automatiser une stratégie spécifique de test ou de vérification.
