Bookmark and Share

Defining a pragmatic methodology for software assessment based on a "white-box" approach

Show full item record

Files in this item

PDF lm20_com_6F_1_138_Duboc.pdf 881.5Kb

Pour citer ce document :
URI: http://hdl.handle.net/2042/61831  |   DOI : 10.4267/2042/61831
Title: Defining a pragmatic methodology for software assessment based on a "white-box" approach
Author: Duboc, Lucas; Sadmi, Franck; Kirchner, Florent
Abstract: Cet article récapitule le travail et les résultats d’un programme de partenariat entre BUREAU VERITAS & le CEA LIST, initié en 2015, dont l’objectif principal est la proposition d’une méthodologie générique et pragmatique sous la forme d’une liste de recommandations pour le développement et l’évaluation de logiciels. Ces recommandations se concentrent sur les processus de développement et l’utilisation d’outils efficaces pour vérifier le logiciel par une approche « boîte-blanche ».The present paper sums up the work and results of an on-going partnership program between BUREAU VERITAS & the CEA LIST, started in 2015, whose main objective is to propose a generic and pragmatic methodology in the form of a set of guidelines for software development and assessment. These guidelines are focusing on development processes and the use of efficient tools to verify software through a white-box approach.
Publisher: IMdR, Institut pour la Maîtrise des risques
Date: 2016

This item appears in the following Collection(s)

Show full item record