Assurance qualité des systèmes orientés objet et aspect

点击翻译按钮获取中文摘要

La programmation orientée objet a indéniablement fait avancer l'ingénierie des systèmes logiciels. Elle éprouve, cependant, des limites sérieuses quant à la manière de prendre en compte « proprement » les préoccupations transversales dans un programme. La programmation orientée aspect cherche essentiellement à résoudre ce type de problème en modularisant les éléments transversaux des applications sous forme d'aspects. La combinaison aspect-objet ouvre une avenue intéressante et prometteuse dans le développement de logiciels. La compréhension des fondements du concept permet, en effet, de mieux saisir le sens des bénéfices importants que cette technologie promet. Elle permet, par ailleurs, de se rendre compte des nombreux challenges que les aspects apportent en termes de recherche. Le concept est relativement jeune et pose, en effet, une multitude de problèmes (à différents niveaux). Beaucoup reste à faire pour sa maturité. Bien que le domaine de la programmation orientée aspect commence à augmenter son audience, des solutions sérieuses pour le reste du processus de développement restent à définir. L'objectif principal de ce programme de recherche est de développer et d'expérimenter de nouvelles approches fédératives pour l'assurance qualité des systèmes orientés aspect. Il intègre plusieurs volets complémentaires (critères et techniques de test, attributs qualité, analyse statique et dynamique, détection de conflits, description formelle, etc.).