Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Jean-Francois Capuron"'
Autor:
Bruno Legeard, Florence Schadle, Frédéric Dadeau, Elizabeta Fourneret, Julien Botella, Jean-Francois Capuron
Publikováno v:
International Journal on Software Tools for Technology Transfer
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2019, 21 (4), pp.425-448. ⟨10.1007/s10009-018-0489-2⟩
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2019, 21 (4), pp.425-448. ⟨10.1007/s10009-018-0489-2⟩
International audience; This article presents a successful industrial application of a model-based testing approach to the validation of security components. We present a smart combination of three test selection criteria applied to testing security
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6a039535ee3282738df5ff2eb00ab02e
https://hal.archives-ouvertes.fr/hal-02472576/document
https://hal.archives-ouvertes.fr/hal-02472576/document
Autor:
Jean-Francois Capuron, Bruno Legeard, Franck Lebeau, Florence Schadle, Fabrice Bouquet, Julien Botella
Publikováno v:
ICST
We present an approach to use techniques of model-based testing (MBT) applied on security cryptographic components. This application of MBT is done in the context of a qualification testing phase made by an entity independent from designers, develope