Browsing by Author "BRAHIMI ,Hadjer"

Now showing 1 - 2 of 2
  • Thumbnail Image
    Item
    Une approche de test basée sur les diagrammes d’états finis
    (Faculté des Sciences, 2023) BRAHIMI ,Hadjer; KENEF, Ikram; KISSOUM ,Y
    La stratégie Round-Trip Path (RTP) est connue pour générer la suite de tests basée sur l'état la plus rentable. Cependant, certaines études ont insisté sur le fait que les suites ne suffisent pas. Ils ont souligné que les suites RTP ne testent pas certains éléments réalistes scénarios, ce qui pourrait entraîner une mauvaise détection des défauts. Un algorithme de parcours empêche inévitablement les suites de couvrant certaines paires d'événements, ce qui pourrait être un facteur qui provoque des omissions de test. Par conséquent, nous étudions comment beaucoup et quelles paires d'événements la suite ne couvre pas. Ensuite, nous déterminons si l'augmentation de la suite pour couvrir toutes les paires d'événements peuvent améliorer l'efficacité de manière rentable. À cette fin, des paires d'événements sont identifiées. Ensuite, les paires d'événements couvertes sont dérivées d'un arbre RTP. Ensuite, les paires d'événements à couvrir sont calculées. Enfin, l'arbre est augmenté pour couvrir les paires de transitions que les paires d'événements à couvrir peuvent déclencher
  • Thumbnail Image
    Item
    Une approche de test basée sur les diagrammes d’états finis
    (Faculté des science, 2023) BRAHIMI ,Hadjer; KENEF ,Ikram; KISSOUM Y
    La stratégie Round-Trip Path (RTP) est connue pour générer la suite de tests basée sur l'état la plus rentable. Cependant, certaines études ont insisté sur le fait que les suites ne suffisent pas. Ils ont souligné que les suites RTP ne testent pas certains éléments réalistes scénarios, ce qui pourrait entraîner une mauvaise détection des défauts. Un algorithme de parcours empêche inévitablement les suites de couvrant certaines paires d'événements, ce qui pourrait être un facteur qui provoque des omissions de test. Par conséquent, nous étudions comment beaucoup et quelles paires d'événements la suite ne couvre pas. Ensuite, nous déterminons si l'augmentation de la suite pour couvrir toutes les paires d'événements peuvent améliorer l'efficacité de manière rentable. À cette fin, des paires d'événements sont identifiées. Ensuite, les paires d'événements couvertes sont dérivées d'un arbre RTP. Ensuite, les paires d'événements à couvrir sont calculées. Enfin, l'arbre est augmenté pour couvrir les paires de transitions que les paires d'événements à couvrir peuvent déclencher.