TH ESE Mohamed H edi TOUATI TEST ET ... - Laboratoire TIMA

Chapitre 5. | Recherche du meilleur nud a tester |
5.3.1 L'entropie oue
Dans [NeR75], les auteurs declarent que \Un evenement est considere aleatoire
quand son occurrence n'est pas exactement determinee. Un evenement peut ^etre
considere comme ou quand il est intrinsequement imprecis. Neanmoins, le ou et
l'aleatoire ne sont pas incompatibles, et dans plusieurs cas, ils peuvent ^etre presents
simultanement. Pour cette raison, la notion de probabilite oue est loin d'^etre vide de
sens, et on peut alors denir une entropie relative a un ensemble ou".
Dans [Kos91], l'auteur evoque ce probleme sous un angle \geometrique". Il donne
par la suite des explications tres detaillees sur l'entropie oue.
Pour notre application, le module sous test est considere comme un ensemble de
composants dont chacun est muni d'une estimation de son etat en terme de probabilite
oue. Pour calculer cette entropie, nous avons adopte ladenition intrinseque de
Shannon qu'on a adaptee au calcul ou.
Soit S un ensemble de n composants caracterises par leurs estimations oues. L'entropie
oue de cet ensemble se calcule de la maniere suivante :
Ent(S)= L n
i=1 F i Log 2 (1 F i )
Avec F i l'estimation de defectuosite du composant i, et, et representent respectivement
l'addition, la multiplication et la division oues (paragraphe 5.2.5). Les
fonctions Logarithme et calcul de l'inverse sont les suivantes [BoD86] :
Pour m =[m1;m2;;]
* log 2 m =[log 2 (m1);log 2 (m2);log 2 (m1=(m1 , ));log 2 (m2+)=m2] avec >0
*1=m =[1=m2; 1=m1;=(m2 (m2 +));=(m1 (m1 , ))] avec m1 > 0ou
m2 < 0
{90 {