Faire avancer la sûreté nucléaire

La Recherchev2


Criteria and associated tool for functional test coverage of safety critical software



Email :

Mot de passe :

J. Gassino, P. Régnier, B. Marre, B. Blanc,

4th ANS International Topical Meeting on Nuclear Plant Instrumentation, Controls and Human-Machine Interface Technologies (NPIC HMIT 2004), Columbus, USA, September 2004,

Rapport DSR 41

Type de document > *Rapport/contribution à GT (papier ou CD-Rom), *Congrès/colloque

Mots clés > contrôle-commande, installation nucléaire

Unité de recherche > IRSN/DSR/SAMS

Auteurs > GASSINO Jean, REGNIER Pascal

Date de publication > 15/11/2004


We propose two specific functional test coverage criteria for safety critical software and describe the corresponding measurement tool named GATeL. The two criteria which are proposed illustrate different ways of formally expressing the idea of “graphically covering” the functional requirement diagrams of a software under test.

From a synthetic formal functional description (in Lustre) of those functional requirement diagrams, and additional user interactions to describe the selected test criterion, GATeL uses a constraint solver to define each of the test categories. The tool may then either automatically scan a set of tests and fill the corresponding coverage matrix or generate a test sequence (inputs and expected outputs) for each of the non-empty categories.

Based on our recent experience, this approach has proved to scale up to real size problems producing test scenarios and relevant coverage measurement.