Tests de politiques d’adaptation pour systèmes cyber-physiques

National audienceCet article est dédié à la validation des politiques d’adaptation en utilisant une approche de tests à partir de modèles; à la mise en place d’un verdict basé à la fois sur la vérification à l’exécution et aux propriétés temporelles; à la détection d’inconsistances entre les politiques d’adaptation et les reconfigurations implémentées dans le système. Nous proposons un moyen d’établir un verdict de tests basé sur le respect des politiques d’adaptation ainsi que les mesures de couverture des règles. Ces verdicts nous donnent des informations sur les règles pour détecter d’éventuelles reconfigurations qui n’auraient pas dû avoir lieu, des règles avec une priorité haute qui ne sont jamais déclenchées ou des règles avec une priorité faible qui sont déclenchées trop souvent, des inconsistances dans les règles, ou une mauvaise interprétation des priorités. Les verdicts sont obtenus en analysant les traces d’exécution du système qui est stimulé par un modèle d’usage à transitions probabilistes. Afin d’illustrer notre approche, nous utilisons un système de peloton de voitures autonomes