About: Vérification de logiciels critiques par le test statistique

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Vérification de logiciels critiques par le test statistique Goto Sponge NotDistinct Permalink

An Entity of Type : rdac:C10001, within Data Space : data.idref.fr associated with source document(s)

Attributes	Values
type	frbr:Work rdac:C10001
Thesis advisor	Thévenod-Fosse, Pascale (19..-.... ; auteure en automatique)
Author	Waeselynck, Hélène (19..-....)
alternative label	Statistical testing as a verification technique for safety-critical software
dc:subject	Thèses et écrits académiques Fiabilité Logiciels -- Évaluation Codes correcteurs d'erreurs (théorie de l'information) Statistique -- Méthode
preferred label	Vérification de logiciels critiques par le test statistique
Language	http://lexvo.org/id/iso639-3/fra
Subject	http://www.idref.fr/027315800/id http://www.idref.fr/027330362/id http://www.idref.fr/027719766/id http://www.idref.fr/027253139/id http://www.idref.fr/027819183/id http://www.idref.fr/027797554/id
dc:title	Vérification de logiciels critiques par le test statistique
Degree granting institution	Institut national polytechnique (Toulouse ; 1969-....)
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
http://iflastandar...bd/elements/P1001	http://iflastandards.info/ns/isbd/terms/contentform/T1009
rdaw:P10219	1993
has content type	http://rdaregistry.info/termList/RDAContentType/1020
is primary topic of	http://www.idref.fr/208246614
is rdam:P30135 of	http://www.sudoc.fr/126437017/id http://www.sudoc.fr/012875279/id

Faceted Search & Find service v1.13.91 as of Aug 16 2018

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of May 14 2019, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (70 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software