Génération automatique de tests logiciels dans le contexte de la certification aéronautique

Autor: Jeangoudoux, Clothilde

Publikováno v: Arithmétique des ordinateurs. Sorbonne Université, 2019. Français. ⟨NNT : 2019SORUS148⟩
Arithmétique des ordinateurs. Sorbonne Universites, UPMC University of Paris 6, 2019. Français

This work has been done in the context of the validation and verification of numerical softwarefor aircraft certification. In this thesis we develop an automatic generator of reliable numerical test, ac-cording to the development rules mandated by th

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b728a883f604c793e6a9f23c79531508
https://tel.archives-ouvertes.fr/tel-02947212/file/JEANGOUDOUX_Clothilde_2019.pdf