Jeudi 22 septembre 2022 • Herboristerie :
Contact
Les développeurs de logiciels utilisent la modélisation pour tester la fiabilité, mais comme les logiciels sont mis à jour régulièrement, la modélisation des futures versions peut prendre un temps précieux.
Allison Sullivan, professeure adjointe au département d’informatique et d’ingénierie (CSE) de l’Université du Texas à Arlington, a récemment reçu une subvention de 490 000 $ sur trois ans de la National Science Foundation pour explorer les tests de mises à jour logicielles sans tester les parties inchangées du code.
« Les logiciels deviennent de plus en plus complexes. Il est difficile de créer un modèle logiciel avec des millions de lignes de code et plusieurs développeurs », a déclaré Sullivan. “Donc, si tout ce que nous avons fait est d’ajouter une fonctionnalité, pouvons-nous simplement exécuter un modèle sur ce changement ? Si tel est le cas, nous pouvons réduire le temps nécessaire pour tester le code de plusieurs heures pendant la nuit à peut-être une heure seulement. »
À l’aide d’un logiciel de modélisation appelé Alloy, Sullivan se concentrera sur trois façons d’interagir avec un modèle : l’écriture, le test et la synthèse.
Pour l’écriture, la recherche se penchera sur les moyens de maximiser l’utilisation des scénarios passés. Il examinera également les techniques de nouvelles stratégies basées sur les composants du modèle qui ont changé et présentera l’impact des changements à l’utilisateur.
Les tests impliqueront l’écriture du modèle, l’exécution du code et l’observation de ce que le modèle permet. Cela inclut les tests qui raisonnent sur le code modifié. Les utilisateurs peuvent alors décider d’autoriser des erreurs spécifiques ou de les corriger.
La synthèse permet à l’utilisateur d’affiner les tests en donnant au modèle un ensemble de comportements attendus, puis en générant automatiquement des programmes Java, C ou C++ pour correspondre aux comportements. Sullivan a déclaré qu’elle espère développer un moyen d’écrire des cas de test sur le modèle et de créer automatiquement un nouveau modèle qui se contentera d’examiner les modifications et non de réexécuter l’ensemble du processus.
“Traditionnellement, il était très coûteux d’analyser des modèles”, a-t-elle déclaré. “Grâce aux avancées matérielles, il est désormais plus facile d’appliquer des logiciels pour analyser des modèles de systèmes du monde réel, et nous travaillons à rendre le processus plus efficace.”
La subvention de Sullivan est importante car elle aidera les développeurs de logiciels à améliorer leurs produits tout en augmentant leur efficacité, a déclaré Hong Jiang, président du CSE.
“Les modèles logiciels sont l’étalon-or pour les tests, mais écrire un modèle correctement et l’appliquer à d’immenses quantités de code, aussi minime soit-il, prend du temps et est inefficace”, a déclaré Jiang. “Dr. Le travail de Sullivan a le potentiel de rendre les tests plus faciles et meilleurs, ce qui améliorera la qualité.
— Écrit par Jeremy Agor, Collège d’ingénierie
