This HTML5 document contains 25 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Subject Item

n2:id

rdf:type

rdac:C10001 frbr:Work

marcrel:ths

n4:id

marcrel:aut

n16:id

skos:altLabel

Statistical testing as a verification technique for safety-critical software

dc:subject

Codes correcteurs d'erreurs (théorie de l'information) Fiabilité Logiciels -- Évaluation Statistique -- Méthode Thèses et écrits académiques

skos:prefLabel

Vérification de logiciels critiques par le test statistique

dcterms:language

n18:fra

dcterms:subject

n10:id n14:id n15:id n21:id n22:id n23:id

dc:title

Vérification de logiciels critiques par le test statistique

marcrel:dgg

n17:id

skos:note

Les travaux presentes dans ce memoire concernent l'utilisation du test statistique en tant que technique de verification pour les logiciels critiques, c'est-a-dire presentant des contraintes de surete elevee. Le test statistique consiste a executer un programme avec des entrees aleatoires, le profil de test et le nombre d'entrees a generer etant determines a partir de criteres bases sur l'analyse structurelle ou fonctionnelle de ce programme: ce mode de generation probabiliste permet de compenser l'imperfection des criteres actuels vis-a-vis des fautes recherchees, imperfection qui les rend d'autant plus insuffisants dans le cas de logiciels critiques. Le potentiel de l'approche proposee est justifie par une etude theorique sur les causes d'echec d'un test; sa faisabilite et son efficacite sont illustrees experimentalement sur un programme issu du domaine nucleaire. Pour le test unitaire, on montre l'efficacite d'une approche combinant le test statistique structurel avec un test deterministe des valeurs aux limites. Pour le test de composants logiciels complexes, la conception du test statistique s'effectue a partir d'une specification modulaire comprenant des modeles comportementaux. Des modeles classiques sont d'abord envisages (machines a etats finis et tables de decision); puis l'approche est affinee en considerant une specification basee sur des modeles plus sophistiques: les statecharts

dc:type

Text

n19:P1001

n20:T1009

rdaw:P10219

1993

rdau:P60049

n13:1020