Référentiel des processus et d'un entrepôt générique des mesures pour la vérification & validation (V&V) des logiciels critiques
Notice bibliographique
Résumé
Pour les secteurs tel que l'aviation, le médical, le nucléaire et l'aérospatial, la qualité du logiciel est un besoin capital. Le logiciel embarqué dans ces types des systèmes est reconnu comme étant critique car leurs échec peut causer blessures (ou mort) aux êtres humains ainsi que la perte d'investissements financiers considérables. \n \nDans cette thèse nous proposons un référentiel des processus de vérification et validation (V&V) et d'un entrepôt générique des mesures pour permettre, d'une part, de mieux définir et implémenter les objectifs, les processus, les activités, les tâches, les rôles, les produits de travail de la V&V dans les projets et, d'autre part, de faciliter la prise des décisions dans les projets de V&V par le biais d'un entrepôt des données des mesures pour mieux identifier, faire le suivi et l'évaluation des processus et produits (ex. des coûts, du temps, des ressources, etc.) des activités de V&V. \n \nLe référentiel sert à la définition des pratiques de V&V du développement du logiciel critique et en concordance avec les exigences de certification du guide DO-178B dans le contexte de l'aéronautique. Le contenu de ce référentiel de V&V est basé sur les pratiques du développement logiciel recommandées par les Processus Unifiés (PU). Nous avons utilisé la version « Open Source » des processus unifiés appelé « OpenUP » pour construire le référentiel. \n \nLe référentiel de pratiques de V&V est exprimé par le biais d'un artefact logiciel appelé «Plug-in» ou «plugiciel». Cet artefact a été construit avec l'outil « Eclipse Process Framewrok Composer (EPFC) », qui est une extension du « OpenUP ». EPFC est basé sur les principes de SPEM-OMG (Software Process Engineering Metamodel - Object Management Group). L'EPFC dorme la capacité au référentiel des pratiques de V&V de pouvoir être personnalisé ou adapté selon les particularités de chaque projet du logiciel critique. \n \nLa proposition des mesures pour les activités de V&V est fondée sur la proposition d'un entrepôt des mesures basé sur les principes décrits dans la norme ISO 15939 pour la construction des processus mesures dans le logiciel. \n \n \nL'entrepôt des mesures est basé également sur un modèle générique des mesures ainsi que sur la technologie OLAP (Online Analytical Processing) pour l'analyse multidimensionnelle des dormées des mesures. L'entrepôt des mesures proposé est basé sur un modèle générique qui ne présuppose pas un ensemble des mesures définies mais une structure basée sur un modèle orienté-objets qui permet de définir divers types de mesures basées sur les mêmes données stockées dans l'entrepôt. La technologie OLAP confère la flexibilité, la capacité de stoker, la capacité de représenter ainsi que la capacité d'analyser des mesures dans plusieurs perspectives. \n \nCette thèse, au cours de son élaboration, a bénéficié de la collaboration de différentes partenaires industriels tels que : NASA IV&V Facility, CMC Electronics, Verocel Inc. et Ericsson Research Canada.
Récupéré en direct depuis OpenAlex et désinversé. Les résumés ne sont pas conservés dans cette base de données : les index inversés représentent 8,6 Go des 9,3 Go de texte de la base, et le serveur dispose de 13 Go libres.
Comment cette classification a été obtenuedéplier
Prédiction machine sur la base complète
Imitation des enseignantsNi prévalence calibrée, ni vérité terrain. Validation humaine à venir. Le volet Gemma est une étiquette directe du modèle pour chaque travail de la base, lue sur la notice réduite au titre. Le volet Codex est un classifieur appris des 10 348 étiquettes directes de Codex et calibré sur les taux pondérés de l'échantillon; les champs sans appui suffisant ne portent aucun appel Codex. Le mode candidate est l'union des deux volets; le consensus est leur intersection. Ces sorties portent le statut machine_predicted_unvalidated et ne sont pas des étiquettes humaines.
Scores du classifieur distillé par catégorie (deux têtes)
| Catégorie | Codex | Gemma |
|---|---|---|
| Métarecherche | 0,034 | 0,064 |
| Méta-épidémiologie (sens strict) | 0,002 | 0,001 |
| Méta-épidémiologie (sens large) | 0,001 | 0,003 |
| Bibliométrie | 0,003 | 0,001 |
| Études des sciences et des technologies | 0,002 | 0,007 |
| Communication savante | 0,013 | 0,013 |
| Science ouverte | 0,004 | 0,006 |
| Intégrité de la recherche | 0,004 | 0,007 |
| Charge utile insuffisante (le modèle a refusé de juger) | 0,013 | 0,004 |
Scores machine (provisoires)
Les deux têtes enseignantes du modèle étudiant, lues sur ce travail. Un score ordonne la base pour la relecture; il n'affirme jamais une catégorie, et le statut de validation accompagne chaque rangée tel quel.
Scores de référence d'un modèle non mature (critères de maturité non atteints, 7 itérations). Un score ordonne; il n'affirme jamais une catégorie.
score_only:v0-immature-baseline · tel quel depuis la passe de notation : score_only signifie que le nombre peut ordonner les travaux, et qu'aucune étiquette de catégorie n'en découleClassification
machine, non validéePrédiction automatique; un appel candidat d’une seule source (Gemma direct ou Codex distillé), pas un consensus.
Le détail, modèle par modèle et score par score, se trouve en fin de page sous « Comment cette classification a été obtenue ».