Projet

Général

Profil

Anomalie #4762

Outil de Model Checking (spécifique à des situations particulières)

Ajouté par Gwenael Remond il y a plus de 11 ans. Mis à jour il y a presque 9 ans.

Statut:
Classée sans suite
Priorité:
Normal
Assigné à:
Gwenael Remond
Catégorie:
-
Version cible:
-
Début:
28/01/2013
Echéance:
% réalisé:

10%

Temps estimé:
10.00 h
Distribution:
EOLE 2.4

Description

Description des situations particulières : RequiredEtDisabled

exemples :

un requires de type "disable" sur une "disable" => "disable"

b,requires = ('a', 'disable', 2)

c, requires = ('b', 'disable', 4)

si a <- 2 alors:
disabled in prop(b)

le cas d'utilisation, c'est que si c a des requires qui portent sur une variable
qui a été disabled, alors il faut désactiver c.

- il y a le cas des références circulaires

- il y a le cas des actions de type "disable" sur une option qui en fait est disabled

- si l'option considérée a un callback, et que ce callback renvoie une valeur
donnée et que cette valeur hide un truc, il faut pouvoir le voir.

au final, ce qu'il faut regarder sur les option du template
(l'ensemble des options de départ),
c'est que aucune ne finit disabled, dans toutes les configurations.

c'est-à-dire que toutes les options sont accessibles.

Demandes liées

Lié à eole-ltsp-server - Bac à idée #3876: Le dictionnaire ltsp_server à une boucle de validation Classée sans suite 26/07/2012

Historique

#1 Mis à jour par Gwenael Remond il y a plus de 11 ans

soir un ensemble d'options de config (typiquement, localisées dans un templates)

accessoirement :

- vérifier l'existence de toutes ces options dans la configuration
- vérifier qu'il n'y a pas de cycles dans la config

obligatoirement :

- collecter tous les prérequis de la config
- voir si des prérequis pointents sur des variables de l'ensemble de base.

- tester (model checking le comportement de la chain des préequis concernés (et du complémentaire
des prérequis)

conséquence sur la config :

- s'il y a une variable de l'ensemble de base qui est disabled, disabler
automatiquement cette variable.

#2 Mis à jour par Gwenael Remond il y a plus de 11 ans

  • parsing de tous les requires
  • une combinaison de toutes les valeurs présentes dans les requires (et du contraire des valeurs (tout sauf))

#3 Mis à jour par Gwenael Remond il y a plus de 11 ans

  • Echéance mis à 01/02/2013
  • Début mis à 28/01/2013

#4 Mis à jour par Joël Cuissinat il y a plus de 11 ans

  • Echéance 01/02/2013 supprimé

#5 Mis à jour par Joël Cuissinat il y a environ 11 ans

  • Version cible changé de Eole 2.4-dev-2 à Eole 2.4-dev-3

#6 Mis à jour par Joël Cuissinat il y a presque 11 ans

  • Version cible Eole 2.4-dev-3 supprimé

#7 Mis à jour par Daniel Dehennin il y a presque 9 ans

  • Statut changé de Nouveau à Classée sans suite

Problème upstream, si besoin, reporter la demande sur la forge upstream.

Formats disponibles : Atom PDF