| Titre | Identification des contraintes DO-178C pour l'outil MaTeLo |
| Type de publication | Rapport |
| Type | Rapport de projet |
| Auteurs | Dougal Mélanie, El Mzraa Anas, Tahiri Mohammed, Essabri Rafik |
| Année | 2013 |
| URL | http://dune.univ-angers.fr/fichiers/20103690/20135EI531/fichier/531F.pdf |
| Mots-clés | aéronautique, DO-178C, MaTeLo, MBT |
| Résumé | Le “Model Based Testing” fut récemment implémenté à l’aide de l’outil MaTeLo de la société ALL4TEC, ce qui permet de modéliser des tests basés sur les exigences. Ceux-ci sont effectués à partir de modèles d’usage et génèrent automatiquement les cas de tests nécessaires à la validation du logiciel développé.
Habituellement utilisé dans le secteur automobile et ferroviaire, cette approche est plus contraignante dans le domaine aéronautique si celle-ci est mise en place pour un logiciel avionique avec des objectifs de DO-178.
C’est dans ce contexte que le projet fut établi afin d’identifier les contraintes d’une utilisation du « Model Based Testing » avec l’outil MaTeLo. L’objectif sera atteint à travers la réalisation d’un tutoriel du logiciel, d’une étude de la norme DO-178 et l’identification du champ d’application de MaTeLo dans cette norme. Afin de résumer nos démarches et nos résultats, un article sera rédigé en anglais.
|
| Résumé en anglais | The « Model Based Testing» recently implemented thanks to the tool MaTeLo of the company ALL4TEC, allows modeling the test of the requirements through usage models and generating automatically the cases of test necessary for the validation of the developed software.
Usually implemented in the automotive and rail industry, this approach has to follow a process with more constraints in the aeronautical sector if it is implemented in avionic software with DO-178 objectives.
In this context, the project identifies the implementation’s constraints for “Model Based Testing” with the tool MaTeLo. The goal will be achieved through the writing of a tutorial for MaTeLo, the study of the standard DO-178 and the identification of the MaTeLo scope (Black-box testing) in the standard. To sum up the work in the project context, an English article will be written, including the approach description and the final results.
|
| Langue de rédaction | Français |
| Nb pages | 36 |
| Diplôme | Diplôme d'ingénieur en génie des systèmes industriels
|
| Date de soutenance | 2013-03-06 |
| Editeur | Université Angers |
| Place Published | Angers |
| Entreprise | ALL4TEC
|
| Tuteur | Mihaela BARREAU
|
| Libellé UFR | ISTIA
|
| nidaleph | 000000531
|
