UOOR: an object-oriented approach for requirements specification
- Naumcheva, Maria (19..-.... ; docteure en informatique) (2024)
Thèse
- Numéro national de thèse
- 2024TLSEJ090
- Titre en anglais
- UOOR: an object-oriented approach for requirements specification
- Titre en français
- UOOR: une approche orientée-objets pour l'Ingénierie des Exigences
- Directeur de recherche
- Ebersold, Sophie (1964-.... ; enseignante-chercheuse en informatique)
- Co-directeur de recherche
- Meyer, Bertrand (1950-.... ; chercheur en informatique)
- Date de soutenance
- 18 décembre 2024
- École doctorale
- MITT : Mathématiques Informatique Télécommunications de Toulouse
- Unité de recherche
- Institut de Recherche en Informatique de Toulouse - IRIT
- Sujet
- Génie logiciel
- Mots-clés en anglais
- Object-oriented requirements
- Verifiable requirements
- Requirements Engineering
- Mots-clés en français
- Exigences orientées objet
- Exigences vérifiables
- Ingénierie des exigences
- Résumé en anglais
-
In industrial practice, requirements are an indispensable element of any serious software project. In the academic study of software engineering, requirements are one of the heavily researched subjects. And yet requirements as practiced in industry makes shockingly sparse use of the concepts propounded in the requirements literature. The present thesis starts from an assumption about the causes for this situation, and proposes a remedy to redress it.
The posited explanation is that change is the major factor affecting the practical application of even the best-intentioned requirements techniques. Hardly is the ink dry on the requirements document that the system's environment and the stakeholders' views about the system start evolving. Requirement methods that assume that requirements can be set once and for all to guide the development are doomed.
The proposed remedy is a requirements method, called UOOR, which unifies many known requirements concepts and a few new ones in a framework entirely devised to accommodate and support seamless change throughout the project lifecycle.
The UOOR method (the acronym stands for Unified Object-Oriented Requirements) encompasses the commonly used requirements techniques, namely, scenarios, and integrates them into the seamless software development process. The thesis introduces the notion of seamless requirements traceability, which relies on propagation of traceability links, themselves based on formal properties of relations between project artifacts. As a proof of concept the thesis presents a Traceability tool, to be integrated into a general-purpose IDE, that provides the ability to link requirements to other software project artifacts, to display notifications of change in requirements and to trace those changes to the related project elements.
The UOOR approach is not just a theoretical proposal but has been designed for practical use and has been applied to significant applications, including a full case study detailed in a forthcoming book. - Résumé en français
-
Dans la pratique industrielle, les exigences sont un élément indispensable de tout projet logiciel sérieux. Dans l'étude universitaire du génie logiciel, les exigences sont l'un des sujets les plus étudiés. Pourtant, les exigences telles qu'elles sont pratiquées dans l'industrie n'utilisent que très peu les concepts proposés dans la littérature sur les exigences. La présente thèse part d'une hypothèse sur les causes de cette situation et propose une solution pour y remédier.
La cause identifiée est que changement est le principal facteur affectant l'application pratique des techniques d'exigences, même les mieux élaborées. L'encre du document d'exigences est à peine sèche que l'environnement du système et les points de vue des parties prenantes sur le système commencent à évoluer. Les méthodes d'évaluation des besoins qui partent du principe que les besoins peuvent être définis une fois pour toutes pour guider le développement sont vouées à l'échec.
La solution proposée est une méthode de gestion des exigences, appelée UOOR, qui unifie de nombreux concepts d'exigences connus et quelques nouveaux concepts, dans un cadre entièrement conçu pour gérer des changements continus tout au long du cycle de vie du projet.
La méthode UOOR (l'acronyme signifie Unified Object-Oriented Requirements) englobe les techniques d'exigences couramment utilisées, à savoir les scénarios, et les intègre dans le processus de développement logiciel continu. Cette thèse introduit la notion de traçabilité transparente des exigences, qui repose sur la propagation des liens de traçabilité, eux-mêmes basés sur des propriétés formelles des relations entre les artefacts du projet. Comme preuve de concept, la thèse présente un outil de traçabilité, à intégrer dans un IDE général, qui permet de relier les exigences à d'autres artefacts du projet logiciel, d'afficher des notifications de changement dans les exigences et de tracer ces changements dans les éléments de projet connexes.
L'approche UOOR n'est pas seulement une proposition théorique mais a été conçue pour une utilisation pratique et a été appliquée à des applications significatives, y compris une étude de cas complète, détaillée dans un livre à venir. - Accès au document
- Accès libre
Citation bibliographique
Naumcheva, Maria (19..-.... ; docteure en informatique) (2024), UOOR: an object-oriented approach for requirements specification [Thèse]