Résumé de rapport du LIF

Téléchargement / Download : pdf 232k , ps.gz 104k , bibtex

Abstract

In this note, we propose a description of a framework dedicated to the validation of programs. This framework is inspired of the Common Criteria security certification model. We focus on the methods for testing programs which rely on that used for the natural language processing as for example, syntactic analysis, construction of BNF grammars, visualisation and covering of trees or graphs.

Keywords

Common Criteria security certification, methods for testing programs, syntactic analysis, BNF grammars.

Résumé

Dans cette note, nous proposons une description d'un outil de validation de programmes inspiré du modèle des Critères Communs de Sécurité. Nous développons plus particulièrement les méthodes de test de programmes ayant un lien avec celles utilisées pour le traitement des langues naturelles, comme par exemple, l'analyse syntaxique, la construction de grammaires, la visualisation et le parcours d'arbres ou de graphes.

Mots clés

Critères Communs de Sécurité, méthodes de test de programmes, analyse syntaxique, grammaires BNF.

Bibtex

@TECHREPORT{30-2006,
    AUTHOR	= {Line Jakubiec-Jamet},
    TITLE	= {{Notes sur la conception d'une interface pour les Critères Communs de Sécurité}},
    INSTITUTION	= {{LIF}},
    ADDRESS	= {Marseille, France},
    TYPE	= {Research report},
    NUMBER	= {30-2006},
    MONTH	= {Mars},
    YEAR	= {2006},
    NOTE	= {http://pageperso.lif.univ-mrs.fr/~edouard.thiel/RESP/Rapports/30-2006.html},
}